Luís Pina
Title
Cited by
Cited by
Year
Rubah: DSU for Java on a Stock JVM
L Pina, L Veiga, M Hicks
OOPSLA, 2014
502014
Rubah: Efficient, General-purpose Dynamic Software Updating for Java
L Pina, M Hicks
Presented as part of the 5th Workshop on Hot Topics in Software Upgrades, 2013
232013
Tedsuto: A general framework for testing dynamic software updates
L Pina, M Hicks
2016 IEEE International Conference on Software Testing, Verification and …, 2016
202016
Practical Dynamic Software Updating
L Pina
INSTITUTO SUPERIOR TECNICO, 2016
112016
FreeDA: Deploying Incompatible Stock Dynamic Analyses in Production via Multi-Version Execution
L Pina, A Andronidis, C Cadar
Computing Frontiers, 2018
62018
Atomic dynamic upgrades using software transactional memory
L Pina, J Cachopo
Proceedings of the 4th International Workshop on Hot Topics in Software …, 2012
62012
DuSTM-dynamic software upgrades using software transactional memory
L Pina, J Cachopo
Technical Report 32/2011, INESC-ID Lisboa, 2011
62011
A DSL Approach to Reconcile Equivalent Divergent Program Executions
L Pina, D Grumberg, A Andronidis, C Cadar
USENIX Annual Technical Conference, 2017
52017
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
J Bell, L Pina
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
42018
Mvedsua: Higher availability dynamic software updates via multi-version execution
L Pina, A Andronidis, M Hicks, C Cadar
Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019
32019
Towards deployment-time dynamic analysis of server applications
L Pina, C Cadar
Proceedings of the 13th International Workshop on Dynamic Analysis, 35-36, 2015
32015
Profiling and tuning the performance of an STM-based concurrent program
L Pina, J Cachopo
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11 …, 2011
32011
Reducing conflicts on jvstm transactions-stmbench7: A case study
L Pina, J Cachopo
Technical Report 39, INESCID, 2011
32011
Towards a Pragmatic Atomic Dynamic Software Upgrade System
L Pina
International Conference on Dependable Systems and Networks (DSN 2010 …, 2010
12010
Atomic Dynamic Software Upgrades Using Software Transactional Memories
LGG de Pina
2009
Atomic Dynamic Software Upgrades
L Pina, J Cachopo
2009
The system can't perform the operation now. Try again later.
Articles 1–16