Software

[Eswaran et al., 1976]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Blasgen et al., 1979]
 
Show BibTeX entryVisit the webpage of the paper
Mike Blasgen and Jim Gray and Mike Mitoma and Tom Price ( 1979).
The Convoy Phenomenon.
In: SIGOPS Oper. Syst. Rev., 3(2):20--25.
[Kung and Robinson, 1981]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entry
Jim Gray (Sep 1981).
The Transaction Concept: Virtues and Limitations.
In: Seventh International Conference on Very Large Data Bases. pp. 144--154.
[Agrawal et al., 1983]
 
Show BibTeX entryVisit the webpage of the paper
Rakesh Agrawal and Michael J. Carey and David J. DeWitt ( 1983).
Deadlock Detection is Cheap.
In: SIGMOD Record, 13(2):19--34.
[Weihl, 1983]
 
Show BibTeX entryVisit the webpage of the paper
William E. Weihl ( 1983).
Data-dependent concurrency control and recovery (Extended Abstract).
In: PODC '83: Proceedings of the second annual ACM symposium on Principles of distributed computing. pp. 63--75.
[Weihl and Liskov, 1983]
 
Show BibTeX entryVisit the webpage of the paper
William Weihl and Barbara Liskov (jun 1983).
Specification and implementation of resilient, atomic data types.
In: SIGPLAN '83: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems. pp. 53--64.
[Korth et al., 1990]
 
Show BibTeX entry
Henry F. Korth and Eliezer Levy and Abraham Silberschatz (aug 1990).
A Formal Approach to Recovery by Compensating Transactions.
In: VLDB~'90: Proc. 16th International Conference on Very Large Data Bases. pp. 95--106. Published by Morgan Kaufmann Publishers Inc..
[Massalin and Pu, 1991]
 
Show BibTeX entry
Henry Massalin and Calton Pu (May 1991).
A Lock-Free Multiprocessor Os Kernel.
(CUCS-005-91). Columbia University.
[Bershad, 1991]
 
Show BibTeX entry
Brian N. Bershad (Sep 1991).
Practical Considerations for Lock-Free Concurrent Objects.
(CMU-CS-91-183). Carnegie Mellon University.
[Banatre et al., 1991]
 
Show BibTeX entry
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entry
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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.
[Gray and Reuter, 1993]
 
Show BibTeX entry
Jim Gray and Andreas Reuter ( 1993).
Transaction Processing: Concepts and Techniques.
Morgan Kaufmann.
[Schoinas et al., 1994]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entry
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]
 
Show BibTeX entry
Theodore Johnson (Oct 1995).
Characterizing the Performance of Algorithms for Lock-Free Objects.
In: IEEE Transactions on Computers, 44(10):1194--1207.
[Valois, 1995]
 
Show BibTeX entry
John D. Valois ( 1995).
Lock-Free Data Structures.
PhD thesis, Rochester Institute of Technology.
[Michael and Scott, 1996]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entry
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entry
Mark Moir (Sep 1997).
Transparent Support for Wait-Free Transactions.
In: 11th International Workshop on Distributed Algorithms. pp. 305--319.
[Lowell and Chen, 1997]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entry
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entry
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..
[Gray, 2000]
 
Show BibTeX entry
Jim Gray (Mar 2000).
Nesting Transactions: Why and What Do We Need?
Turing Award Lecture.
[Harris et al., 2002]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entry
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Maurice Herlihy and Victor Luchangco and Mark Moir and III William N. Scherer (Jul 2003).
Software Transactional Memory for Dynamic-Sized Data Structures.
In: PODC~'03: Proc. 22nd ACM Symposium on Principles of Distributed Computing. pp. 92--101.
[Harris and Fraser, 2003]
 
Show BibTeX entryVisit the webpage of the paper
Tim Harris and Keir Fraser (Oct 2003).
Language Support for Lightweight Transactions.
In: Object-Oriented Programming, Systems, Languages, and Applications. pp. 388--402.
[Herlihy et al., 2003]
 
Show BibTeX entry
Maurice Herlihy and Victor Luchangco and Mark Moir ( 2003).
Obstruction-Free Synchronization: Double-Ended Queues as an Example.
In: ICDCS '03: Proceedings of the 23rd International Conference on Distributed Computing Systems. pp. 522.
[Fraser, 2003]
 
Show BibTeX entry
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Cole and Herlihy, 2004]
 
Show BibTeX entry
Christopher Cole and Maurice Herlihy (Jul 2004).
Snapshots and Software Transactional Memory.
In: Proceedings of the ACM PODC Workshop on Concurrency and Synchronization in Java Programs.
[Scherer III and Scott, 2004]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Lev and Moir, 2004]
 
Show BibTeX entryDownload Article (pdf-file)
Yossi Lev and Mark Moir ( 2004).
Fast read sharing mechanism for software transactional memory (poster).
In: PODC~'04: Proc. 23rd ACM Symposium on Principles of Distributed Computing.
[Shinnar et al., 2004]
 
Show BibTeX entry
Avraham Shinnar and David Tarditi and Mark Plesko and Bjarne Steensgaard (dec 2004).
Integrating support for undo with exception handling.
Technical Report Nr. MSR-TR-2004-140. Microsoft Research.
[Manson et al., 2005]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
Robert Ennals (Jan 2005).
Efficient Software Transactional Memory.
Technical Report Nr. IRC-TR-05-051. Intel Research Cambridge Tech Report.
[Jones et al., 2005]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
Mark Moir (Jul 2005).
Hybrid Transactional Memory.
Unpublished manuscript.
[Scherer III and Scott, 2005]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Cachopo and Rito-Silva, 2005]
 
Show BibTeX entryVisit the webpage of the paper
Joao Cachopo and Antonio Rito-Silva (oct 2005).
Versioned Boxes as the Basis for Memory Transactions.
In: OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL).
[Carlstrom et al., 2005]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entry
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.
[Luchangco and Marathe, 2005]
 
Show BibTeX entryVisit the webpage of the paper
Victor Luchangco and Virendra J. Marathe (oct 2005).
Transaction Synchronizers.
In: OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL).
[Scherer III et al., 2005]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Manson et al., 2005]
 
Show BibTeX entryVisit the webpage of the paper
Jeremy Manson and Jason Baker and Antonio Cunei and Suresh Jagannathan and Marek Prochazka and Bin Xin and Jan Vitek ( 2005).
Preemptible Atomic Regions for Real-time Java.
In: RTSS~'05: Proc. 26th IEEE Real-Time Systems Symposium. pp. 62-71.
[Jagannathan et al., 2005]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Suresh Jagannathan and Jan Vitek and Adam Welc and Antony Hosking ( 2005).
A transactional object calculus.
In: Sci. Comput. Program., 57(2):164--186.
[Goetz, 2006]
 
Show BibTeX entryDownload Article (pdf-file)
Brian Goetz (Jan 2006).
Optimistic Thread Concurrency.
Azul Systems Whitepaper.
[Ennals, 2006]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Moss, 2006]
 
Show BibTeX entryDownload Article (pdf-file)
J. Eliot B. Moss (Feb 2006).
Open Nested Transactions: Semantics and Support (poster).
In: Workshop on Memory Performance Issues.
[Carlstrom et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)
Brian D. Carlstrom and JaeWoong Chung and Christos Kozyrakis and Kunle Olukotun (Mar 2006).
The Software Stack for Transactional Memory: Challenges and Opportunities.
In: Proc. 1st Workshop on Software Tools for Multi-Core Systems.
[Manassiev et al., 2006]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Hudson et al., 2006]
 
Show BibTeX entryVisit the webpage of the paper
Richard L. Hudson and Bratin Saha and Ali-Reza Adl-Tabatabai and Benjamin C. Hertzberg (jun 2006).
McRT-Malloc: a scalable transactional memory allocator.
In: ISMM~'06: Proc. 5th International Symposium on Memory Management. pp. 74--83.
[Carlstrom et al., 2006]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Chung et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)
JaeWoong Chung and Chi Cao Minh and Brian D. Carlstrom and Christos Kozyrakis (Jun 2006).
Parallelizing SPECjbb2000 with Transactional Memory.
In: Proc. Workshop on Transactional Workloads.
[Dice and Shavit, 2006]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Harris and Peyton Jones, 2006]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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.
[Hicks et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entry
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Singh, 2006]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Skare and Kozyrakis, 2006]
 
Show BibTeX entryDownload Article (pdf-file)
Travis Skare and Christos Kozyrakis (Jun 2006).
Early Release: Friend or Foe?
In: Proc. Workshop on Transactional Workloads.
[Ziarek et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Lukasz Ziarek and Philip Schatz and Suresh Jagannathan (jul 2006).
Stabilizers: a modular checkpointing abstraction for concurrent functional programs.
In: ICFP~'06: Proc. 11th ACM SIGPLAN international conference on Functional programming. pp. 136--147.
[Welc et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Cachopo and Rito-Silva, 2006]
 
Show BibTeX entryVisit the webpage of the paper
Jo\~ao Cachopo and Ant\'onio Rito-Silva (jul 2006).
Combining software transactional memory with a domain modeling language to simplify web application development.
In: ICWE~'06: Proc. 6th international conference on Web engineering. pp. 297--304.
[Liblit, 2006]
 
Show BibTeX entryDownload Article (pdf-file)
Ben Liblit (aug 2006).
An Operational Semantics for LogTM.
Technical Report Nr. 1571. University of Wisconsin--Madison. Version 1.0.
[Dice et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Dave Dice and Ori Shalev and Nir Shavit (sep 2006).
Transactional Locking II.
In: DISC~'06: Proc. 20th International Symposium on Distributed Computing. pp. 194--208. Springer-Verlag Lecture Notes in Computer Science volume 4167.
[Riegel et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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.
[Johnson et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)
Troy A. Johnson and Sang-Ik Lee and Seung-Jai Min and Rudolf Eigenmann (Nov 2006).
Can Transactions Enhance Parallel Programs?
In: Proc. 19th International Workshop on Languages and Compilers for Parallel Computing.
[Carlstrom et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Brian D. Carlstrom and JaeWoong Chung and Hassan Chafi and Austen McDonald and Chi Cao Minh and Lance Hammond and Christos Kozyrakis and Kunle Olukotun (December 2006).
Executing Java programs with transactional memory.
In: Science of Computer Programming, 63(10):111--129.
[Adl-Tabatabai et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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.
[Saha et al., 2006]
 
Show BibTeX entryVisit the webpage of the paper
Bratin Saha and Ali-Reza Adl-Tabatabai and Quinn Jacobson ( 2006).
Architectural Support for Software Transactional Memory.
In: MICRO 39: Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture. pp. 185--196. Published by IEEE Computer Society.
[Damron et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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.
[Welc et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Adam Welc and Suresh Jagannathan and Antony L. Hosking ( 2006).
Revocation techniques for Java concurrency: Research Articles.
In: Concurr. Comput. : Pract. Exper., 18(12):1613--1656.
[Larus and Rajwar, 2006]
 
Show BibTeX entryVisit the webpage of the paper
James R. Larus and Ravi Rajwar ( 2006).
Transactional Memory.
Morgan & Claypool.
[Ying et al., 2006]
 
Show BibTeX entry
V. Ying and C. Wang and Y. Wu and X. Jiang ( 2006).
Dynamic Binary Translation and Optimization of Legacy Library Code in a STM Compilation Environment.
[Lam and Sulzmann, 2007]
 
Show BibTeX entryVisit the webpage of the paper
Edmund S. L. Lam and Martin Sulzmann (jan 2007).
A concurrent constraint handling rules implementation in Haskell with software transactional memory.
In: DAMP~'07: Proc. 2007 workshop on Declarative aspects of multicore programming. pp. 19--24.
[Ceze et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Dice and Shavit, 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Dave Dice and Nir Shavit (mar 2007).
Understanding Tradeoffs in Software Transactional Memory.
In: CGO~'07: Proceedings of the International Symposium on Code Generation and Optimization. pp. 21--33.
[Wang et al., 2007]
 
Show BibTeX entryVisit the webpage of the paper
Cheng Wang and Wei-Yu Chen and Youfeng Wu and Bratin Saha and Ali-Reza Adl-Tabatabai (mar 2007).
Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language.
In: CGO~'07: Proceedings of the International Symposium on Code Generation and Optimization. pp. 34--48.
[Carlstrom et al., 2007]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Ni et al., 2007]
 
Show BibTeX entryVisit the webpage of the paper
Yang Ni and Vijay S. Menon and Ali-Reza Adl-Tabatabai and Antony L. Hosking and Richard L. Hudson and J. Eliot B. Moss and Bratin Saha and Tatiana Shpeisman (mar 2007).
Open nesting in software transactional memory.
In: PPoPP~'07: Proc. 12th ACM SIGPLAN symposium on Principles and practice of parallel programming. pp. 68--78.
[Saha et al., 2007]
 
Show BibTeX entryVisit the webpage of the paper
Bratin Saha and Ali-Reza Adl-Tabatabai and Anwar Ghuloum and Mohan Rajagopalan and Richard L. Hudson and Leaf Petersen and Vijay Menon and Brian Murphy and Tatiana Shpeisman and Eric Sprangle and Anwar Rohillah and Doug Carmean and Jesse Fang (mar 2007).
Enabling scalability and performance in a large scale CMP environment.
In: EuroSys~'07: Proc. 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007. pp. 73--86.
[von Praun et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Christoph von Praun and Luis Ceze and Calin Ca\cscaval (mar 2007).
Implicit parallelism with ordered transactions.
In: PPoPP~'07: Proc. 12th ACM SIGPLAN symposium on Principles and practice of parallel programming. pp. 79--89.
[Guerraoui et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Sonmez et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)
Nehir Sonmez and Cristian Perfumo and Srdan Stipic and Osman Unsal and Adrian Cristal and Mateo Valero (apr 2007).
UnreadTVar: Extending Haskell Software Transactional Memory for Performance.
In: Symposium on Trends in Functional Programming.
[Fraser and Harris, 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Keir Fraser and Tim Harris (may 2007).
Concurrent programming without locks.
In: ACM Transactions on Computer Systems (TOCS), 25(2).
[Isard and Birrell, 2007]
 
Show BibTeX entryDownload Article (pdf-file)
Michael Isard and Andrew Birrell (may 2007).
Automatic Mutual Exclusion.
In: HotOS~'07: Proc. 11th Workshop on Hot Topics in Operating Systems.
[Shpeisman et al., 2007]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Kulkarni et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Milind Kulkarni and Keshav Pingali and Bruce Walter and Ganesh Ramanarayanan and Kavita Bala and L. Paul Chew (jun 2007).
Optimistic parallelism requires abstractions.
In: PLDI~'07: Proc. 2007 ACM SIGPLAN conference on Programming language design and implementation. pp. 211--222.
[Ding et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Chen Ding and Xipeng Shen and Kirk Kelsey and Chris Tice and Ruke Huang and Chengliang Zhang (jun 2007).
Software behavior oriented parallelization.
In: PLDI~'07: Proc. 2007 ACM SIGPLAN conference on Programming language design and implementation. pp. 223--234.
[Elmas et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Tayfun Elmas and Shaz Qadeer and Serdar Tasiran (jun 2007).
Goldilocks: a race and transaction-aware Java runtime.
In: PLDI~'07: Proc. 2007 ACM SIGPLAN conference on Programming language design and implementation. pp. 245--255.
[Zilles and Rajwar, 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Craig Zilles and Ravi Rajwar (jun 2007).
Transactional memory and the birthday paradox (brief announcement).
In: SPAA~'07: Proc. 19th Symposium on Parallel Algorithms and Architectures. pp. 303--304. A longer version is available as Technical Report UIUCDCS-R-2007-2835, March 2007.
[Cao Minh et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Renggli and Nierstrasz, 2007]
 
Show BibTeX entryVisit the webpage of the paper
Lukas Renggli and Oscar Nierstrasz (aug 2007).
Transactional memory for Smalltalk.
In: ICDL~'07: Proceedings of the 2007 international conference on Dynamic languages. pp. 207--221.
[Agrawal et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Kunal Agrawal and Jeremy T. Fineman and Jim Sukha (aug 2007).
Nested Parallelism in Transactional Memory.
In: TRANSACT~'07: 2nd Workshop on Transactional Computing. A later version appeared at PPoPP~08.
[Baugh and Zilles, 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Lee Baugh and Craig Zilles (aug 2007).
Analysis of I/O and Syscalls in Critical Sections and Their Implications for Transactional Memory.
In: TRANSACT~'07: 2nd Workshop on Transactional Computing.
[Dalessandro et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Moore and Grossman, 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Katherine F. Moore and Dan Grossman (aug 2007).
High-Level Small-Step Operational Semantics for Transactions.
In: TRANSACT~'07: 2nd Workshop on Transactional Computing.
[Felber et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Pascal Felber and Christof Fetzer and Torvald Riegel and Martin Susskraut and Heiko Sturzrehm (aug 2007).
Transactifying Applications Using an Open Compiler Framework.
In: TRANSACT~'07: 2nd Workshop on Transactional Computing.
[Harris and Stipic, 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Tim Harris and Srdjan Stipic (aug 2007).
Abstract Nested Transactions.
In: TRANSACT~'07: 2nd Workshop on Transactional Computing.
[Lev et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Yosef Lev and Mark Moir and Dan Nussbaum (aug 2007).
PhTM: Phased Transactional Memory.
In: TRANSACT~'07: 2nd Workshop on Transactional Computing.
[Perfumo et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Cristian Perfumo and Nehir Sonmez and Osman S. Unsal and Adri\'an Cristal and Mateo Valero and Tim Harris (aug 2007).
Dissecting Transactional Executions in Haskell.
In: TRANSACT~'07: 2nd Workshop on Transactional Computing.
[Scott et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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).
[Milovanovi\'c et al., 2007]
 
Show BibTeX entryVisit the webpage of the paper
Milo\vs Milovanovi\'c and Roger Ferrer and Vladimir Gajinov and Osman S. Unsal and Adri\'an Cristal and Eduard Ayguad\'e and Mateo Valero (sep 2007).
Multithreaded software transactional memory and OpenMP.
In: MEDEA~'07: Proc. 2007 workshop on MEmory performance. pp. 81--88.
[Zhang et al., 2007]
 
Show BibTeX entryVisit the webpage of the paper
Lingli Zhang and Chandra Krintz and Priya Nagpurkar (sep 2007).
Language and Virtual Machine Support for Efficient Fine-Grained Futures in Java.
In: PACT~'07: Proc. 16th International Conference on Parallel Architecture and Compilation Techniques. pp. 130--139.
[Halpert et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Richard L. Halpert and Christopher J. F. Pickett and Clark Verbrugge (sep 2007).
Component-Based Lock Allocation.
In: PACT~'07: Proc. 16th International Conference on Parallel Architecture and Compilation Techniques. pp. 353--364.
[Baek et al., 2007]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
Aaron Kimball and Dan Grossman (Sep 2007).
Software Transactions Meet First-Class Continuations.
In: The 8th Annual Workshop on Scheme and Functional Programming.
[Marathe et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Virendra J. Marathe and Michael F Spear and Michael L. Scott (sep 2007).
Transaction Safe Nonblocking Data Structures (brief announcement).
In: DISC~'07: Proc. 21st International Symposium on Distributed Computing. Springer-Verlag Lecture Notes in Computer Science volume 4731. Expanded version available as TR 924, University of Rochester Computer Science Dept., September 2007.
[Scott et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Zilles and Rajwar, 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Craig Zilles and Ravi Rajwar (Sep 2007).
Implications of false conflict rate trends for robust software transactional memory.
In: IISWC~'07: Proc. 2007 IEEE INTL Symposium on Workload Characterization.
[Smaragdakis et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Yannis Smaragdakis and Anthony Kay and Reimer Behrends and Michal Young (oct 2007).
Transactions with isolation and cooperation.
In: OOPSLA~'07: Proc. 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications. pp. 191--210.
[Grossman, 2007]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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.
[Ferri et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Cesare Ferri and Tali Moreshet and R. Iris Bahar and Luca Benini and Maurice Herlihy ( 2007).
A hardware/software framework for supporting transactional memory in a MPSoC environment.
In: SIGARCH Comput. Archit. News, 35(1):47--54.
[Sreeram et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)
Jaswanth Sreeram and Romain Cledat and Tushar Kumar and Santosh Pande ( 2007).
RSTM: A Relaxed Consistency Software Transactional Memory for Multicores.
In: PACT '07: Proceedings of the 16th International Conference on Parallel Architecture and Compilation Techniques. pp. 428. Published by IEEE Computer Society.
[Bai et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Tongxin Bai and Xipeng Shen and Chengliang Zhang and William N. Scherer III and Chen Ding and Michael L. Scott ( 2007).
A Key-based Adaptive Transactional Memory Executor.
In: IPDPS~'07: Proc. 21st International Parallel and Distributed Processing Symposium. Also available as TR 909, Department of Computer Science, University of Rochester, December 2006.
[Crowl et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
Yossi Lev and Mark Moir and Dan Nussbaum ( 2007).
PhTM: Phased Transactional Memory.
In: Workshop on Transactional Computing (TRANSACT).
[Tabba et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Navabi et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
Armand Navabi and Xiangyu Zhang and Suresh Jagannathan (feb 2008).
Quasi-static scheduling for safe futures.
In: PPoPP~'08: Proc. 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming. pp. 23--32.
[Agrawal et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Kunal Agrawal and Jeremy T. Fineman and Jim Sukha (feb 2008).
Nested parallelism in transactional memory.
In: PPoPP~'08: Proc. 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming. pp. 163--174. An earlier version appeared at TRANSACT~07.
[von Praun et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
Christoph von Praun and Rajesh Bordawekar and Calin Cascaval (feb 2008).
Modeling optimistic concurrency using quantitative dependence analysis.
In: PPoPP~'08: Proc. 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming. pp. 185--196.
[Herlihy and Koskinen, 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Maurice Herlihy and Eric Koskinen (feb 2008).
Transactional boosting: a methodology for highly-concurrent transactional objects.
In: PPoPP~'08: Proc. 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming. pp. 207--216.
[McGachey et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Phil McGachey and Ali-Reza Adl-Tabatabai and Richard L. Hudson and Vijay Menon and Bratin Saha and Tatiana Shpeisman (feb 2008).
Concurrent GC leveraging transactional memory.
In: PPoPP~'08: Proc. 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming. pp. 217--226.
[Marathe and Moir, 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Virendra J. Marathe and Mark Moir (feb 2008).
Toward high performance nonblocking software transactional memory.
In: PPoPP~'08: Proc. 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming. pp. 227--236.
[Felber et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Pascal Felber and Christof Fetzer and Torvald Riegel (feb 2008).
Dynamic performance tuning of word-based software transactional memory.
In: PPoPP~'08: Proc. 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming. pp. 237--246.
[Bocchino et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
Robert L. Bocchino and Vikram S. Adve and Bradford L. Chamberlain (feb 2008).
Software transactional memory for large scale clusters.
In: PPoPP~'08: Proc. 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming. pp. 247--258.
[Ansari et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Mohammad Ansari and Christos Kotselidis and Kim Jarvis and Mikel Lujan and Chris Kirkham and Ian Watson (feb 2008).
Experiences using adaptive concurrency in transactional memory with Lee's routing algorithm (poster).
In: PPoPP~'08: Proc. 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming. pp. 261--262.
[Aydonat and Abdelrahman, 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Utku Aydonat and Tarek Abdelrahman (feb 2008).
Serializability of Transactions in Software Transactional Memory.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.
[Chung et al., 2008]
 
Show BibTeX entry
JaeWoong Chung and Michael Dalton and Hari Kannan and Christos Kozyrakis (Feb 2008).
Thread-Safe Dynamic Binary Translation Using Transactional Memory.
In: Proceedings of the 18th International Symposium on High-Performance Computer Architecture.
[Herlihy and Koskinen, 2008]
 
Show BibTeX entry
Maurice Herlihy and Eric Koskinen (feb 2008).
Checkpoints and continuations instead of nested transactions.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.
[Herlihy and Koskinen, 2008]
 
Show BibTeX entry
Maurice Herlihy and Eric Koskinen (feb 2008).
Dreadlocks: Efficient Deadlock Detection for STM.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.
[Menon et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Riegel and Brum, 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Torvald Riegel and Diogo B. D. Brum (feb 2008).
Making Object-Based STM Practical in Unmanaged Environments.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.
[Spear et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Michael F. Spear and Maged Michael and Michael L. Scott (feb 2008).
Inevitability Mechanisms for Software Transactional Memory.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.
[Vallejo et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Enrique Vallejo and Tim Harris and Adri\'an Cristal and Osman S. Unsal and Mateo Valero (feb 2008).
Hybrid Transactional Memory to accelerate safe lock-based transactions.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.
[Volos et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Haris Volos and Neelam Goyal and Michael Swift (feb 2008).
Pathological Interaction of Locks with Transactional Memory.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.
[Carvalho et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
Nuno Carvalho and Jo\~ao Cachopo and Lu\'\is Rodrigues and Ant\'onio Rito Silva (mar 2008).
Versioned transactional shared memory for the F\'enixEDU web application.
In: SDDDM~'08: Proc. 2nd workshop on Dependable distributed data management. pp. 15--18.
[Liu et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
Yu David Liu and Xiaoqi Lu and Scott F. Smith (mar 2008).
Coqa: Concurrent Objects with Quantized Atomicity.
In: CC~'08: Proc. International Conference on Compiler Construction. pp. 260-275.
[Cunningham et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Dave Cunningham and Khilan Gudka and Susan Eisenbach (mar 2008).
Keep Off the Grass: Locking the Right Path for Atomicity.
In: CC~'08: Proc. International Conference on Compiler Construction. pp. 276--290.
[Wang et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
Cheng Wang and Victor Ying and Youfeng Wu (mar 2008).
Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization.
In: CC~'08: Proc. International Conference on Compiler Construction. pp. 291-306.
[Abadi et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Perfumo et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Cristian Perfumo and Nehir S\"onmez and Srdjan Stipic and Osman S. Unsal and Adri\'an Cristal and Tim Harris and Mateo Valero (may 2008).
The limits of software transactional memory (STM): dissecting Haskell STM applications on a many-core environment.
In: CF~'08: Proc. 5th conference on Computing frontiers. pp. 67--78.
[Luchangco, 2008]
 
Show BibTeX entryVisit the webpage of the paper
Victor Luchangco (jun 2008).
Against lock-based semantics for transactional memory (brief announcement).
In: SPAA~'08: proc. 20th Symposium on Parallelism in algorithms and architectures. pp. 98--100.
[Avni and Shavit, 2008]
 
Show BibTeX entryVisit the webpage of the paper
Hillel Avni and Nir Shavit (jun 2008).
Maintaining Consistent Transactional States Without a Global Clock.
In: SIROCCO~'08: Proc.15th International Colloquium on Structural Information and Communication Complexity. pp. 131--140. Springer-Verlag Lecture Notes in Computer Science volume 5058.
[Riegel et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Torvald Riegel and Christof Fetzer and Pascal Felber (jun 2008).
Automatic data partitioning in software transactional memories.
In: SPAA~'08: Proc. 20th Symposium on Parallelism in Algorithms and Architectures. pp. 152--159.
[Koskinen and Herlihy, 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Eric Koskinen and Maurice Herlihy (jun 2008).
Checkpoints and continuations instead of nested transactions.
In: SPAA~'08: Proc. twentieth annual symposium on Parallelism in algorithms and architectures. pp. 160--168.
[Yoo and Lee, 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Richard M. Yoo and Hsien-Hsin S. Lee (jun 2008).
Adaptive transaction scheduling for transactional memory systems.
In: SPAA~'08: Proc. twentieth annual symposium on Parallelism in algorithms and architectures. pp. 169--178.
[Ansari et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Mohammad Ansari and Christos Kotselidis and Kim Jarvis and Mikel Luj\'an and Chris Kirkham and Ian Watson (jun 2008).
Lee-TM: A Non-trivial Benchmark for Transactional Memory.
In: ICA3PP~'08: Proc. 7th International Conference on Algorithms and Architectures for Parallel Processing. pp. 196--207. Springer-Verlag Lecture Notes in Computer Science volume 5022.
[Kulkarni et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Milind Kulkarni and Patrick Carribault and Keshav Pingali and Ganesh Ramanarayanan and Bruce Walter and Kavita Bala and L. Paul Chew (jun 2008).
Scheduling strategies for optimistic parallel execution of irregular programs.
In: SPAA~'08: Proc. twentieth annual symposium on Parallelism in algorithms and architectures. pp. 217--228.
[Yoo et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Richard M. Yoo and Yang Ni and Adam Welc and Bratin Saha and Ali-Reza Adl-Tabatabai and Hsien-Hsin S. Lee (jun 2008).
Kicking the tires of software transactional memory: why the going gets tough.
In: SPAA~'08: Proc. twentieth annual symposium on Parallelism in algorithms and architectures. pp. 265--274.
[Spear et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Michael F. Spear and Maged M. Michael and Christoph von Praun (jun 2008).
RingSTM: scalable transactions with a single atomic instruction.
In: SPAA~'08: Proc. twentieth annual symposium on Parallelism in algorithms and architectures. pp. 275--284.
[Welc et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Adam Welc and Bratin Saha and Ali-Reza Adl-Tabatabai (jun 2008).
Irrevocable transactions and their applications.
In: SPAA~'08: Proc. twentieth annual symposium on Parallelism in algorithms and architectures. pp. 285--296.
[Koskinen and Herlihy, 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Eric Koskinen and Maurice Herlihy (jun 2008).
Dreadlocks: efficient deadlock detection.
In: SPAA~'08: Proc. twentieth annual symposium on Parallelism in algorithms and architectures. pp. 297--303.
[Guerraoui and Kapa\lka, 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Rachid Guerraoui and Micha\l Kapa\lka (jun 2008).
On obstruction-free transactions.
In: SPAA~'08: Proc. twentieth annual symposium on Parallelism in algorithms and architectures. pp. 304--313.
[Cherem et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Sigmund Cherem and Trishul Chilimbi and Sumit Gulwani (jun 2008).
Inferring locks for atomic sections.
In: PLDI~'08: Proc. 2008 ACM SIGPLAN conference on Programming language design and implementation. pp. 304--315.
[Menon et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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.
[Zhang et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
Rui Zhang and Zoran Budimli\'c and William N. Scherer III (jun 2008).
Commit phase in timestamp-based STM.
In: SPAA~'08: Proc. twentieth annual symposium on Parallelism in algorithms and architectures. pp. 326--335.
[Carlstrom, 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Brian David Carlstrom (Jun 2008).
Programming with Transactional Memory.
PhD thesis, Stanford University.
[Ziarek et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Lukasz Ziarek and Adam Welc and Ali-Reza Adl-Tabatabai and Vijay Menon and Tatiana Shpeisman and Suresh Jagannathan (jul 2008).
A Uniform Transactional Execution Environment for Java.
In: ECOOP~'08: Proc. 22nd European Conference on Object-Oriented Programming. pp. 129--154. Springer-Verlag Lecture Notes in Computer Science volume 5142.
[Gottschlich et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Justin E. Gottschlich and Jeremy G. Siek and Daniel A. Connors (jul 2008).
C++ Move Semantics for Exception Safety and Optimization in Software Transactional Memory Libraries.
In: Proceedings of the Third International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS). In conjunction with ECOOP..
[Abadi et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Martin Abadi and Tim Harris and Katherine Moore (aug 2008).
A Model of Dynamic Separation for Transactional Memory.
In: CONCUR~'08: Proc. 19th Conference on Concurrency Theory. pp. 6--20.
[Harris et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
Tim Harris and Simon Marlow and Simon Peyton Jones and Maurice Herlihy (aug 2008).
Composable memory transactions.
In: Communications of the ACM, 51(8):91--100. An earlier version appeared at PPoPP~'06.
[Spear et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Michael F. Spear and Andrew Sveikauskas and Michael L. Scott (aug 2008).
Transactional memory retry mechanisms (brief announcement).
In: PODC~'08: Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing. pp. 453--453. Expanded version available as TR 935, University of Rochester Computer Science Dept., June 2008.
[Ansari et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Mohammad Ansari and Christos Kotselidis and Kim Jarvis and Mikel Luj\'an and Chris Kirkham and Ian Watson (aug 2008).
Advanced Concurrency Control for Transactional Memory using Transaction Commit Rate.
In: EUROPAR~'08: Proc. 14th European Conference on Parallel Processing. pp. 719--728. Springer-Verlag Lecture Notes in Computer Science volume 5168.
[Dolev et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
Shlomi Dolev and Danny Hendler and Adi Suissa (August 2008).
CAR-STM: scheduling-based collision avoidance and resolution for software transactional memory.
In: Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing (PODC). pp. 125--134.
[Hill, 2008]
 
Show BibTeX entry
Mark D. Hill (Aug 2008).
Is Transactional Memory an Oxymoron?
VLDB Keynote Address.
[Drepper, 2008]
 
Show BibTeX entryVisit the webpage of the paper
Ulrich Drepper (sep 2008).
Parallel Programming with Transactional Memory.
In: Queue, 6(5):38--45.
[Moir, 2008]
 
Show BibTeX entryVisit the webpage of the paper
Mark Moir (sep 2008).
Technical perspective: transactional memory in the operating system.
In: Communications of the ACM, 51(9):82--82.
[Rossbach et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
Christopher J. Rossbach and Hany E. Ramadan and Owen S. Hofmann and Donald E. Porter and Aditya Bhandari and Emmett Witchel (sep 2008).
TxLinux and MetaTM: transactional memory and the operating system.
In: Communications of the ACM, 51(9):83--91. Earlier versions of this work appeared at ISCA~'07 and SOSP~'07.
[Effinger-Dean et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Laura Effinger-Dean and Matthew Kehrt and Dan Grossman (sep 2008).
Transactional events for ML.
In: ICFP~'08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming. pp. 103--114.
[Schneider et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Florian T. Schneider and Vijay Menon and Tatiana Shpeisman and Ali-Reza Adl-Tabatabai (sep 2008).
Dynamic optimization for efficient strong atomicity.
In: OOPSLA~'08: Proc. 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications. pp. 181--194.
[Ni et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Yang Ni and Adam Welc and Ali-Reza Adl-Tabatabai and Moshe Bach and Sion Berkowits and James Cownie and Robert Geva and Sergey Kozhukow and Ravi Narayanaswamy and Jeffrey Olivier and Serguei Preis and Bratin Saha and Ady Tal and Xinmin Tian (sep 2008).
Design and implementation of transactional constructs for C/C++.
In: OOPSLA~'08: Proc. 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications. pp. 195--212.
[Beckman et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Nels E. Beckman and Kevin Bierhoff and Jonathan Aldrich (sep 2008).
Verifying correct usage of atomic blocks and typestate.
In: OOPSLA~'08: Proc. 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications. pp. 227--244.
[Guerraoui et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Rachid Guerraoui and Thomas Henzinger and Vasu Singh (sep 2008).
Permissiveness in Transactional Memories.
In: DISC~'08: Proc. 22nd International Symposium on Distributed Computing. pp. 305--319. Springer-Verlag Lecture Notes in Computer Science volume 5218.
[Marathe et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Virendra J. Marathe and Michael F. Spear and Michael L. Scott (sep 2008).
Scalable Techniques for Transparent Privatization in Software Transactional Memory.
In: ICPP~'08: Proc. 37th International Conference on Parallel Processing.
[Romano et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Paolo Romano and Nuno Carvalho and Lu\'\is Rodrigues (sep 2008).
Towards distributed software transactional memory systems.
In: LADIS~'08: Proc. 2nd Workshop on Large-Scale Distributed Systems and Middleware.
[Spear et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Michael F. Spear and Michael Silverman and Luke Dalessandro and Maged M. Michael and Michael L. Scott (sep 2008).
Implementing and Exploiting Inevitability in Software Transactional Memory.
In: ICPP~'08: Proc. 37th International Conference on Parallel Processing.
[Zyulkyarov et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
Ferad Zyulkyarov and Adri\'an Cristal and Sanja Cvijic and Eduard Ayguad\'e and Mateo Valero and Osman S. Unsal and Tim Harris (oct 2008).
WormBench: a configurable workload for evaluating transactional memory systems.
In: MEDEA~'08: Proc. 9th workshop on MEmory performance. pp. 61--68.
[Birgisson et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Arnar Birgisson and Mohan Dhawan and \'Ulfar Erlingsson and Vinod Ganapathy and Liviu Iftode (October 2008).
Enforcing Authorization Policies using Transactional Memory Introspection.
In: CCS'08: Proceedings of the 15th ACM Conference on Computer and Communications Security. pp. 223--234. ACM, New York, NY, USA.
[Cascaval et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Calin Cascaval and Colin Blundell and Maged Michael and Harold W. Cain and Peng Wu and Stefanie Chiras and Siddhartha Chatterjee (nov 2008).
Software transactional memory: why is it only a research toy?
In: Communications of the ACM, 51(11):40--46.
[Gramoli et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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.
[Larus and Kozyrakis, 2008]
 
Show BibTeX entryVisit the webpage of the paper
James Larus and Christos Kozyrakis (Dec 2008).
Transactional Memory.
In: Communications of the ACM, 51(7):80--88.
[Spear et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Michael F. Spear and Luke Dalessandro and Virendra Marathe and Michael L. Scott (dec 2008).
Ordering-Based Semantics for Software Transactional Memory.
In: OPODIS~'08: Proc. 12th International Conference on Principles of Distributed Systems. Springer-Verlag Lecture Notes in Computer Science volume 5401.
[Carvalho et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
Nuno Carvalho and Joao Cachopo and Luis Rodrigues and Antonio Rito Silva ( 2008).
Versioned transactional shared memory for the FenixEDU web application.
In: Proceedings of the 2nd workshop on Dependable distributed data management. SDDDM '08. New York, NY, USA, pp. 15--18. Published by ACM.
[Lev and Maessen, 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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).
[Herlihy and Shavit, 2008]
 
Show BibTeX entry
Maurice Herlihy and Nir Shavit ( 2008).
The art of multiprocessor programming.
Morgan Kaufmann.
[Kotselidis et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Christos Kotselidis and Mohammad Ansari and Kim Jarvis and Mikel Luj\'an and Chris C. Kirkham and Ian Watson ( 2008).
Investigating software Transactional Memory on clusters.
In: IPDPS~'08: Proc. 22nd International Parallel and Distributed Processing Symposium.
[Guerraoui et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh ( 2008).
Permissiveness in Transactional Memories.
In: DISC. Published by Springer.
[Ansari et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Mohammad Ansari and Mikel Luj\'an and Christos Kotselidis and Kim Jarvis and Chris Kirkham and Ian Watson (jan 2009).
Steal-on-abort: Improving Transactional Memory Performance through Dynamic Transaction Reordering.
In: HIPEAC~'09: Proc. 4th International Conference on High Performance and Embedded Architectures and Compilers. pp. 4--18. Springer-Verlag Lecture Notes in Computer Science volume 5409.
[Bronson et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Nathan G. Bronson and Christos Kozyrakis and Kunle Olukotun (jan 2009).
Feedback-directed barrier optimization in a strongly isolated STM.
In: POPL~'09: Proc. 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 213--225.
[Dash and Demsky, 2009]
 
Show BibTeX entryVisit the webpage of the paper
Alokika Dash and Brian Demsky (jan 2009).
Software transactional distributed shared memory (poster).
In: PPoPP~'09: Proc. 14th ACM SIGPLAN Symposium on Principles and practice of parallel programming. pp. 297--298.
[Ansari et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Mohammad Ansari and Christos Kotselidis and Mikel Luj\'an and Chris Kirkham and Ian Watson (jan 2009).
Investigating Contention Management for Complex Transactional Memory Benchmarks.
In: MULTIPROG~'09: Proc. 2nd Workshop on Programmability Issues for Multi-Core Computers.
[Ansari et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Mohammad Ansari and Kim Jarvis and Christos Kotselidis and Mikel Luj\'an and Chris Kirkham and Ian Watson (feb 2009).
Profiling Transactional Memory Applications.
In: PDP~'09: Proc. 17th Euromicro International Conference on Parallel, Distributed, and Network-based Processing. pp. 11--20.
[Kang and Bader, 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Seunghwa Kang and David A. Bader (feb 2009).
An efficient transactional memory algorithm for computing minimum spanning forest of sparse graphs.
In: PPoPP~'09: Proc. 14th ACM SIGPLAN symposium on Principles and practice of parallel programming. pp. 15--24.
[Zyulkyarov et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Ferad Zyulkyarov and Vladimir Gajinov and Osman S. Unsal and Adri\'an Cristal and Eduard Ayguad\'e and Tim Harris and Mateo Valero (feb 2009).
Atomic Quake: using transactional memory in an interactive multiplayer game server.
In: PPoPP~'09: Proc. 14th ACM SIGPLAN symposium on Principles and practice of parallel programming. pp. 25--34.
[Spear et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Michael F. Spear and Luke Dalessandro and Virendra J. Marathe and Michael L. Scott (feb 2009).
A comprehensive strategy for contention management in software transactional memory.
In: PPoPP~'09: Proc. 14th ACM SIGPLAN symposium on Principles and practice of parallel programming. pp. 141--150.
[Agrawal et al., 2009]
 
Show BibTeX entryVisit the webpage of the paper
Kunal Agrawal and I-Ting Angelina Lee and Jim Sukha (feb 2009).
Safe open-nested transactions through ownership.
In: PPoPP~'09: Proc. 14th ACM SIGPLAN symposium on Principles and practice of parallel programming. pp. 151--162.
[Ramadan et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Hany E. Ramadan and Indrajit Roy and Maurice Herlihy and Emmett Witchel (feb 2009).
Committing conflicting transactions in an STM.
In: PPoPP~'09: Proc. 14th ACM SIGPLAN symposium on Principles and practice of parallel programming. pp. 163--172.
[Ratanaworabhan et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Paruj Ratanaworabhan and Martin Burtscher and Darko Kirovski and Benjamin Zorn and Rahul Nagpal and Karthik Pattabiraman (feb 2009).
Detecting and tolerating asymmetric races.
In: PPoPP~'09: Proc. 14th ACM SIGPLAN symposium on Principles and practice of parallel programming. pp. 173--184.
[Abadi et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Martin Abadi and Tim Harris and Mojtaba Mehrara (feb 2009).
Transactional memory with strong atomicity using off-the-shelf memory protection hardware.
In: PPoPP~'09: Proc. 14th ACM SIGPLAN symposium on Principles and practice of parallel programming. pp. 185--196.
[Attiya et al., 2009]
 
Show BibTeX entry
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]
 
Show BibTeX entryDownload Article (pdf-file)
Luke Dalessandro and Michael L. Scott (feb 2009).
Strong Isolation is a Weak Idea.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Detlefs and Zhang, 2009]
 
Show BibTeX entryDownload Article (pdf-file)
David Detlefs and Lingli Zhang (feb 2009).
Transacting Pointer-based Accesses in an Object-based Software Transactional Memory System.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Dice and Shavit, 2009]
 
Show BibTeX entryDownload Article (pdf-file)
David Dice and Nir Shavit (feb 2009).
TLRW: Return of the Read-Write Lock.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Dudnik and Swift, 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Polina Dudnik and Michael Swift (feb 2009).
Condition Variables and Transactional Memory: Problem or Opportunity?
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Kestor et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Gokcen Kestor and Srdjan Stipic and Osman S. Unsal and Adri\'an Cristal and Mateo Valero (feb 2009).
RMS-TM: A Transactional Memory Benchmark for Recognition, Mining and Synthesis Applications.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Koskinen and Herlihy, 2009]
 
Show BibTeX entry
Eric Koskinen and Maurice Herlihy (feb 2009).
Concurrent Non-commutative Boosted Transactions.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Lev et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Yossi Lev and Victor Luchangco and Virendra Marathe and Mark Moir and Dan Nussbaum and Marek Olszewski (feb 2009).
Anatomy of a Scalable Software Transactional Memory.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Pant and Byrd, 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Salil Pant and Greg Byrd (feb 2009).
A Case for using Value Prediction to improve performance of transactional memory.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Ramadan and Witchel, 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Hany Ramadan and Emmett Witchel (feb 2009).
The Xfork in the Road to Coordinated Sibling Transactions.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Spear et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Michael F. Spear and Arrvindh Shriraman and Luke Dalessandro and Michael Scott (feb 2009).
Transactional Mutex Locks.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Tabba et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Fuad Tabba and Andrew W. Hay and James R. Goodman (feb 2009).
Transactional Value Prediction.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Usui et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Takayuki Usui and Yannis Smaragdakis and Reimer Behrends (feb 2009).
Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Spear et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Michael F. Spear and Maged M. Michael and Michael L. Scott and Peng Wu (mar 2009).
Reducing Memory Ordering Overheads in Software Transactional Memory.
In: CGO~'09: Proceedings of the 2009 International Symposium on Code Generation and Optimization. pp. 13--24.
[Abadi et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Martin Abadi and Andrew Birrell and Tim Harris and Johnson Hsieh and Michael Isard (mar 2009).
Implementation and Use of Transactional Memory with Dynamic Separation.
In: CC~'09: Proc. International Conference on Compiler Construction. pp. 63--77.
[Fahmy et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Sherif F. Fahmy and Binoy Ravindran and E. D. Jensen (mar 2009).
Response time analysis of software transactional memory-based distributed real-time systems.
In: SAC~'09: Proc. 2009 ACM symposium on Applied Computing. pp. 334--338.
[Adl-Tabatabai et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Ali-Reza Adl-Tabatabai and Victor Luchangco and Virendra J. Marathe and Mark Moir and Ravi Narayanaswamy and Yang Ni and Dan Nussbaum and Xinmin Tian and Adam Welc and Peng Wu (mar 2009).
Exceptions and Transactions in C++.
In: HotPar~'09: Proc. 1st Workshop on Hot Topics in Parallelism.
[Baldassin and Burckhardt, 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Alexandro Baldassin and Sebastian Burckhardt (mar 2009).
Lightweight Software Transactions for Games.
In: HotPar~'09: Proc. 1st Workshop on Hot Topics in Parallelism.
[Boehm, 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Hans-J. Boehm (mar 2009).
Transactional Memory Should Be an Implementation Technique, Not a Programming Interface.
In: HotPar~'09: Proc. 1st Workshop on Hot Topics in Parallelism.
[Heindl and Pokam, 2009]
 
Show BibTeX entryVisit the webpage of the paper
Armin Heindl and Gilles Pokam (March 2009).
Modeling Software Transactional Memory with AnyLogic.
In: SimuTools. pp. 10.
[Roy et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Amitabha Roy and Steven Hand and Tim Harris (mar 2009).
Exploring the Limits of Disjoint Access Parallelism.
In: HotPar~'09: Proc. 1st Workshop on Hot Topics in Parallelism.
[Shriraman et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Arrvindh Shriraman and Sandhya Dwarkadas and Michael L. Scott (apr 2009).
Tapping into Parallelism with Transactional Memory.
In: The USENIX Magazine, 34(2):12--23.
[Volos et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Haris Volos and Andres Jaan Tack and Neelam Goyal and Michael M. Swift and Adam Welc (apr 2009).
xCalls: safe I/O in memory transactions.
In: EuroSys~'09: Proc. 4th ACM European Conference on Computer Systems. pp. 247--260.
[Roy et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Amitabha Roy and Steven Hand and Tim Harris (apr 2009).
A runtime system for software lock elision.
In: EuroSys~'09: Proc. 4th ACM European Conference on Computer Systems. pp. 261--274.
[Anastopoulos et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Nikos Anastopoulos and Konstantinos Nikas and Georgios Goumas and Nectarios Koziris (may 2009).
Early experiences on accelerating Dijkstra's algorithm using transactional memory.
In: MTAAP~'09: Proc 3rd Workshop on Multithreaded Architectures and Applications.
[Korland et al., 2009]
 
Show BibTeX entry
Guy Korland and Nir Shavit and Pascal Felber (may 2009).
Noninvasive Java Concurrency with Deuce STM (poster).
In: SYSTOR~'09: The Israeli Experimental Systems Conference. Further details at \urlhttp://www.deucestm.org/.
[Porter and Witchel, 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Donald E. Porter and Emmett Witchel (may 2009).
Operating Systems Should Provide Transactions.
In: HotOS~'09: Proc. 12th Workshop on Hot Topics in Operating Systems.
[Sonmez et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Nehir Sonmez and Tim Harris and Adri\'an Cristal and Osman S. Unsal and Mateo Valero (may 2009).
Taking the heat off transactions: Dynamic selection of pessimistic concurrency control.
In: IPDPS~'09: Proc. 23rd International Parallel and Distributed Processing Symposium.
[Sturzrehm et al., 2009]
 
Show BibTeX entry
Heiko Sturzrehm and Pascal Felber and Christof Fetzer (may 2009).
TM-Stream: An STM framework for distributed event stream processing.
In: IWJacPDC~'09: Proc. 11th International Workshop on Java and Components for Parallelism.
[Birgisson and Erlingsson, 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Arnar Birgisson and \'Ulfar Erlingsson (jun 2009).
An implementation and semantics for transactional memory introspection in Haskell.
In: PLAS~'09: Proc. 4th Workshop on Programming Languages and Analysis for Security. pp. 87--99.
[Mankin et al., 2009]
 
Show BibTeX entryVisit the webpage of the paper
Jennifer Mankin and David Kaeli and John Ardini (jun 2009).
Software transactional memory for multicore embedded systems.
In: LCTES~'09: Proc. 2009 conference on Languages, compilers, and tools for embedded systems. pp. 90--98.
[Gajinov et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Vladimir Gajinov and Ferad Zyulkyarov and Osman S. Unsal and Adri\'an Cristal and Eduard Ayguad\'e and Tim Harris and Mateo Valero (jun 2009).
QuakeTM: parallelizing a complex sequential application using transactional memory.
In: ICS~'09: Proc. 23rd international conference on Supercomputing. pp. 126--135.
[Dragojevi\'c et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Aleksandar Dragojevi\'c and Rachid Guerraoui and Micha\l Kapa\lka (jun 2009).
Stretching transactional memory.
In: PLDI~'09: Proc. 2009 ACM SIGPLAN conference on Programming language design and implementation. pp. 155--165.
[Mehrara et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Mojtaba Mehrara and Jeff Hao and Po-Chun Hsu and Scott Mahlke (jun 2009).
Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory.
In: PLDI~'09: Proc. 2009 ACM SIGPLAN conference on Programming language design and implementation. pp. 166--176.
[He and Hong, 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Zhengyu He and Bo Hong (jun 2009).
On the Performance of Commit-Time-Locking Based Software Transactional Memory.
In: HPCC~'09: Proc. 11th Conference on High Performance Computing and Communications.
[Heindl and Pokam, 2009]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Rossbach et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Christopher Rossbach and Owen Hofmann and Emmett Witchel (jun 2009).
Is Transactional Memory Programming Actually Easier?
In: WDDD~'09: Proc. 8th Workshop on Duplicating, Deconstructing, and Debunking.
[Volos et al., 2009]
 
Show BibTeX entryVisit the webpage of the paper
Haris Volos and Adam Welc and Ali-Reza Adl-Tabatabai and Tatiana Shpeisman and Xinmin Tian and Ravi Narayanaswamy (jun 2009).
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems.
In: ECOOP~'09: Proc. 23rd European Conference on Object-Oriented Programming. Springer-Verlag Lecture Notes in Computer Science volume 5653.
[Gottschlich et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Justin E. Gottschlich and Jeremy G. Siek and Manish Vachharajani and Dwight Y. Winkler and Daniel A. Connors (jul 2009).
An efficient lock-aware transactional memory implementation.
In: ICOOOLPS~'09: Proc. 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems. pp. 10--17.
[Boehm, 2009]
 
Show BibTeX entry
Hans-J. Boehm (jul 2009).
Threads basics.
An online introduction to shared-memory programming. \urlhttp://www.hpl.hp.com/personal/Hans_Boehm/c++mm/threadsintro.html.
[Louren\c co et al., 2009]
 
Show BibTeX entry
Jo\~ ao. Louren\c co and Ricardo Dias and Jo\~ao Lu\' \is (jul 2009).
Understanding the Behavior of Transactional Memory Applications.
In: PADTAD~'09: Proc. 2009 ACM workshop on Parallel and distributed systems: testing and debugging.
[Ziarek et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Lukasz Ziarek and KC Sivaramakrishnan and Suresh Jagannathan (aug 2009).
Partial memoization of concurrency and communication.
In: ICFP~'09: Proc. 14th ACM SIGPLAN international conference on Functional programming. pp. 161--172.
[Attiya et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Hagit Attiya and Eshcar Hillel and Alessia Milani (aug 2009).
Inherent Limitations on Disjoint-Access Parallel Implementations of Transactional Memory.
In: SPAA~'09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures. An earlier version appeared at TRANSACT~'09.
[Dias and Louren\c co, 2009]
 
Show BibTeX entry
Ricardo J. Dias and Jo\~ao M. Louren\c co (aug 2009).
Unifying Memory and Database Transactions.
In: EUROPAR~'09: Proc. 15th European Conference on Parallel Processing.
[Dragojevi\'c et al., 2009]
 
Show BibTeX entry
Aleksandar Dragojevi\'c and Yang Ni and Ali-Reza Adl-Tabatabai (aug 2009).
Optimizing Transactions for Captured Memory.
In: SPAA~'09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures.
[Dragojevi\'c et al., 2009]
 
Show BibTeX entry
Aleksandar Dragojevi\'c and Rachid Guerraoui and Anmol V. Singh and Vasu Singh (aug 2009).
Preventing versus Curing: Avoiding Conflicts in Transactional Memories.
In: PODC~'09: Proc. 28th ACM Symposium on Principles of Distributed Computing.
[Eidenbenz and Wattenhofer, 2009]
 
Show BibTeX entry
Raphael Eidenbenz and Roger Wattenhofer (aug 2009).
Good Programming in Transactional Memory: Game Theory Meets Multicore Architecture (brief announcement).
In: SPAA~'09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures.
[Koskinen and Herlihy, 2009]
 
Show BibTeX entry
Eric Koskinen and Maurice Herlihy (aug 2009).
Concurrent Non-commutative Boosted Transactions (brief announcement).
In: PODC~'09: Proc. 28th ACM Symposium on Principles of Distributed Computing.
[Lev et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Yossi Lev and Victor Luchangco and Marek Olszewski (aug 2009).
Scalable Reader-Writer Locks.
In: SPAA~'09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures.
[Mizuno et al., 2009]
 
Show BibTeX entry
Ken Mizuno and Takuya Nakaike and Toshio Nakatani (aug 2009).
Reducing Rollbacks of Transactional Memory Using Ordered Shared Locks.
In: EUROPAR~'09: Proc. 15th European Conference on Parallel Processing.
[Oancea et al., 2009]
 
Show BibTeX entry
Cosmin E. Oancea and Alan Mycroft and Tim Harris (aug 2009).
A Lightweight In-Place Implementation for Software Thread-Level Speculation.
In: SPAA~'09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures.
[Perelman and Keidar, 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Dmitri Perelman and Idit Keidar (aug 2009).
On Avoiding Spare Aborts in Transactional Memory.
In: SPAA~'09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures.
[Shpeisman et al., 2009]
 
Show BibTeX entry
Tatiana Shpeisman and Ali-Reza Adl-Tabatabai and Robert Geva and Yang Ni and Adam Welc (aug 2009).
Towards Transactional Memory Semantics for C++.
In: SPAA~'09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures.
[Tabba et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Fuad Tabba and Mark Moir and James R. Goodman and Andrew Hay and Cong Wang (aug 2009).
NZTM: Nonblocking Zero-indirection Transactional Memory.
In: SPAA~'09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures.
[Felber et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
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.
[Abadi and Harris, 2009]
 
Show BibTeX entry
Martin Abadi and Tim Harris (sep 2009).
Perspectives on Transactional Memory (invited paper).
In: CONCUR~'09: Proc. 20th Conference on Concurrency Theory.
[Afek et al., 2009]
 
Show BibTeX entry
Yehuda Afek and Nir Shavit and Moran Tzafrir (sep 2009).
Interrupting Snapshots and the Java Size() Method.
In: DISC~'09: Proc. 23rd International Symposium on Distributed Computing.
[Attiya and Milani, 2009]
 
Show BibTeX entry
Hagit Attiya and Alessia Milani (sep 2009).
Transactional Scheduling for Read-Dominated Workloads (brief announcement).
In: DISC~'09: Proc. 23rd International Symposium on Distributed Computing.
[Bobba et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Jayaram Bobba and Weiwei Xiong and Luke Yen and Mark D. Hill and David A. Wood (Sep 2009).
StealthTest: Low Overhead Online Software Testing using Transactional Memory.
In: Proceedings of the 18th International Conference on Parallel Architectures and Compilation Techniques (PACT).
[Felber et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Pascal Felber and Vincent Gramoli and Rachid Guerraoui (sep 2009).
Elastic Transactions.
In: DISC~'09: Proc. 23rd International Symposium on Distributed Computing.
[Herlihy and Lev, 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Maurice Herlihy and Yossi Lev (sep 2009).
tm db: A Generic Debugging Library for Transactional Programs.
In: PACT~'09: Proc. 18th International Conference on Parallel Architectures and Compilation Techniques.
[Nikas et al., 2009]
 
Show BibTeX entry
Konstantinos Nikas and Nikos Anastopoulos and Georgios Goumas and Nektarios Koziris (sep 2009).
Employing Transactional Memory and Helper Threads to Speedup Dijkstra's Algorithm.
In: ICPP~'09: Proc. 38th International Conference on Parallel Processing.
[Pankratius et al., 2009]
 
Show BibTeX entry
Victor Pankratius and Ali-Reza Adl-Tabatabai and Frank Otto (sep 2009).
Does Transactional Memory Keep Its Promises? Results from an Empirical Studynumber = 2009-12.
Technical Report. IPD, University of Karlsruhe, Germany.
[Usui et al., 2009]
 
Show BibTeX entry
Takayuki Usui and Yannis Smaragdakis and Reimer Behrends (sep 2009).
Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency.
In: PACT~'09: Proc. 18th International Conference on Parallel Architectures and Compilation Techniques.
[Berger et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Emery D. Berger and Ting Yang and Tongping Liu and Gene Novark (oct 2009).
Grace: Safe Multithreaded Programming for C/C++.
In: OOPSLA~'09: Porc. 24th ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications.
[Porter et al., 2009]
 
Show BibTeX entry
Donald E. Porter and Owen S. Hofmann and Christopher J. Rossbach and Alexander Benn and Emmett Witchel (oct 2009).
Operating Systems Transactions.
In: SOSP '09: Proc. 23rd ACM SIGOPS Symposium on Operating Systems Principles.
[Couceiro et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
M. Couceiro and P. Romano and N. Carvalho and L. Rodrigues (nov 2009).
D2STM: Dependable Distributed Software Transactional Memory.
In: PRDC~'09: Proc. 15th Pacific Rim International Symposium on Dependable Computing.
[Sridharan et al., 2009]
 
Show BibTeX entryVisit the webpage of the paper
S. Sridharan and J. S. Vetter and P. M. Kogge (nov 2009).
Scalable Software Transactional Memory for Global Address Space Architectures.
Technical Report Nr. FTGTR-2009-04. Future Technologies Group, Oak Ridge National Lab.
[Ahn et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Wonsun Ahn and Shanxiang Qi and Jae-Woo Lee and Marios Nicolaides and Xing Fang and Josep Torrellas and David Wong and Samuel Midkiff (Dec 2009).
BulkCompiler: High-Performance Sequential Consistency through Cooperative Compiler and Hardware Support.
In: Proceedings of the 42nd International Symposium on Microarchitecture.
[Wu et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Peng Wu and Maged M. Michael and Christoph von Praun and Takuya Nakaike and Rajesh Bordawekar and Harold W. Cain and Calin Cascaval and Siddhartha Chatterjee and Stefanie Chiras and Rui Hou and Mark F. Mergen and Xiaowei Shen and Michael F. Spear and Huayong Wang and Kun Wang ( 2009).
Compiler and runtime techniques for software transactional memory optimization.
In: Concurrency and Computation: Practice and Experience, 21(1):7-23.
[Romano et al., 2009]
 
Show BibTeX entryVisit the webpage of the paper
Paolo Romano and Nuno Carvalho and Maria Couceiro and Luis Rodrigues and Joao Cachopo ( 2009).
Towards the Integration of Distributed Transactional Memories in Application Servers Clusters.
In: (ed.), Quality of Service in Heterogeneous Networks. Volume 22 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. pp. 755-769. Springer Berlin Heidelberg. (Invited paper).
[Heindl et al., 2009]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Dalessandro et al., 2010]
 
Show BibTeX entryDownload Article (pdf-file)
Luke Dalessandro and Michael F. Spear and Michael L. Scott (jan 2010).
NOrec: Streamlining STM by Abolishing Ownership Records.
In: PPoPP~'10: Proc. 15th ACM Symp. on Principles and Practice of Parallel Programming.
[Koskinen et al., 2010]
 
Show BibTeX entry
Eric Koskinen and Matthew Parkinson and Maurice Herlihy (jan 2010).
Coarse-Grained Transactions.
In: POPL~'10: Proc. 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
[Harmanci et al., 2010]
 
Show BibTeX entry
Derin Harmanci and Vincent Gramoli and Pascal Felber and Christof Fetzer (March 2010).
Extensible Transactional Memory Testbed.
In: Journal of Parallel and Distributed Computing - Special Issue on Transactional Memory (JPDC), 70(2010):1053--1067.
[Palmieri et al., 2010]
 
Show BibTeX entryVisit the webpage of the paper
Roberto Palmieri and Francesco Quaglia and Paolo Romano and Nuno Carvalho (april 2010).
Evaluating database-oriented replication schemes in Software Transactional Memory systems.
In: Parallel Distributed Processing, Workshops and Phd Forum (IPDPSW), 2010 IEEE International Symposium on. Volume . pp. 1 -8.
[Romano et al., 2010]
 
Show BibTeX entryVisit the webpage of the paper
Paolo Romano and Luis Rodrigues and Nuno Carvalho and Joao Cachopo (April 2010).
Cloud-TM: harnessing the cloud with distributed transactional memories.
In: SIGOPS Oper. Syst. Rev., 44:1--6.
[Sharma et al., 2010]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryVisit the webpage of the paper
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.
[Bieniusa and Fuhrmann, 2010]
 
Show BibTeX entryVisit the webpage of the paper
Annette Bieniusa and Thomas Fuhrmann ( 2010).
Consistency in hindsight: A fully decentralized STM algorithm.
In: Proceedings of the 2010 IEEE International Symposium on Parallel Distributed Processing (IPDPS), April 19-23, 2010, Atlanta, Georgia, USA. pp. 1-12.
[Sinha and Malik, 2010]
 
Show BibTeX entry
Arnab Sinha and Sharad Malik ( 2010).
Runtime Checking of Serializability in Software Transactional Memory.
In: IPDPS. pp. 1-12. Published by IEEE.
[Palmieri et al., 2010]
 
Show BibTeX entry
Roberto Palmieri and Francesco Quaglia and Paolo Romano ( 2010).
AGGRO: Boosting STM Replication via Aggressively Optimistic Transaction Processing.
In: Network Computing and Applications, IEEE International Symposium on, 0:20-27.
[Noel, 2010]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Cyprien Noel ( 2010).
Extensible software transactional memory.
In: C3S2E '10: Proceedings of the Third C* Conference on Computer Science and Software Engineering. New York, NY, USA, pp. 23--34. Published by ACM.
[Romano et al., 2010]
 
Show BibTeX entryVisit the webpage of the paper
Paolo Romano and Roberto Palmieri and Francesco Quaglia and Nuno Carvalho and Luis Rodrigues ( 2010).
Brief announcement: on speculative replication of transactional systems.
In: Proceedings of the 22nd ACM symposium on Parallelism in algorithms and architectures. SPAA '10. New York, NY, USA, pp. 69--71. Published by ACM.