Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli. Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. In Sriram K. Rajamani, David Walker, editors, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015. pages 209-220, ACM, 2015. [doi]
@inproceedings{VafeiadisBCMN15,
title = {Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it},
author = {Viktor Vafeiadis and Thibaut Balabonski and Soham Chakraborty and Robin Morisset and Francesco Zappa Nardelli},
year = {2015},
doi = {10.1145/2676726.2676995},
url = {http://doi.acm.org/10.1145/2676726.2676995},
researchr = {https://researchr.org/publication/VafeiadisBCMN15},
cites = {0},
citedby = {0},
pages = {209-220},
booktitle = {Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015},
editor = {Sriram K. Rajamani and David Walker},
publisher = {ACM},
isbn = {978-1-4503-3300-9},
}