He M, Vafeiadis V, Qin S, Ferreira JF.? 2016.??Reasoning about Fences and Relaxed Atomics. Search Results 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.