Vijay Menon Steven Balensiefer Tatiana Shpeisman Ali-Reza Adl-Tabatabai Richard L. Hudson Bratin Saha Adam Welc Practical weak-atomicity semantics for java stm. 314-325 2008 SPAA http://doi.acm.org/10.1145/1378533.1378588 conf/spaa/2008 db/conf/spaa/spaa2008.html#MenonBSAHSW08