DRFX: a simple and efficient memory model for concurrent programming languages.

Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy

Browse the full PLDI paper archive.