Plan B: a buffered memory model for Java.

Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek

Browse the full POPL paper archive.