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

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)