Luís Pina

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 11

Top Topics

Presburger Arithmetic

Top Venues

Publications

Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution. ECOOP (2023)
Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell
CONFETTI: Amplifying Concolic Guidance for Fuzzers. ICSE (2022)
Mohammad Arvan, Luís Pina, Natalie Parde
Reproducibility in Computational Linguistics: Is Source Code Enough? EMNLP (2022)
Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar
SaBRe: load-time selective binary rewriting. Int. J. Softw. Tools Technol. Transf. 24 (2) (2022)
Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina
Dynamic Software Updates for Unmodified Browsers through Multi-Version Execution. CoRR (2021)
Luís Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar
MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. ASPLOS (2019)
Luís Pina, Anastasios Andronidis, Cristian Cadar
: deploying incompatible stock dynamic analyses in production via multi-version execution. CF (2018)
Jonathan Bell, Luís Pina
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs. ECOOP (2018)
Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar
A DSL Approach to Reconcile Equivalent Divergent Program Executions. USENIX Annual Technical Conference (2017)
Luís Pina, Michael Hicks
Tedsuto: A General Framework for Testing Dynamic Software Updates. ICST (2016)
Luís Pina, Cristian Cadar
Towards deployment-time dynamic analysis of server applications. WODA@SPLASH (2015)
Luís Pina, Luís Veiga, Michael W. Hicks
Rubah: DSU for Java on a stock JVM. OOPSLA (2014)
Luís Pina, Michael Hicks
Rubah: Efficient, General-purpose Dynamic Software Updating for Java. HotSWUp (2013)
Luís Pina, João P. Cachopo
Atomic Dynamic Upgrades using software transactional memory. HotSWUp (2012)
Luís Pina, João P. Cachopo
Profiling and tuning the performance of an STM-based concurrent program. SPLASH Workshops (2011)
Luís Pina, Miguel Ayala Botto
Dealing with Uncertainty in the Hybrid World. ICINCO-ICSO (2008)
Luís Pina, Miguel Ayala Botto
Simultaneous state and input estimation of hybrid systems with unknown inputs. Autom. 42 (5) (2006)