Enforcing isolation and ordering in STM (2007)

by Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L Hudson, Katherine F Moore, Bratin Saha
Venue:In PLDI ’07: Proc. 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation