Atomicity refinement for verified compilation.

Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte

Browse the full PLDI paper archive.