Active Bibliography

54 Enforcing isolation and ordering in STM – Tatiana Shpeisman, Vijay Menon, Ali-reza Adl-tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha - 2007
Enhancing the Performance and Usability . . . – Virendra Jayant Marathe - 2008
General Terms – Marty Moore, Miguel Estrada, Timothy Finley
ACM SIGACT News Distributed Computing Column 29 – Idit Keidar
58 High-level small-step operational semantics for transactions (technical companion – Katherine F. Moore, Dan Grossman - 2007
214 Logtm: Log-based transactional memory – Kevin E. Moore, Jayaram Bobba, Michelle J. Moravan, Mark D. Hill, David A. Wood - 2006
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
19 Ordering-Based Semantics for Software Transactional Memory – Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott - 2008
43 Practical weak-atomicity semantics for Java STM – Vijay Menon, Ali-reza Adl-tabatabai, Steven Balensiefer, Richard L. Hudson, Adam Welc, Tatiana Shpeisman, Bratin Saha - 2008