Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell. Clarifying and compiling C/C++ concurrency: from C++11 to POWER. In John Field, Michael Hicks, editors, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. pages 509-520, ACM, 2012. [doi]
Abstract is missing.