Luís Pina

Publications (sorted by year)

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.