Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it

Vafeiadis, Viktor and Balabonski, Thibaut and Chakraborty, Soham and Morisset, Robin and Nardelli, Francesco Zappa
(2015) Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it.
In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015.
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Full text not available from this repository.
Official URL: http://doi.acm.org/10.1145/2676726.2676995
Item Type: Conference or Workshop Item (A Paper) (Paper)
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages
Depositing User: Sebastian Weisgerber
Date Deposited: 22 Feb 2018 11:11
Last Modified: 22 Feb 2018 16:27
URI: https://publications.cispa.saarland/id/eprint/1716

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.