Tatiana Shpeisman Vijay Menon Ali-Reza Adl-Tabatabai Steven Balensiefer Dan Grossman Richard L. Hudson Katherine F. Moore Bratin Saha Enforcing isolation and ordering in STM. 78-88 2007 conf/pldi/2007 PLDI http://doi.acm.org/10.1145/1250734.1250744 db/conf/pldi/pldi2007.html#ShpeismanMABGHMS07