@inproceedings{sarkar+:synchronising,
title = {Synchronising {C/C++} and {POWER}},
author = {Susmit Sarkar and
          Mark Batty and
          Scott Owens and 
          Kayvan Memarian and
          Luc Maranget and
          Jade Alglave and
          Peter Sewell and
          Derek Williams},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN} Programming Language Design and Implementation (PLDI)},
year = {2012},
note = {Forthcoming},
}