Plan B: A buffered memory model for Java (2013)

by D Demange, V Laporte, L Zhao, S Jagannathan, D Pichardie, J Vitek
Venue:In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’13