Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion.

Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl

Browse the full CAV paper archive.