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

Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy. DRFX: a simple and efficient memory model for concurrent programming languages. In Benjamin G. Zorn, Alexander Aiken, editors, Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. pages 351-362, ACM, 2010. [doi]

Abstract

Abstract is missing.