Partial-coherence abstractions for relaxed memory modelsMichael KupersteinMartin Vechevet al.2011PLDI 2011