Follow
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
622014
Rubah: Efficient, General-purpose Dynamic Software Updating for Java
L Pina, M Hicks
5th Workshop on Hot Topics in Software Upgrades (HotSWUp 13), 2013
292013
Tedsuto: A general framework for testing dynamic software updates
L Pina, M Hicks
2016 IEEE International Conference on Software Testing, Verification and …, 2016
242016
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
232019
Practical Dynamic Software Updating
L Pina
INSTITUTO SUPERIOR TECNICO, 2016
142016
A DSL Approach to Reconcile Equivalent Divergent Program Executions
L Pina, D Grumberg, A Andronidis, C Cadar
USENIX Annual Technical Conference, 2017
122017
Atomic dynamic upgrades using software transactional memory
L Pina, J Cachopo
Proceedings of the 4th International Workshop on Hot Topics in Software …, 2012
112012
FreeDA: Deploying Incompatible Stock Dynamic Analyses in Production via Multi-Version Execution
L Pina, A Andronidis, C Cadar
Computing Frontiers, 2018
102018
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
62018
DuSTM-dynamic software upgrades using software transactional memory
L Pina, J Cachopo
Technical Report 32/2011, INESC-ID Lisboa, 2011
62011
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
SaBRe: load-time selective binary rewriting
PA Arras, A Andronidis, L Pina, K Mituzas, Q Shu, D Grumberg, C Cadar
International Journal on Software Tools for Technology Transfer, 1-19, 2022
12022
CONFETTI: Amplifying Concolic Guidance for Fuzzers
J Kukucka, L Pina, P Ammann, J Bell
44th IEEE/ACM International Conference on Software Engineering, ser. ICSE 22, 2022
12022
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–18