A DSL Approach to Reconcile Equivalent Divergent Program Executions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Luís Pina' in GoogleThis author has not been identified. Look up 'Daniel Grumberg' in GoogleThis author has not been identified. Look up 'Anastasios Andronidis' in GoogleThis author has not been identified. Look up 'Cristian Cadar' in Google

runs on WebDSL