| 2026 | ECOOP | Optimizing Record/Replay Through Relaxed Total Ordering and Multi-Version eXecution. | David Schwartz, Lus Pina |
| 2024 | ISSTA | An Empirical Examination of Fuzzer Mutator Performance. | James Kukucka, Lus Pina, Paul Ammann, Jonathan Bell |
| 2023 | ECOOP | Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution. | Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Lus Pina |
| 2022 | EMNLP | Reproducibility in Computational Linguistics: Is Source Code Enough? | Mohammad Arvan, Lus Pina, Natalie Parde |
| 2022 | ICSE | CONFETTI: Amplifying Concolic Guidance for Fuzzers. | James Kukucka, Lus Pina, Paul Ammann, Jonathan Bell |
| 2019 | ASPLOS | MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. | Lus Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar |
| 2018 | ECOOP | CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs. | Jonathan Bell, Lus Pina |
| 2017 | USENIX | A DSL Approach to Reconcile Equivalent Divergent Program Executions. | Lus Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar |
| 2016 | ICST | Tedsuto: A General Framework for Testing Dynamic Software Updates. | Lus Pina, Michael Hicks |
| 2015 | OOPSLA | Towards deployment-time dynamic analysis of server applications. | Lus Pina, Cristian Cadar |
| 2014 | OOPSLA | Rubah: DSU for Java on a stock JVM. | Lus Pina, Lus Veiga, Michael W. Hicks |
| 2011 | OOPSLA | Profiling and tuning the performance of an STM-based concurrent program. | Lus Pina, Joo P. Cachopo |
| 2008 | ICINCO | Dealing with Uncertainty in the Hybrid World. | Lus Pina, Miguel Ayala Botto |