Theory

[Hoare, 1974]
 
Show BibTeX entryVisit the webpage of the paper
C. A. R. Hoare (Oct 1974).
Monitors: An Operating System Structuring Concept.
In: Communications of the ACM, :549-557.
[Lipton, 1975]
 
Show BibTeX entryVisit the webpage of the paper
Richard J. Lipton (dec 1975).
Reduction: a method of proving properties of parallel programs.
In: Communications of the ACM, 18(12):717--721.
[Anderson and Kerr, 1976]
 
Show BibTeX entry
T. Anderson and R. Kerr ( 1976).
Recovery Blocks in Action: A System Supporting High Reliability.
In: Proceedings of the 2nd International Conference on Software Engineering. pp. 447--457.
[Lomet, 1977]
 
Show BibTeX entry
David B. Lomet (Mar 1977).
Process Structuring, Synchronization, and Recovery Using Atomic Actions.
In: ACM Conference on Language Design for Reliable Software. pp. 128--137.
[Lamport, 1977]
 
Show BibTeX entryVisit the webpage of the paper
Leslie Lamport (Nov 1977).
Concurrent Reading and Writing.
In: Communications of the ACM, 20(11):806--811.
[Herlihy and Wing, 1987]
 
Show BibTeX entryVisit the webpage of the paper
Maurice Herlihy and Jeannette M. Wing (Jan 1987).
Axioms for Concurrent Objects.
In: Proceedings of the 14th Annual Symposium on Principles of Programming Languages. pp. 13--26.
[Herlihy, 1988]
 
Show BibTeX entryVisit the webpage of the paper
Maurice Herlihy (Aug 1988).
Impossibility and Universality Results for Wait-Free Synchronization.
In: Proceedings of the Seventh ACM Symposium on Principles of Distributed Computing. pp. 276--290.
[Herlihy and Wing, 1990]
 
Show BibTeX entryVisit the webpage of the paper
Maurice Herlihy and Jeannette M. Wing (Jul 1990).
Linearizability: A Correctness Condition for Concurrent Objects.
In: ACM Transactions on Programming Languages and Systems, 12(3):463--492.
[Herlihy, 1991]
 
Show BibTeX entryVisit the webpage of the paper
Maurice Herlihy (Jan 1991).
Wait-Free Synchronization.
In: ACM Transactions on Programming Languages and Systems, 13(1):124--149.
[Herlihy, 1993]
 
Show BibTeX entry
Maurice Herlihy (Nov 1993).
A Methodology for Implementing Highly Concurrent Data Objects.
In: ACM Transactions on Programming Languages and Systems, 15(5):745--770.
[Wing and Gong, 1993]
 
Show BibTeX entry
Jeanette M. Wing and Chun Gong (Jan-Feb 1993).
Testing and Verifying Concurrent Objects.
In: Journal of Parallel and Distributed Computing, 17(2):164--182.
[Attiya et al., 1994]
 
Show BibTeX entryVisit the webpage of the paper
Hagit Attiya and Nancy Lynch and Nir Shavit (Jul 1994).
Are Wait-Free Algorithms Fast?
In: Journal of the Association for Computing Machinery, 41(4):725--763.
[Israeli and Rappoport, 1994]
 
Show BibTeX entryVisit the webpage of the paper
Amos Israeli and Lihu Rappoport (Aug 1994).
Disjoint-Access-Parallel Implementations of Strong Shared Memory Primitives.
In: Proceedings of the 13th ACM Symposium on Principles of Distributed Computing. pp. 151--160.
[Guerraoui, 1994]
 
Show BibTeX entryVisit the webpage of the paper
Rachid Guerraoui ( 1994).
Atomic Object Composition.
In: ECOOP. pp. 118-138.
[Black et al., 2003]
 
Show BibTeX entryDownload Article (pdf-file)
Andrew P. Black and Vincent Cremet and Rachid Guerraoui and Martin Odersky ( 2003).
An Equational Theory for Transactions.
In: FSTTCS, Springer Verlag. pp. 38-49.
[Scherer III and Scott, 2004]
 
Show BibTeX entryDownload Article (pdf-file)
William N. Scherer III and Michael L. Scott (Oct 2004).
Nonblocking Concurrent Objects with Condition Synchronization.
In: Proceedings of the 18th International Symposium on Distributed Computing. Amsterdam, The Netherlands.
[Jagannathan and Vitek, 2004]
 
Show BibTeX entryVisit the webpage of the paper
Suresh Jagannathan and Jan Vitek ( 2004).
Optimistic Concurrency Semantics for Transactions in Coordination Languages.
In: (ed.), Proceedings of the International Conference on Coordination Models and Languages. Volume 2949 of Lecture Notes in Computer Science. pp. 183--198. Published by Springer-Verlag.
[Vitek et al., 2004]
 
Show BibTeX entryVisit the webpage of the paper
Jan Vitek and Suresh Jagannathan and Adam Welc and Antony L. Hosking ( 2004).
A Semantic Framework for Designer Transactions.
In: (ed.), Proceedings of the European Symposium on Programming. Volume 2986 of Lecture Notes in Computer Science. pp. 249--263. Published by Springer-Verlag.
[Welc et al., 2004]
 
Show BibTeX entryVisit the webpage of the paper
Adam Welc and Antony L. Hosking and Suresh Jagannathan ( 2004).
Preemption-based avoidance of priority inversion for Java.
In: Proceedings of the International Conference on Parallel Processing. pp. 529--538. Published by IEEE Computer Society.
[Jones et al., 2005]
 
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.
[Blundell et al., 2005]
 
Show BibTeX entryDownload Article (pdf-file)
Colin Blundell and E Christopher Lewis and Milo M. K. Martin (Jun 2005).
Deconstructing Transactions: The Subtleties of Atomicity.
In: Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking.
[Guerraoui et al., 2005]
 
Show BibTeX entryVisit the webpage of the paper
Rachid Guerraoui and Maurice Herlihy and Bastian Pochon (Jul 2005).
Toward a theory of transactional contention managers.
In: PODC '05: Proceedings of the twenty-fourth annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing. New York, NY, USA, pp. 258--264. Published by ACM Press.
[Guerraoui et al., 2005]
 
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).
[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.
[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.
[Scott, 2006]
 
Show BibTeX entryDownload Article (pdf-file)
Michael L. Scott (Jun 2006).
Sequential Specification of Transactional Memory Semantics.
In: ACM SIGPLAN Workshop on Transactional Computing. Held in conjunction with PLDI 2006.
[Scott, 2006]
 
Show BibTeX entryDownload Article (pdf-file)
Michael L. Scott (Jun 2006).
Sequential Specification of Transactional Memory Semantics.
In: Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.
[Singh, 2006]
 
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.
[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.
[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.
[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.
[Agrawal et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Kunal Agrawal and Charles E. Leiseron and Jim Sukha (October 2006).
Memory Models for Open-Nested Transactions.
In: Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC).
[Blundell et al., 2006]
 
Show BibTeX entryDownload Article (pdf-file)
Colin Blundell and E Christopher Lewis and Milo M. K. Martin (Nov 2006).
Subtleties of Transactional Memory Atomicity Semantics.
In: Computer Architecture Letters, 5(2).
[Moss and Hosking, 2006]
 
Show BibTeX entry
J. Eliot B. Moss and Antony L. Hosking (Dec 2006).
Nested Transactional Memory: Model and Architecture Sketches.
In: In Science of Computer Programming. Volume 632. pp. 186--201.
[Riegel et al., 2007]
 
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) .
[Riegel et al., 2007]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Torval Riegel and Christof Fetzer and Heiko Sturzrehm and Pascal Felber (aug 2007).
From causal to z-linearizable transactional memory (brief announcement).
In: PODC~'07: Proc. 26th ACM symposium on Principles of distributed computing. pp. 340--341.
[Moore and Grossman, 2007]
 
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.
[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).
[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.
[Cohen et al., 2007]
 
Show BibTeX entryVisit the webpage of the paper
Ariel Cohen and John W. O'Leary and Amir Pnueli and Mark R. Tuttle and Lenore D. Zuck (November 2007).
Verifying Correctness of Transactional Memories.
In: Proceedings of the 7th International Conference on Formal Methods in Computer-Aided Design (FMCAD). pp. 37--44.
[Abadi et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Martin Abadi and Andrew Birrell and Tim Harris and Michael Isard (jan 2008).
Semantics of transactional memory and automatic mutual exclusion.
In: POPL~'08: Proc. 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 63--74.
[Moore and Grossman, 2008]
 
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.
[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.
[Cohen et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Ariel Cohen and Amir Pnueli and Lenore Zuck (feb 2008).
Verification of Transactional Memories that Support Non-Transactional Memory Accesses.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.
[Dragojevi\'c et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Aleksandar Dragojevi\'c and Rachid Guerraoui and Micha\l Kapa\lka (feb 2008).
Dividing Transactional Memories by Zero.
In: TRANSACT~'08: 3rd Workshop on Transactional Computing.
[Menon et al., 2008]
 
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.
[Tasiran, 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Serdar Tasiran (apr 2008).
A Compositional Method for Verifying Software Transactional Memory Implementations.
Technical Report Nr. MSR-TR-2008-56. Microsoft Research.
[HU and Hutton, 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Liyang HU and Graham Hutton (May 2008).
Towards a Verified Implementation of Software Transactional Memory.
In: Proceedings of the Symposium on Trends in Functional Programming.
[Boehm and Adve, 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Hans-J. Boehm and Sarita V. Adve (jun 2008).
Foundations of the C++ concurrency memory model.
In: PLDI~'08: Proc. 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 68--78.
[Menon et al., 2008]
 
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.
[Cohen et al., 2008]
 
Show BibTeX entry
Ariel Cohen and Amir Pnueli and Lenore D. and Zuck (July 2008).
Mechanical Verification of Transactional Memories with Non-Transactional Memory Accesses.
In: Computer Aided Verification (CAV), 20th International Conference, Princeton, NJ, USA. Volume 5123 of Lecture Notes in Computer Science. pp. 121--134. Published by Springer.
[Guerraoui et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Rachid Guerraoui and Thomas Henzinger and Vasu Singh (aug 2008).
Completeness and Nondeterminism in Model Checking Transactional Memories".
In: CONCUR~'08: Proc. 19th Conference on Concurrency Theory. pp. 21--35.
[O'Leary et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
John O'Leary and Bratin Saha and Mark R. Tuttle (aug 2008).
Model checking transactional memory with Spin (brief announcement).
In: PODC~'08: Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing. pp. 424--424.
[Gramoli et al., 2008]
 
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.
[Poe et al., 2008]
 
Show BibTeX entryVisit the webpage of the paper
James Poe and Chang-Burm Cho and Tao Li ( 2008).
Using Analytical Models to Efficiently Explore Hardware Transactional Memory and Multi-Core Co-Design.
In: SBAC-PAD '08: Proceedings of the 2008 20th International Symposium on Computer Architecture and High Performance Computing. Washington, DC, USA, pp. 159--166. Published by IEEE Computer Society.
[Cohen et al., 2008]
 
Show BibTeX entry
Ariel Cohen and Ron van der Meyden and Lenore D. Zuck ( 2008).
Access Control and Information Flow in Transactional Memory.
In: The fifth International Workshop on Formal Aspects in Security and Trust (FAST2008).
[Guerraoui and Kapalka, 2008]
 
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).
[Guerraoui et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Rachid Guerraoui and Thomas A. Henzinger and Barbara Jobstmann and Vasu Singh ( 2008).
Model Checking Transactional Memories.
In: ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI). Published by ACM.
[Guerraoui et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)
Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh ( 2008).
Nondeterminism and Completeness in Transactional Memories.
In: Proceedings of the 19th International Conference on Concurrency Theory (CONCUR). Published by Springer.
[Elmas et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Tayfun Elmas and Shaz Qadeer and Serdar Tasiran (jan 2009).
A calculus of atomic actions.
In: POPL~'09: Proc. 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 2--15.
[Abadi and Plotkin, 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Martin Abadi and Gordon Plotkin (jan 2009).
A model of cooperative threads.
In: POPL~'09: Proc. 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 29--40.
[Guerraoui and Kapa\lka, 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Rachid Guerraoui and Micha\l Kapa\lka (jan 2009).
The semantics of progress in lock-based transactional memory.
In: POPL~'09: Proc. 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 404--415.
[Attiya et al., 2009]
 
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.
[Harmanci et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)
Derin Harmanci and Pascal Felber and Vincent Gramoli and Christof Fetzer (feb 2009).
TMUNIT: Testing Transactional Memories.
In: TRANSACT~'09: 4th Workshop on Transactional Computing.
[Heindl and Pokam, 2009]
 
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.
[O'Leary et al., 2009]
 
Show BibTeX entry
John O'Leary and Bratin Saha and Mark R. Tuttle (jun 2009).
Model checking transactional memory with Spin.
In: ICDCS~'09: Proc. 29th International Conference on Distributed Computing Systems.
[Imbs et al., 2009]
 
Show BibTeX entryVisit the webpage of the paper
Damien Imbs and Jose\'e Ramon de Mendivil and Michel Raynal (aug 2009).
Virtual World Consistency: a new Condition for STM Systems (brief announcement).
In: PODC~'09: Proc. 28th ACM Symposium on Principles of Distributed Computing. pp. 280--281.
[Felber et al., 2009]
 
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.
[Hughes et al., 2009]
 
Show BibTeX entryVisit the webpage of the paper
C. Hughes and J. Poe and A. Qouneh and Tao Li (Oct 2009).
On the (dis)similarity of transactional memory workloads.
In: Workload Characterization, 2009. IISWC 2009. IEEE International Symposium on. pp. 108-117.
[Poe et al., 2009]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
James Poe and Clay Hughes and Tao Li ( 2009).
TransMetric: architecture independent workload characterization for transactional memory benchmarks.
In: ICS '09: Proceedings of the 23rd international conference on Supercomputing. New York, NY, USA, pp. 491--492. Published by ACM.
[Heindl et al., 2009]
 
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.
[Gramoli et al., 2010]
 
Show BibTeX entryDownload Article (pdf-file)
Vincent Gramoli and Derin Harmanci and Pascal Felber (mar 2010).
On the Input Acceptance of Transactional Memory.
In: Parallel Processing Letters (PPL), 20(1):31--50.
[Sharma et al., 2010]
 
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.
[Teixeira et al., 2010]
 
Show BibTeX entry
Bruno Teixeira and Eitan Lourenç Joãand Farchi and Ricardo Dias and Diogo Sousa ( 2010).
Detection of Transactional Memory Anomalies Using Static Analysis.
In: Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. PADTAD '10. New York, NY, USA, pp. 26--36. Published by ACM.
[Bieniusa and Thiemann, 2011]
 
Show BibTeX entryVisit the webpage of the paper
Annette Bieniusa and Peter Thiemann ( 2011).
Proving Isolation Properties for Software Transactional Memory.
In: Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011. Proceedings. Volume 6602 of Lecture Notes in Computer Science. pp. 38-56. Published by Springer.