Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte. Atomicity refinement for verified compilation. In Michael F. P. O'Boyle, Keshav Pingali, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014. pages 5, ACM, 2014. [doi]
@inproceedings{JagannathanPVPL14,
title = {Atomicity refinement for verified compilation},
author = {Suresh Jagannathan and Gustavo Petri and Jan Vitek and David Pichardie and Vincent Laporte},
year = {2014},
doi = {10.1145/2594291.2594346},
url = {http://doi.acm.org/10.1145/2594291.2594346},
researchr = {https://researchr.org/publication/JagannathanPVPL14},
cites = {0},
citedby = {0},
pages = {5},
booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
editor = {Michael F. P. O'Boyle and Keshav Pingali},
publisher = {ACM},
isbn = {978-1-4503-2784-8},
}