A DSL Approach to Reconcile Equivalent Divergent Program Executions. - Luís Pina; Daniel Grumberg; Anastasios Andronidis; Cristian Cadar (USENIX ATC, 2017)

FreeDA: deploying incompatible stock dynamic analyses in production via multi-version execution. - Luís Pina; Anastasios Andronidis; Cristian Cadar (CF, 2018)

MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. - Luís Pina; Anastasios Andronidis; Michael Hicks 001; Cristian Cadar (ASPLOS, 2019)

SnapFuzz: high-throughput fuzzing of network applications. - Anastasios Andronidis; Cristian Cadar (ISSTA, 2022)

SnapFuzz: An Efficient Fuzzing Framework for Network Applications. - Anastasios Andronidis; Cristian Cadar (CoRR, 2022)

SaBRe: load-time selective binary rewriting. - Paul-Antoine Arras; Anastasios Andronidis; Luís Pina; Karolis Mituzas; Qianyi Shu; Daniel Grumberg; Cristian Cadar (Int. J. Softw. Tools Technol. Transf., 2022)