Don't Sit on the Fence − A Static Analysis Approach to Automatic Fence Insertion - Alglave, J; Kroening, D; Nimal, V; Poetzl, D (2014)