Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. - ALGLAVE, JADE; KROENING, DANIEL; POETZL, DANIEL; NIMAL, VINCENT (ACM Transactions on Programming Languages & Systems, 2017)