| Rubah: DSU for Java on a Stock JVM L Pina, L Veiga, M Hicks OOPSLA, 2014 | 70 | 2014 |
| 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 | 47 | 2019 |
| Rubah:{Efficient}, General-purpose Dynamic Software Updating for Java L Pina, M Hicks 5th Workshop on Hot Topics in Software Upgrades (HotSWUp 13), 2013 | 30 | 2013 |
| Confetti: Amplifying concolic guidance for fuzzers J Kukucka, L Pina, P Ammann, J Bell Proceedings of the 44th International Conference on Software Engineering …, 2022 | 27 | 2022 |
| Tedsuto: A general framework for testing dynamic software updates L Pina, M Hicks 2016 IEEE International Conference on Software Testing, Verification and …, 2016 | 25 | 2016 |
| Reproducibility in Computational Linguistics: Is Source Code Enough? M Arvan, L Pina, N Parde Proceedings of the 2022 Conference on Empirical Methods in Natural Language …, 2022 | 19 | 2022 |
| A DSL Approach to Reconcile Equivalent Divergent Program Executions L Pina, D Grumberg, A Andronidis, C Cadar USENIX Annual Technical Conference, 2017 | 19 | 2017 |
| 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 24 (2), 205-223, 2022 | 17 | 2022 |
| FreeDA: Deploying Incompatible Stock Dynamic Analyses in Production via Multi-Version Execution L Pina, A Andronidis, C Cadar Computing Frontiers, 2018 | 17 | 2018 |
| Practical Dynamic Software Updating L Pina INSTITUTO SUPERIOR TECNICO, 2016 | 14 | 2016 |
| 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 | 13 | 2018 |
| Atomic dynamic upgrades using software transactional memory L Pina, J Cachopo Proceedings of the 4th International Workshop on Hot Topics in Software …, 2012 | 13 | 2012 |
| DuSTM-dynamic software upgrades using software transactional memory L Pina, J Cachopo Technical Report 32/2011, INESC-ID Lisboa, 2011 | 7 | 2011 |
| Reproducibility of Exploring Neural Text Simplification Models: A Review M Arvan, L Pina, N Parde | 6 | 2022 |
| Multi-Version Execution Defeats a Compiler-Bug-Based Backdoor C Cadar, L Pina, J Regehr | 5 | 2015 |
| Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages D Schwartz, A Kowshik, L Pina Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1641-1669, 2024 | 4 | 2024 |
| 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 | 4 | 2011 |
| Towards deployment-time dynamic analysis of server applications L Pina, C Cadar Proceedings of the 13th International Workshop on Dynamic Analysis, 35-36, 2015 | 3 | 2015 |
| Reducing conflicts on jvstm transactions-stmbench7: A case study L Pina, J Cachopo Technical Report 39, INESCID, 2011 | 3 | 2011 |
| Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution U Rumsevicius, S Venkateshwaran, E Kidane, L Pina 37th European Conference on Object-Oriented Programming (ECOOP 2023), 26: 1 …, 2023 | 1 | 2023 |
Michael W. HicksSenior Principal Scientist, AWS, and Professor Emeritus, UMDVerified email at umd.edu
