A DSL Approach to Reconcile Equivalent Divergent Program Executions

Abstract

Multi-Version Execution (MVE) deploys multiple versions of the same program, typically synchronizing their execution at the level of system calls. By default, MVE requires all deployed versions to issue the same sequence of system calls, which limits the types of versions which can be deployed. In this paper, we propose a Domain-Specific Language (DSL) to… (More)

Topics

5 Figures and Tables

Cite this paper

@inproceedings{Pina2017ADA, title={A DSL Approach to Reconcile Equivalent Divergent Program Executions}, author={Lu{\'i}s Pina and Daniel Grumberg and Anastasios Andronidis and Cristian Cadar}, booktitle={USENIX Annual Technical Conference}, year={2017} }