Luís Pina

Publications (sorted by year)

[ECOOP_23] Sinatra: Stateful Instantaneous Updates for Commercial Browsers through Multi-Version eXecution. Ugnius Rumsevicius and Siddhanth Venkateshwaran and Ellen Kidane and Luís Pina. In Proceedings of the Schloss Dagstuhl – Leibniz-Zentrum für Informatik 37th European Conference on Object-Oriented Programming (ECOOP), July, 2023.

[EMNLP_22] Reproducibility in Computational Linguistics: Is Source Code Enough?. Mohammad Arvan and Luís Pina and Natalie Parde. In Proceedings of the Association for Computational Linguistics 2022 Empirical Methods in Natural Language Processing (EMNLP), December, 2022.

[ICSE_22] CONFETTI: Amplifying Concolic Guidance for Fuzzers. James Kukucka and Luís Pina and Paul Ammann and Jonathan Bell. In Proceedings of the IEEE 44th International Conference on Software Engineering (ICSE), May, 2022.

[IJSTTT_22] SaBRe: load-time selective binary rewriting. Paul-Antoine Arras and Anastasios Andronidis and Luís Pina and Karolis Mituzas and Qianyi Shu and Daniel Grumberg and Cristian Cadar. In International Journal on Software Tools for Technology Transfer (IJSTTT), April, 2022.

[ASPLOS_19] MVEDSUa: Higher Availability Dynamic Software Updates via Multi-Version Execution. Luís Pina and Anastasios Andronidis and Michael Hicks and Cristian Cadar. In Proceedings of the ACM 24th Architectural Support for Programming Languages and Operating Systems (ASPLOS), April, 2019.

[ECOOP_18] 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.

[CF_18] 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.

[USENIX ATC_17] 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.

[ICST_16] 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.

[_16] Practical Dynamic Software Updating. Luís Pina. PhD dissertation, Instituto Superior Técnico, University of Lisbon, February, 2016.

[WODA_15] 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.

[OOPSLA_14] 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.

[HotSWUp_13] 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.

[HotSWUp_12] Atomic Dynamic Upgrades Using Software Transactional Memory. Luís Pina and João Cachopo. In Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp), June, 2012.

[TMC_11] Profiling and tuning the performance of an STM-based concurrent program. Luís Pina and João Cachopo. In Proceedings of the Workshop on Transitioning to Multicore (TMC), October, 2011.

[_09] Atomic Dynamic Software Upgrades Using Software Transactional Memories. Luís Pina. MSc dissertation, Instituto Superior Técnico, University of Lisbon, November, 2009.

[DSN_09] 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.