Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek. Atomicity Refinement for Verified Compilation. ACM Transactions on Programming Languages and Systems, 36(2):6, 2014. [doi]
@article{JagannathanLPPV14, title = {Atomicity Refinement for Verified Compilation}, author = {Suresh Jagannathan and Vincent Laporte and Gustavo Petri and David Pichardie and Jan Vitek}, year = {2014}, doi = {10.1145/2601339}, url = {http://doi.acm.org/10.1145/2601339}, researchr = {https://researchr.org/publication/JagannathanLPPV14}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {36}, number = {2}, pages = {6}, }