Reasoning about Fences and Relaxed Atomics.

Mengda He, Viktor Vafeiadis, Shengchao Qin, Joo F. Ferreira

Browse the full PDP paper archive.