Transactional Memory Bibliography

[Hoare, 1974]

C. A. R. Hoare (Oct 1974).
Monitors: An Operating System Structuring Concept.
In: Communications of the ACM, :549-557.

[Lipton, 1975]

Richard J. Lipton (dec 1975).
Reduction: a method of proving properties of parallel programs.
In: Communications of the ACM, 18(12):717--721.

[Anderson and Kerr, 1976]

T. Anderson and R. Kerr ( 1976).
Recovery Blocks in Action: A System Supporting High Reliability.
In: Proceedings of the 2nd International Conference on Software Engineering. pp. 447--457.

[Lomet, 1977]

David B. Lomet (Mar 1977).
Process Structuring, Synchronization, and Recovery Using Atomic Actions.
In: ACM Conference on Language Design for Reliable Software. pp. 128--137.

[Lamport, 1977]

Leslie Lamport (Nov 1977).
Concurrent Reading and Writing.
In: Communications of the ACM, 20(11):806--811.

[Herlihy and Wing, 1987]

Maurice Herlihy and Jeannette M. Wing (Jan 1987).
Axioms for Concurrent Objects.
In: Proceedings of the 14th Annual Symposium on Principles of Programming Languages. pp. 13--26.

[Herlihy, 1988]

Maurice Herlihy (Aug 1988).
Impossibility and Universality Results for Wait-Free Synchronization.
In: Proceedings of the Seventh ACM Symposium on Principles of Distributed Computing. pp. 276--290.

[Herlihy and Wing, 1990]

Maurice Herlihy and Jeannette M. Wing (Jul 1990).
Linearizability: A Correctness Condition for Concurrent Objects.
In: ACM Transactions on Programming Languages and Systems, 12(3):463--492.

[Herlihy, 1991]

Maurice Herlihy (Jan 1991).
Wait-Free Synchronization.
In: ACM Transactions on Programming Languages and Systems, 13(1):124--149.

[Herlihy, 1993]

Maurice Herlihy (Nov 1993).
A Methodology for Implementing Highly Concurrent Data Objects.
In: ACM Transactions on Programming Languages and Systems, 15(5):745--770.

[Wing and Gong, 1993]

Jeanette M. Wing and Chun Gong (Jan-Feb 1993).
Testing and Verifying Concurrent Objects.
In: Journal of Parallel and Distributed Computing, 17(2):164--182.

[Attiya et al., 1994]

Hagit Attiya and Nancy Lynch and Nir Shavit (Jul 1994).
Are Wait-Free Algorithms Fast?
In: Journal of the Association for Computing Machinery, 41(4):725--763.

[Israeli and Rappoport, 1994]

Amos Israeli and Lihu Rappoport (Aug 1994).
Disjoint-Access-Parallel Implementations of Strong Shared Memory Primitives.
In: Proceedings of the 13th ACM Symposium on Principles of Distributed Computing. pp. 151--160.

[Guerraoui, 1994]

Rachid Guerraoui ( 1994).
Atomic Object Composition.
In: ECOOP. pp. 118-138.

[Black et al., 2003]

Andrew P. Black and Vincent Cremet and Rachid Guerraoui and Martin Odersky ( 2003).
An Equational Theory for Transactions.
In: FSTTCS, Springer Verlag. pp. 38-49.

[Scherer III and Scott, 2004]

William N. Scherer III and Michael L. Scott (Oct 2004).
Nonblocking Concurrent Objects with Condition Synchronization.
In: Proceedings of the 18th International Symposium on Distributed Computing. Amsterdam, The Netherlands.

[Jagannathan and Vitek, 2004]

Suresh Jagannathan and Jan Vitek ( 2004).
Optimistic Concurrency Semantics for Transactions in Coordination Languages.
In: (ed.), Proceedings of the International Conference on Coordination Models and Languages. Volume 2949 of Lecture Notes in Computer Science. pp. 183--198. Published by Springer-Verlag.

[Vitek et al., 2004]

Jan Vitek and Suresh Jagannathan and Adam Welc and Antony L. Hosking ( 2004).
A Semantic Framework for Designer Transactions.
In: (ed.), Proceedings of the European Symposium on Programming. Volume 2986 of Lecture Notes in Computer Science. pp. 249--263. Published by Springer-Verlag.

[Welc et al., 2004]

Adam Welc and Antony L. Hosking and Suresh Jagannathan ( 2004).
Preemption-based avoidance of priority inversion for Java.
In: Proceedings of the International Conference on Parallel Processing. pp. 529--538. Published by IEEE Computer Society.

[Jones et al., 2005]

Cliff Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum and Alan Fekete and Marie-Claude Gaudel and Henry F. Korth and Rogerio de Lemos and Eliot Moss and Ravi Rajwar and Krithi Ramamritham and Brian Randell and Luis Rodrigues (Mar 2005).
The Atomic Manifesto: A story in four quarks.
In: SIGMOD Record, 34(1):63--69.

[Jones et al., 2005]

Cliff Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum and Alan Fekete and Marie-Claude Gaudel and Henry F. Korth and Rogerio de Lemos and Eliot Moss and Ravi Rajwar and Krithi Ramamritham and Brian Randell and Luis Rodrigues (Apr 2005).
The Atomic Manifesto: A story in four quarks.
In: SIGOPS Oper. Syst. Rev., 39(2):41--46.

[Zilles and Flint, 2005]

Craig Zilles and David Flint (Jun 2005).
Challenges to Providing Performance Isolation in Transactional Memories.
In: Proceedings of the Fourth Workshop on Duplicating, Deconstructing, and Debunking. pp. 48-55.

[Blundell et al., 2005]

Colin Blundell and E Christopher Lewis and Milo M. K. Martin (Jun 2005).
Deconstructing Transactions: The Subtleties of Atomicity.
In: Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking.

[Guerraoui et al., 2005]

Rachid Guerraoui and Maurice Herlihy and Bastian Pochon (Jul 2005).
Toward a theory of transactional contention managers.
In: PODC '05: Proceedings of the twenty-fourth annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing. New York, NY, USA, pp. 258--264. Published by ACM Press.

[Guerraoui et al., 2005]

Rachid Guerraoui and Maurice Herlihy and Michal Kapalka and Bastian Pochon (October 2005).
Robust Contention Management in Software Transactional Memory.
In: Proceedings of the OOPSLA Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL).

[Jagannathan et al., 2005]

Suresh Jagannathan and Jan Vitek and Adam Welc and Antony Hosking ( 2005).
A transactional object calculus.
In: Sci. Comput. Program., 57(2):164--186.

[Harris and Peyton Jones, 2006]

Tim Harris and Simon Peyton Jones (jun 2006).
Transactional memory with data invariants.
In: TRANSACT~'06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.

[Scott, 2006]

Michael L. Scott (Jun 2006).
Sequential Specification of Transactional Memory Semantics.
In: ACM SIGPLAN Workshop on Transactional Computing. Held in conjunction with PLDI 2006.

[Scott, 2006]

Michael L. Scott (Jun 2006).
Sequential Specification of Transactional Memory Semantics.
In: Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.

[Singh, 2006]

Satnam Singh (jun 2006).
Higher Order Combinators for Join Patterns using STM.
In: TRANSACT~'06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.

[Liblit, 2006]

Ben Liblit (aug 2006).
An Operational Semantics for LogTM.
Technical Report Nr. 1571. University of Wisconsin--Madison. Version 1.0.

[Riegel et al., 2006]

Torvald Riegel and Pascal Felber and Christof Fetzer (Sep 2006).
A Lazy Snapshot Algorithm with Eager Validation.
In: (ed.), Proceedings of the 20th International Symposium on Distributed Computing, DISC 2006. Volume 4167 of Lecture Notes in Computer Science. pp. 284--298. Springer.

[Grossman et al., 2006]

Dan Grossman and Jeremy Manson and William Pugh (October 2006).
What Do High-Level Memory Models Mean for Transactions?
In: Proceedings of the 2006 workshop on memory system performance and correctness. pp. 62--69.

[Agrawal et al., 2006]

Kunal Agrawal and Charles E. Leiseron and Jim Sukha (October 2006).
Memory Models for Open-Nested Transactions.
In: Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC).

[Blundell et al., 2006]

Colin Blundell and E Christopher Lewis and Milo M. K. Martin (Nov 2006).
Subtleties of Transactional Memory Atomicity Semantics.
In: Computer Architecture Letters, 5(2).

[Moss and Hosking, 2006]

J. Eliot B. Moss and Antony L. Hosking (Dec 2006).
Nested Transactional Memory: Model and Architecture Sketches.
In: In Science of Computer Programming. Volume 632. pp. 186--201.

[Riegel et al., 2007]

Torvald Riegel and Christof Fetzer and Pascal Felber (Jun 2007).
Time-based Transactional Memory with Scalable Time Bases.
In: 19th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) .

[Riegel et al., 2007]

Torval Riegel and Christof Fetzer and Heiko Sturzrehm and Pascal Felber (aug 2007).
From causal to z-linearizable transactional memory (brief announcement).
In: PODC~'07: Proc. 26th ACM symposium on Principles of distributed computing. pp. 340--341.

[Moore and Grossman, 2007]

Katherine F. Moore and Dan Grossman (aug 2007).
High-Level Small-Step Operational Semantics for Transactions.
In: TRANSACT~'07: 2nd Workshop on Transactional Computing.

[Spear et al., 2007]

Michael F. Spear and Virendra J. Marathe and Luke Dalessandro and Michael L. Scott (Aug 2007).
Privatization Techniques for Software Transactional Memory.
In: Proceedings of the 26th PODC ACM Symposium on Principles of Distributed Computing. Brief announcement. Extended version available as TR 915, Computer Science Department, University of Rochester, Feb. 2007(http://www.cs.rochester.edu/u/scott/papers/2007_TR915.pdf).

[Grossman, 2007]

Dan Grossman (Oct 2007).
The Transactional Memory / Garbage Collection Analogy.
In: ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Essays Track). pp. 695--706.

[Cohen et al., 2007]

Ariel Cohen and John W. O'Leary and Amir Pnueli and Mark R. Tuttle and Lenore D. Zuck (November 2007).
Verifying Correctness of Transactional Memories.
In: Proceedings of the 7th International Conference on Formal Methods in Computer-Aided Design (FMCAD). pp. 37--44.

[Abadi et al., 2008]

Martin Abadi and Andrew Birrell and Tim Harris and Michael Isard (jan 2008).
Semantics of transactional memory and automatic mutual exclusion.
In: POPL~'08: Proc. 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 63--74.

[Moore and Grossman, 2008]

Katherine F. Moore and Dan Grossman (Jan 2008).
High-Level Small-Step Operational Semantics for Transactions.
In: 35th ACM Symposium on Principles of Programming Languages.

[Aydonat and Abdelrahman, 2008]

Utku Aydonat and Tarek Abdelrahman (feb 2008).
Serializability of Transactions in Software Transactional Memory.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.

[Cohen et al., 2008]

Ariel Cohen and Amir Pnueli and Lenore Zuck (feb 2008).
Verification of Transactional Memories that Support Non-Transactional Memory Accesses.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.

[Dragojevi\'c et al., 2008]

Aleksandar Dragojevi\'c and Rachid Guerraoui and Micha\l Kapa\lka (feb 2008).
Dividing Transactional Memories by Zero.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.

[Menon et al., 2008]

Vijay Menon and Steven Balensiefer and Tatiana Shpeisman and Ali-Reza Adl-Tabatabai and Richard Hudson and Bratin Saha and Adam Welc (feb 2008).
Single Global Lock Semantics in a Weakly Atomic STM.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.

[Tasiran, 2008]

Serdar Tasiran (apr 2008).
A Compositional Method for Verifying Software Transactional Memory Implementations.
Technical Report Nr. MSR-TR-2008-56. Microsoft Research.

[HU and Hutton, 2008]

Liyang HU and Graham Hutton (May 2008).
Towards a Verified Implementation of Software Transactional Memory.
In: Proceedings of the Symposium on Trends in Functional Programming.

[Boehm and Adve, 2008]

Hans-J. Boehm and Sarita V. Adve (jun 2008).
Foundations of the C++ concurrency memory model.
In: PLDI~'08: Proc. 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 68--78.

[Menon et al., 2008]

Vijay Menon and Steven Balensiefer and Tatiana Shpeisman and Ali-Reza Adl-Tabatabai and Richard L. Hudson and Bratin Saha and Adam Welc (jun 2008).
Practical weak-atomicity semantics for Java STM.
In: SPAA~'08: Proc. twentieth annual symposium on Parallelism in algorithms and architectures. pp. 314--325.

[Cohen et al., 2008]

Ariel Cohen and Amir Pnueli and Lenore D. and Zuck (July 2008).
Mechanical Verification of Transactional Memories with Non-Transactional Memory Accesses.
In: Computer Aided Verification (CAV), 20th International Conference, Princeton, NJ, USA. Volume 5123 of Lecture Notes in Computer Science. pp. 121--134. Published by Springer.

[Guerraoui et al., 2008]

Rachid Guerraoui and Thomas Henzinger and Vasu Singh (aug 2008).
Completeness and Nondeterminism in Model Checking Transactional Memories".
In: CONCUR~'08: Proc. 19th Conference on Concurrency Theory. pp. 21--35.

[O'Leary et al., 2008]

John O'Leary and Bratin Saha and Mark R. Tuttle (aug 2008).
Model checking transactional memory with Spin (brief announcement).
In: PODC~'08: Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing. pp. 424--424.

[Gramoli et al., 2008]

Vincent Gramoli and Derin Harmanci and Pascal Felber (Dec 2008).
Toward a Theory of Input Acceptance for Transactional Memories.
In: Proceedings of the 12th International Conference On Principles Of Distributed Systems (OPODIS'08). Volume 5401 of LNCS. pp. 527--533. Published by Springer-Verlag.

[Poe et al., 2008]

James Poe and Chang-Burm Cho and Tao Li ( 2008).
Using Analytical Models to Efficiently Explore Hardware Transactional Memory and Multi-Core Co-Design.
In: SBAC-PAD '08: Proceedings of the 2008 20th International Symposium on Computer Architecture and High Performance Computing. Washington, DC, USA, pp. 159--166. Published by IEEE Computer Society.

[Cohen et al., 2008]

Ariel Cohen and Ron van der Meyden and Lenore D. Zuck ( 2008).
Access Control and Information Flow in Transactional Memory.
In: The fifth International Workshop on Formal Aspects in Security and Trust (FAST2008).

[Guerraoui and Kapalka, 2008]

Rachid Guerraoui and Michal Kapalka ( 2008).
On the Correctness of Transactional Memory.
In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'08).

[Guerraoui et al., 2008]

Rachid Guerraoui and Thomas A. Henzinger and Barbara Jobstmann and Vasu Singh ( 2008).
Model Checking Transactional Memories.
In: ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI). Published by ACM.

[Guerraoui et al., 2008]

Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh ( 2008).
Nondeterminism and Completeness in Transactional Memories.
In: Proceedings of the 19th International Conference on Concurrency Theory (CONCUR). Published by Springer.

[Elmas et al., 2009]

Tayfun Elmas and Shaz Qadeer and Serdar Tasiran (jan 2009).
A calculus of atomic actions.
In: POPL~'09: Proc. 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 2--15.

[Abadi and Plotkin, 2009]

Martin Abadi and Gordon Plotkin (jan 2009).
A model of cooperative threads.
In: POPL~'09: Proc. 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 29--40.

[Guerraoui and Kapa\lka, 2009]

Rachid Guerraoui and Micha\l Kapa\lka (jan 2009).
The semantics of progress in lock-based transactional memory.
In: POPL~'09: Proc. 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 404--415.

[Attiya et al., 2009]

Hagit Attiya and Eshcar Hillel and Alessia Milani (feb 2009).
Inherent limitations on transactional memory implementations.
In: TRANSACT~'09: 4th Workshop on Transactional Computing. A later version appeared at SPAA~'09.

[Dalessandro and Scott, 2009]

Luke Dalessandro and Michael L. Scott (feb 2009).
Strong Isolation is a Weak Idea.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.

[Harmanci et al., 2009]

Derin Harmanci and Pascal Felber and Vincent Gramoli and Christof Fetzer (feb 2009).
TMUNIT: Testing Transactional Memories.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.

[Heindl and Pokam, 2009]

Armin Heindl and Gilles Pokam (June 2009).
An Analytic Framework for Performance Modeling of Software Transactional Memory.
In: Computer Networks, 53(8):1202--1214.

[Heindl and Pokam, 2009]

Armin Heindl and Gilles Pokam (Jun 2009).
An Analytic Model for Optimistic STM with Lazy Locking.
In: ASMTA~'09: Proc. 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications. pp. 339--353.

[O'Leary et al., 2009]

John O'Leary and Bratin Saha and Mark R. Tuttle (jun 2009).
Model checking transactional memory with Spin.
In: ICDCS~'09: Proc. 29th International Conference on Distributed Computing Systems.

[Imbs et al., 2009]

Damien Imbs and Jose\'e Ramon de Mendivil and Michel Raynal (aug 2009).
Virtual World Consistency: a new Condition for STM Systems (brief announcement).
In: PODC~'09: Proc. 28th ACM Symposium on Principles of Distributed Computing. pp. 280--281.

[Felber et al., 2009]

Pascal Felber and Vincent Gramoli and Rachid Guerraoui (Sep 2009).
Elastic Transactions.
In: Proceedings of the 23rd International Symposum on Distributed Computing (DISC'09). Volume 5805 of LNCS. pp. 93--107. Published by Springer-Verlag.

[Hughes et al., 2009]

C. Hughes and J. Poe and A. Qouneh and Tao Li (Oct 2009).
On the (dis)similarity of transactional memory workloads.
In: Workload Characterization, 2009. IISWC 2009. IEEE International Symposium on. pp. 108-117.

[Poe et al., 2009]

James Poe and Clay Hughes and Tao Li ( 2009).
TransMetric: architecture independent workload characterization for transactional memory benchmarks.
In: ICS '09: Proceedings of the 23rd international conference on Supercomputing. New York, NY, USA, pp. 491--492. Published by ACM.

[Heindl et al., 2009]

Armin Heindl and Gilles Pokam and Ali-Reza Adl-Tabatabai (apr 2009).
An Analytic Model of Optimistic Software Transactional Memory.
In: ISPASS~'09: Proc. 2009 International Symposium on Performance Analysis of Systems and Software. pp. 153--162.

[Gramoli et al., 2010]

Vincent Gramoli and Derin Harmanci and Pascal Felber (mar 2010).
On the Input Acceptance of Transactional Memory.
In: Parallel Processing Letters (PPL), 20(1):31--50.

[Sharma et al., 2010]

Gokarna Sharma and Brett Estrade and Costas Busch (September 2010).
Window-Based Greedy Contention Management for Transactional Memory.
In: DISC'10: Proceedings of the 24th International Symposium on Distributed Computing. Volume 6343 of Lecture Notes in Computer Science. pp. 64--78. Springer Berlin / Heidelberg.

[Sharma and Busch, 2010]

Gokarna Sharma and Costas Busch (December 2010).
A Competitive Analysis for Balanced Transactional Memory Workloads.
In: OPODIS~'10: Proceedings of the 14th International Conference on Principles of Distributed Systems. Volume 6490 of Lecture Notes in Computer Science. pp. 348--363. Springer Berlin / Heidelberg.

[Teixeira et al., 2010]

Bruno Teixeira and Eitan Lourenç Joãand Farchi and Ricardo Dias and Diogo Sousa ( 2010).
Detection of Transactional Memory Anomalies Using Static Analysis.
In: Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. PADTAD '10. New York, NY, USA, pp. 26--36. Published by ACM.

[Bieniusa and Thiemann, 2011]

Annette Bieniusa and Peter Thiemann ( 2011).
Proving Isolation Properties for Software Transactional Memory.
In: Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011. Proceedings. Volume 6602 of Lecture Notes in Computer Science. pp. 38-56. Published by Springer.