A DSL Approach to Reconcile Equivalent Divergent Program Executions Luı́s

@inproceedings{Pina2017ADA,
  title={A DSL Approach to Reconcile Equivalent Divergent Program Executions Luı́s},
  author={Pina and Daniel Grumberg and Anastasios Andronidis and Cristian Cadar},
  year={2017}
}
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 reconcile expected divergences between different program versions deployed through MVE. We evaluate the DSL by adding it to an existing MVE… CONTINUE READING