@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,
  pages = {509--520},
  publisher = {ACM Press},
  booktitle = {POPL '12: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  doi = {10.1145/2103656.2103717}}