Active Bibliography

Curriculum Vitae – Michael F. Spear, L. Scott
61 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
60 High-level small-step operational semantics for transactions (technical companion – Katherine F. Moore, Dan Grossman - 2007
228 Logtm: Log-based transactional memory – Kevin E. Moore, Jayaram Bobba, Michelle J. Moravan, Mark D. Hill, David A. Wood - 2006
562 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