Semantics of transactional memory and automatic mutual exclusion (2008)

by Martín Abadi , Andrew Birrell , Tim Harris , Michael Isard
Venue:In Proceedings of the 35th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL
Citations:68 - 8 self

Active Bibliography

Curriculum Vitae – Virendra Jayant Marathe, Michael L. Scott
53 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
55 High-level small-step operational semantics for transactions (technical companion – Katherine F. Moore, Dan Grossman - 2007
8 A Model of Dynamic Separation for Transactional Memory – Martín Abadi, Tim Harris, Katherine F. Moore
The Transactional Memory/Garbage . . . – Dan Grossman - 2007
techniques]: Concurrent Programming—Parallel programming; – Dan Grossman
41 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
16 Single global lock semantics in a weakly atomic STM – Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-reza Adl-tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc - 2008
24 Transactional Memory with Strong Atomicity Using Off-the-Shelf Memory Protection Hardware – Martín Abadi, Tim Harris, Mojtaba Mehrara
19 Ordering-Based Semantics for Software Transactional Memory – Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott - 2008
7 Implementation and Use of Transactional Memory with Dynamic Separation – Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh
9 A uniform transactional execution environment for Java – Lukasz Ziarek, Adam Welc, Ali-reza Adl-tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan - 2008
37 Design and implementation of transactional constructs for C/C – Yang Ni, Adam Welc, Ali-reza Adl-tabatabai, Moshe Bach, Sion Berkowits, James Cownie, Robert Geva, Sergey Kozhukow, Ravi Narayanaswamy, Jeffrey Olivier, Serguei Preis, Bratin Saha, Ady Tal, Xinmin Tian
207 Logtm: Log-based transactional memory – Kevin E. Moore, Jayaram Bobba, Michelle J. Moravan, Mark D. Hill, David A. Wood - 2006
2 ABSTRACT Implications of False Conflict Rate Trends for Robust Software Transactional Memory – Craig Zilles
6 Compiler and runtime techniques for software transactional memory optimization – Peng Wu, Maged M. Michael, Christoph Von, Takuya Nakaike, Rajesh Bordawekar, W. Cain, Calin Cascaval, Siddhartha Chatterjee, Stefanie Chiras, Rui Hou, Mark Mergen, Michael F. Spear, Hua Yong Wang - 2009
19 Why STM can be more than a Research Toy – Aleksandar Dragojević, Pascal Felber, Vincent Gramoli, Rachid Guerraoui
10 Perspectives on Transactional Memory – Martín Abadi, Tim Harris
16 Strong Isolation is a Weak Idea – Luke Dalessandro, Michael L. Scott - 2009