"Automatic inference of memory fences."

Michael Kuperstein, Martin T. Vechev, Eran Yahav (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics