Partialcoherence abstractions for relaxed memory models (2011)

by Michael Kuperstein, Martin T Vechev, Eran Yahav
Venue:In PLDI