Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar. A DSL Approach to Reconcile Equivalent Divergent Program Executions. In 2017 USENIX Annual Technical Conference, USENIX ATC 2017, Santa Clara, CA, USA, July 12-14, 2017. pages 417-429, USENIX Association, 2017. [doi]
Abstract is missing.