A DSL Approach to Reconcile Equivalent Divergent Program Executions.

Lus Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar

Browse the full USENIX paper archive.