@inproceedings{DBLP:conf/pldi/SarkarMOBSMAW12, 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}, year = {2012}, pages = {311-322}, ee = {http://doi.acm.org/10.1145/2254064.2254102}, crossref = {DBLP:conf/pldi/2012}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/pldi/2012, editor = {Jan Vitek and Haibo Lin and Frank Tip}, title = {ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012}, booktitle = {PLDI}, publisher = {ACM}, year = {2012}, isbn = {978-1-4503-1205-9}, ee = {http://dl.acm.org/citation.cfm?id=2254064}, bibsource = {DBLP, http://dblp.uni-trier.de} }