Synchronising C/C++ and POWER.

Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams

Browse the full PLDI paper archive.