Partial-coherence abstractions for relaxed memory models. - Michael Kuperstein 001; Martin T. Vechev; Eran Yahav (PLDI, 2011)

Automatic inference of memory fences. - Michael Kuperstein 001; Martin T. Vechev; Eran Yahav (SIGACT News, 2012)