Overhauling SC atomics in C11 and OpenCL.

Mark Batty, Alastair F. Donaldson, John Wickerson

Browse the full POPL paper archive.