Luís Pina

Publications (sorted by year)

2017

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

2016

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

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

2015

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

2014

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

2013

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

2012

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

2011

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

2009

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

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