2024
Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages.
Proc. ACM Program. Lang., 2024
Long-Range Bird Species Identification Using Directional Microphones and CNNs.
Mach. Learn. Knowl. Extr., 2024
An Empirical Examination of Fuzzer Mutator Performance.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
2023
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact).
Dagstuhl Artifacts Ser., 2023
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2022
SaBRe: load-time selective binary rewriting.
Int. J. Softw. Tools Technol. Transf., 2022
CONFETTI: Amplifying Concolic Guidance for Fuzzers.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Reproducibility in Computational Linguistics: Is Source Code Enough?
Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022
2021
Dynamic Software Updates for Unmodified Browsers through Multi-Version Execution.
CoRR, 2021
2019
MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019
2018
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
<i>FreeDA</i>: deploying incompatible stock dynamic analyses in production via multi-version execution.
Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018
2017
A DSL Approach to Reconcile Equivalent Divergent Program Executions.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017
2016
Tedsuto: A General Framework for Testing Dynamic Software Updates.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016
2015
Towards deployment-time dynamic analysis of server applications.
Proceedings of the 13th International Workshop on Dynamic Analysis, 2015
2014
Rubah: DSU for Java on a stock JVM.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014
2013
Rubah: Efficient, General-purpose Dynamic Software Updating for Java.
Proceedings of the 5th Workshop on Hot Topics in Software Upgrades, 2013
2012
Atomic Dynamic Upgrades using software transactional memory.
Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012
2011
Profiling and tuning the performance of an STM-based concurrent program.
Proceedings of the SPLASH'11 Workshops, 2011
2008
Dealing with Uncertainty in the Hybrid World.
Proceedings of the ICINCO 2008, 2008
2006
Simultaneous state and input estimation of hybrid systems with unknown inputs.
Autom., 2006