Don't sit on the fence: A static analysis approach to automatic fence insertion (CAV, 2014)