CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs. Jonathan Bell and Luís Pina. In Proceedings of the 32nd European Conference on Object-Oriented Programming (ECOOP), July, 2018.
 FreeDA: Deploying Incompatible Stock Dynamic Analyses in Production via Multi-Version Execution. Luís Pina and Anastasios Andronidis and Cristian Cadar. In Proceedings of the 2018 ACM International Conference on Computing Frontiers (CF), May, 2018.
 A DSL Approach to Reconcile Equivalent Divergent Program Executions. Luís Pina and Daniel Grumberg and Anastasios Andronidis and Cristian Cadar. In Proceedings of the 2017 USENIX Annual Technical Conference (USENIX ATC), July, 2017.
 Tedsuto: A General Framework for Testing Dynamic Software Updates. Luís Pina and Michael Hicks. In Proceedings of the IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), April, 2016.
 Practical Dynamic Software Updating. Luís Pina. PhD dissertation, Instituto Superior Técnico, University of Lisbon, February, 2016.
 Towards Deployment-Time Dynamic Analysis of Server Applications. Luís Pina and Cristian Cadar. In Proceedings of the 13th International Workshop on Dynamic Analysis (WODA), October, 2015. Extended abstract.
 Rubah: DSU for Java on a Stock JVM. Luís Pina and Luís Veiga and Michael Hicks. In Proceedings of the ACM 2014 International Conference on Object-Oriented Programming Languages, Systems, and Applications (OOPSLA), October, 2014.
 Rubah: Efficient, General-purpose Dynamic Software Updating for Java. Luís Pina and Michael Hicks. In Proceedings of the 5th International Workshop on Hot Topics in Software Upgrades (HotSWUp), June, 2013.
 Atomic Dynamic Software Upgrades Using Software Transactional Memories. Luís Pina. MSc dissertation, Instituto Superior Técnico, University of Lisbon, November, 2009.
 Towards a Pragmatic Atomic Dynamic Software Upgrade System. Luís Pina. In Proceedings of the International Conference on Dependable Systems and Networks (DSN), June, 2009. Student Forum.