@inproceedings{PLDI12,
  author = {Susmit Sarkar and Kayvan Memarian and Scott Owens and Mark Batty and Peter Sewell and Luc Maranget and Jade Alglave and Derek Williams},
  title = {Synchronising {C/C++} and {POWER}},
  booktitle = {PLDI '12: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages = {311--322},
  year = 2012,
  month = jun,
  publisher = {ACM Press},
  doi = {10.1145/2254064.2254102}}