@inproceedings{POPL12, author = {Mark Batty and Kayvan Memarian and Scott Owens and Susmit Sarkar and Peter Sewell}, title = {Clarifying and Compiling {C/C++} Concurrency: From {C++11} to {POWER}}, month = jan, year = 2012, publisher = {ACM Press}, booktitle = {POPL '12: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, note = {To appear}}