Luís Pina
TítuloCitado porAno
Rubah: DSU for Java on a Stock JVM
L Pina, L Veiga, M Hicks
OOPSLA, 2014
412014
Rubah: Efficient, General-purpose Dynamic Software Updating for Java.
L Pina, M Hicks
HotSWUp, 2013
192013
Tedsuto: A general framework for testing dynamic software updates
L Pina, M Hicks
2016 IEEE International Conference on Software Testing, Verification and …, 2016
122016
Practical Dynamic Software Updating
L Pina
INSTITUTO SUPERIOR TECNICO, 2016
72016
DuSTM-dynamic software upgrades using software transactional memory
L Pina, J Cachopo
Technical Report 32/2011, INESC-ID Lisboa, 2011
72011
Atomic dynamic upgrades using software transactional memory
L Pina, J Cachopo
Proceedings of the 4th International Workshop on Hot Topics in Software …, 2012
52012
FreeDA: Deploying Incompatible Stock Dynamic Analyses in Production via Multi-Version Execution
L Pina, A Andronidis, C Cadar
Computing Frontiers, 2018
42018
A DSL Approach to Reconcile Equivalent Divergent Program Executions
L Pina, D Grumberg, A Andronidis, C Cadar
USENIX Annual Technical Conference, 2017
42017
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
Mvedsua: Higher availability dynamic software updates via multi-version execution
L Pina, A Andronidis, M Hicks, C Cadar
International Conference on Architectural Support for Programming Languages …, 2019
22019
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
22018
Towards deployment-time dynamic analysis of server applications
L Pina, C Cadar
Proceedings of the 13th International Workshop on Dynamic Analysis, 35-36, 2015
22015
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
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–16