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
POPL, 2015.
@inproceedings{POPL-2015-VafeiadisBCMN,
author = "Viktor Vafeiadis and Thibaut Balabonski and Soham Chakraborty and Robin Morisset and Francesco Zappa Nardelli",
booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}",
doi = "10.1145/2676726.2676995",
isbn = "978-1-4503-3300-9",
pages = "209--220",
publisher = "{ACM}",
title = "{Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it}",
year = 2015,
}