@inproceedings {203233,
	author = {Lu{\'\i}s Pina and Daniel Grumberg and Anastasios Andronidis and Cristian Cadar},
	title = {A {DSL} Approach to Reconcile Equivalent Divergent Program Executions},
	booktitle = {2017 USENIX Annual Technical Conference (USENIX ATC 17)},
	year = {2017},
	isbn = {978-1-931971-38-6},
	address = {Santa Clara, CA},
	pages = {417--429},
	url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/pina},
	publisher = {USENIX Association},
	month = jul
}
