Transactional Memory Bibliography

[Eswaran et al., 1976]

Kapali P. Eswaran and Jim Gray and Raymond A. Lorie and Irving L. Traiger (Nov 1976).
The Notions of Consistency and Predicate Locks in a Database System.
In: Communications of the ACM, 19(11):624--633.

[Kung and Robinson, 1981]

H.T. Kung and John T. Robinson (Jun 1981).
On Optimistic Methods of Concurrency Control.
In: ACM Transactions on Database Systems, 6(2):213--226.

[Gray, 1981]

Jim Gray (Sep 1981).
The Transaction Concept: Virtues and Limitations.
In: Seventh International Conference on Very Large Data Bases. pp. 144--154.

[Massalin and Pu, 1991]

Henry Massalin and Calton Pu (May 1991).
A Lock-Free Multiprocessor Os Kernel.
(CUCS-005-91). Columbia University.

[Bershad, 1991]

Brian N. Bershad (Sep 1991).
Practical Considerations for Lock-Free Concurrent Objects.
(CMU-CS-91-183). Carnegie Mellon University.

[Banatre et al., 1991]

Michel Banatre and Gilles Muller and Bruno Rochat and P. Sanchez ( 1991).
Design Decisions for the FTM: A General Purpose Fault Tolerant Machine.
In: FTCS. pp. 71-78.

[Allemany and Felten, 1992]

Juan Allemany and Ed Felten (Aug 1992).
Performance Issues in Non-Blocking Synchronization on Shared-Memory Multiprocessors.
In: Proceedings of the 11th ACM Symposium on Principles of Distributed Computing. pp. 125--134.

[Turek et al., 1992]

John Turek and Dennis Shasha and Sundeep Prakash (Aug 1992).
Locking without Blocking: Making Lock Based Concurrent Data Structure Algorithms Nonblocking.
In: Proceedings of the 11th ACM Symposium on Principles of Distributed Computing. pp. 212--222.

[Guerraoui et al., 1992]

Rachid Guerraoui and Riccardo Capobianchi and Agnes Lanusse and Pierre Roux ( 1992).
Nesting Actions through Asynchronous Message Passing: the ACS Protocol..
In: ECOOP. pp. 170-184.

[Barnes, 1993]

Greg Barnes (Jun 1993).
Method for Implementing Lock-Free Shared Data Structures.
In: Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures. pp. 261--270.

[Israeli and Rappoport, 1993]

Amos Israeli and Lihu Rappoport (Sep 1993).
Efficient Wait-Free Implementation of a Concurrent Priority Queue.
In: 7th International Workshop on Distributed Algorithms. pp. 27--29.

[Reinhardt et al., 1993]

Steven K. Reinhardt and Babak Falsafi and David A. Wood (Sep 1993).
Kernel Support for the Wisconsin Wind Tunnel.
In: Second USENIX Symposium on Microkernels and Other Architectures.

[Schoinas et al., 1994]

Ioannis Schoinas and Babak Falsafi and Alvin R. Lebeck and Steven K. Reinhardt and James R. Larus and David A. Wood (Oct 1994).
Fine-grain Access Control for Distributed Shared Memory.
In: Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems. pp. 297--307.

[Satyanarayanan et al., 1994]

M. Satyanarayanan and Henry H. Mashburn and Puneet Kumar and David C. Steere and James J. Kistler ( 1994).
Lightweight Recoverable Virtual Memory.
In: ACM Transactions on Computer Systems, 12(1):33--57.

[Shavit and Touitou, 1995]

Nir Shavit and Dan Touitou (Aug 1995).
Software Transactional Memory.
In: Proceedings of the 14th ACM Symposium on Principles of Distributed Computing. pp. 204--213.

[Valois, 1995]

John D. Valois (Aug 1995).
Lock-Free Linked Lists Using Compare-and-Swap.
In: Proceedings of the 14th ACM Symposium on Principles of Distributed Computing. pp. 214--222.

[Bohannon et al., 1995]

Philip Bohannon and Daniel Lieuwen and Avi Silberschatz and S. Sudarshan and Jacques Gava (Oct 1995).
Recoverable User-Level Mutual Exclusion.
In: Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing. pp. 293--301.

[Johnson, 1995]

Theodore Johnson (Oct 1995).
Characterizing the Performance of Algorithms for Lock-Free Objects.
In: IEEE Transactions on Computers, 44(10):1194--1207.

[Valois, 1995]

John D. Valois ( 1995).
Lock-Free Data Structures.
PhD thesis, Rochester Institute of Technology.

[Michael and Scott, 1996]

Maged M. Michael and Michael L. Scott (May 1996).
Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms.
In: Proceedings of the 15th ACM Symposium on Principles of Distributed Computing. pp. 267--275.

[Muller et al., 1996]

Gilles Muller and Michel Banatre and Nadine Peyrouze and Bruno Rochat ( 1996).
Lessons from FTM: An Experiment in Design and Implementation of a Low-Cost Fault-Tolerant System.
(2):332-339.

[Michael and Scott, 1997]

Maged M Michael and Michael L. Scott (Apr 1997).
Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors.
In: Proceedings of the 11th International Parallel Processing Symposium. Geneva, Switzerland. Earlier version published as ``Concurrent Update on Multiprogrammed Shared Memory MultiProceedingsessors,'' TR 614, University of Rochester Computer Science Dept., May 1996.

[Moir, 1997]

Mark Moir (Sep 1997).
Transparent Support for Wait-Free Transactions.
In: 11th International Workshop on Distributed Algorithms. pp. 305--319.

[Lowell and Chen, 1997]

David E. Lowell and Peter M. Chen (Oct 1997).
Free Transactions with Rio Vista.
In: Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles. pp. 92--101. ACM Press.

[Michael and Scott, 1998]

Maged M. Michael and Michael L. Scott ( 1998).
Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors.
In: Journal of Parallel and Distributed Computing, 51(1):1--26.

[Anderson and Moir, 1999]

James H. Anderson and Mark Moir (Dec 1999).
Universal Constructions for Large Objects.
In: IEEE Transactions on Parallel and Distributed Systems, 10(12):1317-1332.

[Greenwald, 1999]

Michael Greenwald ( 1999).
Non-Blocking Synchronization and System Design.
PhD thesis, Stanford University, Also appears as Stanford University Technical Report STAN-CS- TR-99-1624, Stanford University, Stanford, CA, 1999..

[Harris et al., 2002]

Tim Harris and Keir Fraser and Ian A. Pratt (Oct 2002).
A practical multi-word compare-and-swap operation.
In: Proceedings of the 16th International Symposium on Distributed Computing. pp. 265--279.

[Rudys and Wallach, 2002]

Algis Rudys and Dan S. Wallach ( 2002).
Transactional Rollback for Language-Based Systems.
In: Proceedings of the International Conference on Dependable Systems and Networks. pp. 439--448.

[Flanagan and Qadeer, 2003]

Cormac Flanagan and Shaz Qadeer (Jan 2003).
Types for Atomicity.
In: ACM SIGPLAN Workshop on Types in Language Design and Implementation. pp. 1--12.

[Flanagan and Qadeer, 2003]

Cormac Flanagan and Shaz Qadeer (Jun 2003).
A Type and Effect System for Atomicity.
In: Proceedings of the 2003 Conference on Programming Language Design and Implementation. pp. 338--349.

[Herlihy et al., 2003]

Maurice Herlihy and Victor Luchangco and Mark Moir and III William N. Scherer (Jul 2003).
Software Transactional Memory for Dynamic-Sized Data Structures.
:92--101.

[Harris and Fraser, 2003]

Tim Harris and Keir Fraser (Oct 2003).
Language Support for Lightweight Transactions.
In: Object-Oriented Programming, Systems, Languages, and Applications. pp. 388--402.

[Fraser, 2003]

Keir Fraser ( 2003).
Practical lock freedom.
PhD thesis, Cambridge University Computer Laboratory. Also available as Technical Report UCAM-CL-TR-579.

[Marathe and Scott, 2004]

Virendra J. Marathe and Michael L. Scott (Jun 2004).
A Qualitative Survey of Modern Software Transactional Memory Systems.
Technical Report Nr. TR 839. University of Rochester Computer Science Dept..

[Michael, 2004]

Maged M. Michael (Jun 2004).
Hazard Pointers: Safe Memory Reclamation for Lock-FreeObjects.
In: IEEE Transactions on Parallel and Distributed Systems, 15(6).

[Michael, 2004]

Maged M. Michael (Jun 2004).
Scalable Lock-Free Malloc.
In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. pp. 35--46.

[Harris, 2004]

Tim Harris (Jul 2004).
Exceptions and side-effects in atomic blocks.
In: Proceedings of the 2004 Workshop on Concurrency and Synchronization in Java programs. pp. 46-53. Proceedings published as Memorial University of Newfoundland CS Technical Report 2004-01.

[Scherer III and Scott, 2004]

William N. Scherer III and Michael L. Scott (Jul 2004).
Contention Management in Dynamic Software Transactional Memory.
In: Proceedings of the ACM PODC Workshop on Concurrency and Synchronization in Java Programs. St. John's, NL, Canada. In conjunction with PODC'04. Please also download errata from www.cs.rochester.edu/u/scott/papers/2004_CSJP_contention_mgmt_errata.pdf.

[Hammond et al., 2004]

Lance Hammond and Brian D. Carlstrom and Vicky Wong and Ben Hertzberg and Mike Chen and Christos Kozyrakis and Kunle Olukotun (Oct 2004).
Programming with Transactional Coherence and Consistency (TCC).
In: ASPLOS-XI: Proceedings of the 11th international conference on Architectural support for programming languages and operating systems. pp. 1--13. ACM Press.

[Marathe et al., 2004]

Virendra J. Marathe and William N. Scherer III and Michael L. Scott (Oct 2004).
Design Tradeoffs in Modern Software Transactional Memory Systems.
In: Proceedings of the 7th Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers. Houston, TX.

[Pizlo et al., 2004]

Filip Pizlo and Marek Prochazka and Suresh Jagannathan and Jan Vitek ( 2004).
Transactional Lock-Free Objects for Real-Time Java.
In: Proceedings of the PODC Workshop on Concurrency and Synchronization in Java Programs. pp. 54--62.

[Welc et al., 2004]

Adam Welc and Suresh Jagannathan and Antony L. Hosking ( 2004).
Transactional monitors for concurrent objects.
In: (ed.), Proceedings of the European Conference on Object-Oriented Programming. Volume 3086 of Lecture Notes in Computer Science. pp. 519--542. Published by Springer-Verlag.

[Manson et al., 2005]

Jeremy Manson and William Pugh and Sarita V. Adve (Jan 2005).
The Java Memory Model.
In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 378--391.

[Ennals, 2005]

Robert Ennals (Jan 2005).
Efficient Software Transactional Memory.
Technical Report Nr. IRC-TR-05-051. Intel Research Cambridge Tech Report.

[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.

[Harris et al., 2005]

Tim Harris and Maurice Herlihy and Simon Marlow and Simon Peyton-Jones (Jun 2005).
Composable memory transactions.
In: Proceedings of the ACM Symposium on Principles and Practice of Parallel Programming, to appear.

[Harris and Fraser, 2005]

Tim Harris and Keir Fraser (Jun 2005).
Revocable locks for non-blocking programming.
In: Proceedings of the ACM Symposium on Principles and Practice of Parallel Programming, to appear.

[Rajwar et al., 2005]

Ravi Rajwar and Maurice Herlihy and Konrad Lai (Jun 2005).
Virtualizing Transactional Memory.
In: Proceedings of the 32nd Annual International Symposium on Computer Architecture. pp. 494--505. IEEE Computer Society.

[Marathe and Scott, 2005]

Virendra J. Marathe and Michael L. Scott (Jul 2005).
Using LL/SC to Simplify Word-based Software Transactional Memory (POSTER).
In: Proceedings of the 24th ACM Symposium on Principles of Distributed Computing. Las Vegas, NV.

[Moir, 2005]

Mark Moir (Jul 2005).
Hybrid Transactional Memory.
Unpublished manuscript.

[Scherer III and Scott, 2005]

William N. Scherer III and Michael L. Scott (Jul 2005).
Advanced Contention Management for Dynamic Software Transactional Memory.
In: Proceedings of the 24th ACM Symposium on Principles of Distributed Computing. Las Vegas, NV.

[Scherer III and Scott, 2005]

William N. Scherer III and Michael L. Scott (Jul 2005).
Randomization in STM Contention Management (POSTER).
In: Proceedings of the 24th ACM Symposium on Principles of Distributed Computing. Las Vegas, NV. Winner, most popular poster presentation award.

[Ringenburg and Grossman, 2005]

Michael F. Ringenburg and Dan Grossman (September 2005).
AtomCaml: First-class Atomicity via Rollback.
In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming. pp. 92--104.

[Guerraoui et al., 2005]

Rachid Guerraoui and Maurice Herlihy and Bastian Pochon (Sep 2005).
Polymorphic Contention Management.
In: DISC '05: Proceedings of the nineteenth International Symposium on Distributed Computing. pp. 303--323. Published by LNCS, Springer.

[Marathe et al., 2005]

Virendra J. Marathe and William N. Scherer III and Michael L. Scott (Sep 2005).
Adaptive Software Transactional Memory.
In: Proceedings of the 19th International Symposium on Distributed Computing. Cracow, Poland. Earlier but expanded version available as TR 868, University of Rochester Computer Science Dept., May2005.

[Ananian and Rinard, 2005]

C. Scott Ananian and Martin Rinard (Oct 2005).
Efficient Object-Based Software Transactions.
In: Proceedings, Workshop on Synchronization and Concurrency in Object-Oriented Languages. San Diego, CA. In conjunction with OOPSLA'05.

[Carlstrom et al., 2005]

Brian D. Carlstrom and JaeWoong Chung and Hassan Chafi and Austen McDonald and Chi Cao Minh and Lance Hammond and Christos Kozyrakis and Kunle and Olukotun (Oct 2005).
Transactional Execution of Java Programs.
In: OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL).

[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).

[Lev and Maessen, 2005]

Yossi Lev and Jan-Willem Maessen (October 2005).
Toward a Safer Interaction with Transactional Memory by Tracking Object Visibility.
In: Proceedings, Workshop on Synchronization and Concurrency in Object-Oriented Languages. San Diego, CA.

[Scherer III et al., 2005]

William N. Scherer III and Doug Lea and Michael L. Scott (Oct 2005).
A Scalable Elimination-based Exchange Channel.
In: Proceedings, Workshop on Synchronization and Concurrency in Object-Oriented Languages. San Diego, CA. In conjunction with OOPSLA'05.

[Ennals, 2006]

Robert Ennals (Jan 2006).
Software Transactional Memory Should Not Be Obstruction-Free.
Technical Report Nr. IRC-TR-06-052. Intel Research Cambridge Tech Report.

[McCloskey et al., 2006]

Bill McCloskey and Feng Zhou and David Gay and Eric Brewer (Jan 2006).
Autolocker: Synchronization Inference for Atomic Sections.
In: Proc. 33rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL). pp. 346-358. ACM Press.

[Manassiev et al., 2006]

Kaloian Manassiev and Madalin Mihailescu and Cristiana Amza (Mar 2006).
Exploiting Distributed Version Concurrency in a Transactional Memory Cluster.
In: Proc. 11th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming (PPoPP '06). pp. 198-208. ACM Press.

[Marathe et al., 2006]

Virendra J. Marathe and Michael F. Spear and Christopher Heriot and Athul Acharya and David Eisenstat and William N. Scherer III and Michael L. Scott (Mar 2006).
Lowering the Overhead of Software Transactional Memory.
Technical Report Nr. TR 893. Computer Science Department, University of Rochester. Condensed version submitted for publication.

[Saha et al., 2006]

Bratin Saha and Ali-Reza Adl-Tabatabai and Richard L. Hudson and Chi Cao Minh and Benjamin Hertzberg (Mar 2006).
McRT-STM: a High Performance Software Transactional Memory System for a Multi-core Runtime.
In: Proc. 11th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming (PPoPP '06). pp. 187-197.

[Scherer III et al., 2006]

William N. Scherer III and Doug Lea and Michael L. Scott (Mar 2006).
Scalable Synchronous Queues.
In: Proceedings of the 11th PPOPP ACM Symposium on Principles and Practice of Parallel Programming. New York, NY.

[Adl-Tabatabai et al., 2006]

Ali-Reza Adl-Tabatabai and Brian T. Lewis and Vijay Menon and Brian R. Murphy and Bratin Saha and Tatiana Shpeisman (Jun 2006).
Compiler and Runtime Support for Efficient Software Transactional Memory.
In: Proceedings of the 2006 Conference on Programming language design and implementation. pp. 26--37.

[Carlstrom et al., 2006]

Brian D. Carlstrom and Austen McDonald and Hassan Chafi and JaeWoong Chung and Chi Cao Minh and Christos Kozyrakis and Kunle Olukotun (Jun 2006).
Atomos transactional programming language.
In: Proceedings of the 2006 Conference on Programming language design and implementation. pp. 1-13.

[Dice and Shavit, 2006]

David Dice and Nir Shavit (Jun 2006).
What Really Makes Transactions Faster?
In: Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.

[Harris et al., 2006]

Tim Harris and Mark Plesko and Avraham Shinnar and David Tarditi (Jun 2006).
Optimizing Memory Transactions.
In: Proceedings of the 2006 Conference on Programming language design and implementation. pp. 14-25. ACM Press.

[Hicks et al., 2006]

Michael Hicks and Jeffrey S. Foster and Polyvios Prattikakis (JuneJun 2006).
Lock Inference for Atomic Sections.
In: Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.

[Lev and Moir, 2006]

Yossi Lev and Mark Moir (Jun 2006).
Debugging with Transactional Memory.
In: Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.

[Marathe et al., 2006]

Virendra J. Marathe and Michael F. Spear and Christopher Heriot and Athul Acharya and David Eisenstat and William N. Scherer III and Michael L. Scott (Jun 2006).
Lowering the Overhead of Software Transactional Memory.
In: ACM SIGPLAN Workshop on Transactional Computing. Held in conjunction with PLDI 2006. Expanded version available as TR 893, Department of Computer Science, University of Rochester, March 2006.

[Riegel et al., 2006]

Torvald Riegel and Christof Fetzer and Pascal Felber (Jun 2006).
Snapshot Isolation for Software Transactional Memory .
In: Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.

[Welc et al., 2006]

Adam Welc and Antony L. Hosking and Suresh Jagannathan (Jul 2006).
Transparently Reconciling Transactions with Locking for Java Synchronization.
In: European Conference on Object-Oriented Programming. pp. 148--173.

[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.

[Spear et al., 2006]

Michael F. Spear and Virendra J. Marathe and William N. Scherer III and Michael L. Scott (Sep 2006).
Conflict Detection and Validation Strategies for SoftwareTransactional Memory.
In: Proceedings of the Twentieth International Symposium on Distributed Computing.

[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.

[Hindman and Grossman, 2006]

Benjamin Hindman and Dan Grossman (October 2006).
Atomicity via Source-to-Source Translation.
In: Proceedings of the 2006 workshop on memory system performance and correctness. pp. 82--91.

[Herlihy et al., 2006]

Maurice Herlihy and Mark Moir and Victor Luchangco (oct 2006).
A Flexible Framework for Implementing Software Transactional Memory.
In: Proceedings of the 21th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications. pp. 253-262.

[Adl-Tabatabai et al., 2006]

Ali-Reza Adl-Tabatabai and Christos Kozyrakis and Bratin Eswaran Saha (Dec 2006).
Unlocking Concurrency: Multicore Programming with Transactional Memory.
In: ACM Queue, 4(10):24--33.

[Damron et al., 2006]

Peter Damron and Alexandra Fedorova and Yossi Lev and Victor Luchangco and Mark Moir and Dan Nussbaum ( 2006).
Hybrid Transactional Memory.
In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). pp. 336-346.

[Larus and Rajwar, 2006]

James R. Larus and Ravi Rajwar ( 2006).
Transactional Memory.
Morgan & Claypool.

[Ceze et al., 2007]

Luis Ceze and Pablo Montesinos and Christoph von Praun and Josep Torrellas (Feb 2007).
Colorama: Architectural Support for Data-Centric Synchronization.
In: Proceedings of the 13th International Symposium on High-Performance Computer Architecture.

[Carlstrom et al., 2007]

Brian D. Carlstrom and Austen McDonald and Michael Carbin and Christos Kozyrakis and Kunle Olukotun (Mar 2007).
Transactional Collection Classes.
In: ACM 2007 SIGPLAN Conference on Principles and Practice of Parallel Computing. pp. 56--67.

[Guerraoui et al., 2007]

Rachid Guerraoui and Michal Kapalka and Jan Vitek (Mar 2007).
STMBench7: A Benchmark for Software Transactional Memory.
In: Proceedings of the Second European Systems Conference (EuroSys2007). pp. 315--324. Published by ACM.

[Bai et al., 2007]

Tongxin Bai and Xipeng Shen and Chengliang Zhang and William N. Scherer III and Chen Ding and Michael L. Scott (Mar 2007).
A Key-Based Adaptive Transactional Memory Executor.
In: Proceedings of the NSF Next Generation Software Program Workshop. Invited paper. Also available as TR 909, Department of Computer Science, University of Rochester, December 2006.

[Shpeisman et al., 2007]

Tatiana Shpeisman and Vijay Menon and Ali-Reza Adl-Tabatabai and Steve Balensiefer and Dan Grossman and Richard Hudson and Katherine F. Moore and Bratin Saha (Jun 2007).
Enforcing Isolation and Ordering in STM.
In: ACM Conference on Programming Language Design and Implementation. pp. 78--88.

[Cao Minh et al., 2007]

Chi Cao Minh and Martin Trautmann and JaeWoong Chung and Austen McDonald and Nathan Bronson and Jared Casper and Christos Kozyrakis and Kunle Olukotun (Jun 2007).
An Effective Hybrid Transactional Memory System with Strong Isolation Guarantees.
In: Proceedings of the 34th Annual International Symposium on Computer Architecture.

[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) .

[Spear et al., 2007]

Michael F. Spear and Arrvindh Shriraman and Luke Dalessandro and Sandhya Dwarkadas and Michael L. Scott (Jun 2007).
Nonblocking Transactions Without Indirection Using Alert-on-Update.
In: Proceedings of the 19th Annual ACM SYMP on Parallelism in Algorithms and Architectures. San Diego, CA.

[Dalessandro et al., 2007]

Luke Dalessandro and Virendra J. Marathe and Michael F. Spear and Michael L. Scott (Aug 2007).
Capabilities and Limitations of Library-Based Software Transactional Memory in C++.
In: Proceedings of the 2nd ACM SIGPLAN Workshop on Transactional Computing. Portland, OR.

[Scott et al., 2007]

Michael L. Scott and Michael F. Spear and Luke Dalessandro and Virendra J. Marathe (Aug 2007).
Transactions and Privatization in Delaunay Triangulation.
In: Proceedings of the 26th PODC ACM Symposium on Principles of Distributed Computing. Portland, OR. Brief announcement.

[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).

[Baek et al., 2007]

Woongki Baek and Chi Cao Minh and Martin Trautmann and Christos Kozyrakis and Kunle Olukotun (Sep 2007).
The OpenTM Transactional Application Programming Interface.
In: Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques. pp. 376--387.

[Kimball and Grossman, 2007]

Aaron Kimball and Dan Grossman (Sep 2007).
Software Transactions Meet First-Class Continuations.
In: The 8th Annual Workshop on Scheme and Functional Programming.

[Scott et al., 2007]

Michael L. Scott and Michael F. Spear and Luke Dalessandro and Virendra J. Marathe (Sep 2007).
Delaunay Triangulation with Transactions and Barriers.
In: PROC of the 2007 IEEE INTL Symposium on Workload Characterization. Boston, MA. Benchmarks track.

[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.

[Gottschlich and Connors, 2007]

Justin Gottschlich and Daniel A. Connors (Oct 2007).
DracoSTM: A Practical C++ Approach to Software Transactional Memroy.
In: Proceedings of the 2007 ACM SIGPLAN Symposium on Library-Centric Software Design (LCSD).

[Ellen et al., 2007]

Faith Ellen and Yossi Lev and Victor Luchangco and Mark Moir ( 2007).
SNZI: scalable NonZero indicators.
In: PODC '07: Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing. New York, NY, USA, pp. 13--22. Published by ACM.

[Lourenco and Cunha, 2007]

Joao M.S. Lourenco and Goncalo T. Cunha ( 2007).
Testing patterns for software transactional memory engines.
In: PADTAD '07: Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging. New York, NY, USA, pp. 36--42. Published by ACM.

[Crowl et al., 2007]

Lawrence Crowl and Yossi Lev and Victor Luchangco and Mark Moir and Dan Nussbaum ( 2007).
Integrating Transactional Memory into C++.
In: Workshop on Transactional Computing (TRANSACT).

[Lev et al., 2007]

Yossi Lev and Mark Moir and Dan Nussbaum ( 2007).
PhTM: Phased Transactional Memory.
In: Workshop on Transactional Computing (TRANSACT).

[Tabba et al., 2007]

Fuad Tabba and Cong Wang and James R. Goodman and Mark Moir ( 2007).
NZTM: Nonblocking, Zero-Indirection Transactional Memory.
In: Workshop on Transactional Computing (TRANSACT).

[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.

[Abadi et al., 2008]

Martin Abadi and Andrew Birrell and Tim Harris and Johnson Hsieh and Michael Isard (Mar 2008).
Dynamic Separation for Transactional Memory.
Technical Report Nr. MSR-TR-2008-43. Microsoft Research.

[Gottschlich and Connors, 2008]

Justin Gottschlich and Daniel A. Connors (Apr 2008).
Extending Contention Managers for User-Defined Priority-Based Transactions.
In: Proceedings of the 2008 Workshop on Exploiting Parallelism with Transactional Memory and other Hardware Assisted Methods April, 2008.

[Lev and Maessen, 2008]

Yossi Lev and Jan-Willem Maessen ( 2008).
Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory.
In: PPoPP '08: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming. New York, NY, USA, pp. 197--206. Published by ACM.

[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).