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.
Transactions and Languages |
| [Weihl and Liskov, 1983]
|
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. |
| [Guerraoui et al., 1992]
|
Rachid Guerraoui and Riccardo Capobianchi and Agnes Lanusse and Pierre Roux ( 1992). Nesting Actions through Asynchronous Message Passing: the ACS Protocol.. In: ECOOP. pp. 170-184. |
| [Guerraoui, 1994]
|
Rachid Guerraoui ( 1994). Atomic Object Composition. In: ECOOP. pp. 118-138. |
| [Rudys and Wallach, 2002]
|
Algis Rudys and Dan S. Wallach ( 2002). Transactional Rollback for Language-Based Systems. In: Proceedings of the International Conference on Dependable Systems and Networks. pp. 439--448. |
| [Flanagan and Qadeer, 2003]
|
Cormac Flanagan and Shaz Qadeer (Jan 2003). Types for Atomicity. In: ACM SIGPLAN Workshop on Types in Language Design and Implementation. pp. 1--12. |
| [Flanagan and Qadeer, 2003]
|
Cormac Flanagan and Shaz Qadeer (Jun 2003). A Type and Effect System for Atomicity. In: Proceedings of the 2003 Conference on Programming Language Design and Implementation. pp. 338--349. |
| [Harris and Fraser, 2003]
|
Tim Harris and Keir Fraser (Oct 2003). Language Support for Lightweight Transactions. In: Object-Oriented Programming, Systems, Languages, and Applications. pp. 388--402. |
[Black et al., 2003]
|
Andrew P. Black and Vincent Cremet and Rachid Guerraoui and Martin Odersky ( 2003). An Equational Theory for Transactions. In: FSTTCS, Springer Verlag. pp. 38-49. |
| [Harris, 2004]
|
Tim Harris (Jul 2004). Exceptions and side-effects in atomic blocks. In: Proceedings of the 2004 Workshop on Concurrency and Synchronization in Java programs. pp. 46-53. Proceedings published as Memorial University of Newfoundland CS Technical Report 2004-01. |
| [Hammond et al., 2004]
|
Lance Hammond and Brian D. Carlstrom and Vicky Wong and Ben Hertzberg and Mike Chen and Christos Kozyrakis and Kunle Olukotun (Oct 2004). Programming with Transactional Coherence and Consistency (TCC). In: ASPLOS-XI: Proceedings of the 11th international conference on Architectural support for programming languages and operating systems. pp. 1--13. ACM Press. |
| [Jagannathan and Vitek, 2004]
|
Suresh Jagannathan and Jan Vitek ( 2004). Optimistic Concurrency Semantics for Transactions in Coordination Languages. In: (ed.), Proceedings of the International Conference on Coordination Models and Languages. Volume 2949 of Lecture Notes in Computer Science. pp. 183--198. Published by Springer-Verlag. |
| [Vitek et al., 2004]
|
Jan Vitek and Suresh Jagannathan and Adam Welc and Antony L. Hosking ( 2004). A Semantic Framework for Designer Transactions. In: (ed.), Proceedings of the European Symposium on Programming. Volume 2986 of Lecture Notes in Computer Science. pp. 249--263. Published by Springer-Verlag. |
| [Welc et al., 2004]
|
Adam Welc and Antony L. Hosking and Suresh Jagannathan ( 2004). Preemption-based avoidance of priority inversion for Java. In: Proceedings of the International Conference on Parallel Processing. pp. 529--538. Published by IEEE Computer Society. |
| [Shinnar et al., 2004]
|
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. |
| [Jones et al., 2005]
|
Cliff Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum and Alan Fekete and Marie-Claude Gaudel and Henry F. Korth and Rogerio de Lemos and Eliot Moss and Ravi Rajwar and Krithi Ramamritham and Brian Randell and Luis Rodrigues (Mar 2005). The Atomic Manifesto: A story in four quarks. In: SIGMOD Record, 34(1):63--69. |
| [Jones et al., 2005]
|
Cliff Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum and Alan Fekete and Marie-Claude Gaudel and Henry F. Korth and Rogerio de Lemos and Eliot Moss and Ravi Rajwar and Krithi Ramamritham and Brian Randell and Luis Rodrigues (Apr 2005). The Atomic Manifesto: A story in four quarks. In: SIGOPS Oper. Syst. Rev., 39(2):41--46. |
| [Zilles and Flint, 2005]
|
Craig Zilles and David Flint (Jun 2005). Challenges to Providing Performance Isolation in Transactional Memories. In: Proceedings of the Fourth Workshop on Duplicating, Deconstructing, and Debunking. pp. 48-55. |
| [Blundell et al., 2005]
|
Colin Blundell and E Christopher Lewis and Milo M. K. Martin (Jun 2005). Deconstructing Transactions: The Subtleties of Atomicity. In: Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking. |
| [Harris et al., 2005]
|
Tim Harris and Maurice Herlihy and Simon Marlow and Simon Peyton-Jones (Jun 2005). Composable memory transactions. In: Proceedings of the ACM Symposium on Principles and Practice of Parallel Programming, to appear. |
| [Ringenburg and Grossman, 2005]
|
Michael F. Ringenburg and Dan Grossman (September 2005). AtomCaml: First-class Atomicity via Rollback. In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming. pp. 92--104. |
| [Carlstrom et al., 2005]
|
Brian D. Carlstrom and JaeWoong Chung and Hassan Chafi and Austen McDonald and Chi Cao Minh and Lance Hammond and Christos Kozyrakis and Kunle and Olukotun (Oct 2005). Transactional Execution of Java Programs. In: OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL). |
| [Manson et al., 2005]
|
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]
|
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]
|
Brian Goetz (Jan 2006). Optimistic Thread Concurrency. Azul Systems Whitepaper. |
| [McCloskey et al., 2006]
|
Bill McCloskey and Feng Zhou and David Gay and Eric Brewer (Jan 2006). Autolocker: Synchronization Inference for Atomic Sections. In: Proc. 33rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL). pp. 346-358. ACM Press. |
| [Moss, 2006]
|
J. Eliot B. Moss (Feb 2006). Open Nested Transactions: Semantics and Support (poster). In: Workshop on Memory Performance Issues. |
| [Carlstrom et al., 2006]
|
Brian D. Carlstrom and Austen McDonald and Hassan Chafi and JaeWoong Chung and Chi Cao Minh and Christos Kozyrakis and Kunle Olukotun (Jun 2006). Atomos transactional programming language. In: Proceedings of the 2006 Conference on Programming language design and implementation. pp. 1-13. |
| [Harris and Peyton Jones, 2006]
|
Tim Harris and Simon Peyton Jones (jun 2006). Transactional memory with data invariants. In: TRANSACT~'06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing. |
| [Hicks et al., 2006]
|
Michael Hicks and Jeffrey S. Foster and Polyvios Prattikakis (JuneJun 2006). Lock Inference for Atomic Sections. In: Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing. |
| [Singh, 2006]
|
Satnam Singh (jun 2006). Higher Order Combinators for Join Patterns using STM. In: TRANSACT~'06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing. |
| [Skare and Kozyrakis, 2006]
|
Travis Skare and Christos Kozyrakis (Jun 2006). Early Release: Friend or Foe? In: Proc. Workshop on Transactional Workloads. |
| [Ziarek et al., 2006]
|
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. |
| [Cachopo and Rito-Silva, 2006]
|
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]
|
Ben Liblit (aug 2006). An Operational Semantics for LogTM. Technical Report Nr. 1571. University of Wisconsin--Madison. Version 1.0. |
| [Hindman and Grossman, 2006]
|
Benjamin Hindman and Dan Grossman (October 2006). Atomicity via Source-to-Source Translation. In: Proceedings of the 2006 workshop on memory system performance and correctness. pp. 82--91. |
| [Herlihy et al., 2006]
|
Maurice Herlihy and Mark Moir and Victor Luchangco (oct 2006). A Flexible Framework for Implementing Software Transactional Memory. In: Proceedings of the 21th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications. pp. 253-262. |
| [Johnson et al., 2006]
|
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]
|
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]
|
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. |
| [Welc et al., 2006]
|
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]
|
James R. Larus and Ravi Rajwar ( 2006). Transactional Memory. Morgan & Claypool. |
| [Wang et al., 2007]
|
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]
|
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. |
| [von Praun et al., 2007]
|
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. |
| [Sonmez et al., 2007]
|
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. |
| [Shpeisman et al., 2007]
|
Tatiana Shpeisman and Vijay Menon and Ali-Reza Adl-Tabatabai and Steve Balensiefer and Dan Grossman and Richard Hudson and Katherine F. Moore and Bratin Saha (Jun 2007). Enforcing Isolation and Ordering in STM. In: ACM Conference on Programming Language Design and Implementation. pp. 78--88. |
| [Kulkarni et al., 2007]
|
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]
|
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. |
| [Renggli and Nierstrasz, 2007]
|
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]
|
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. |
| [Dalessandro et al., 2007]
|
Luke Dalessandro and Virendra J. Marathe and Michael F. Spear and Michael L. Scott (Aug 2007). Capabilities and Limitations of Library-Based Software Transactional Memory in C++. In: Proceedings of the 2nd ACM SIGPLAN Workshop on Transactional Computing. Portland, OR. |
| [Moore and Grossman, 2007]
|
Katherine F. Moore and Dan Grossman (aug 2007). High-Level Small-Step Operational Semantics for Transactions. In: TRANSACT~'07: 2nd Workshop on Transactional Computing. |
| [Harris and Stipic, 2007]
|
Tim Harris and Srdjan Stipic (aug 2007). Abstract Nested Transactions. In: TRANSACT~'07: 2nd Workshop on Transactional Computing. |
| [Perfumo et al., 2007]
|
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. |
| [Milovanovi\'c et al., 2007]
|
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]
|
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. |
| [Baek et al., 2007]
|
Woongki Baek and Chi Cao Minh and Martin Trautmann and Christos Kozyrakis and Kunle Olukotun (Sep 2007). The OpenTM Transactional Application Programming Interface. In: Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques. pp. 376--387. |
| [Kimball and Grossman, 2007]
|
Aaron Kimball and Dan Grossman (Sep 2007). Software Transactions Meet First-Class Continuations. In: The 8th Annual Workshop on Scheme and Functional Programming. |
| [Smaragdakis et al., 2007]
|
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]
|
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. |
| [Crowl et al., 2007]
|
Lawrence Crowl and Yossi Lev and Victor Luchangco and Mark Moir and Dan Nussbaum ( 2007). Integrating Transactional Memory into C++. In: Workshop on Transactional Computing (TRANSACT). |
| [Moore and Grossman, 2008]
|
Katherine F. Moore and Dan Grossman (Jan 2008). High-Level Small-Step Operational Semantics for Transactions. In: 35th ACM Symposium on Principles of Programming Languages. |
| [Agrawal et al., 2008]
|
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. |
| [Herlihy and Koskinen, 2008]
|
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. |
| [Aydonat and Abdelrahman, 2008]
|
Utku Aydonat and Tarek Abdelrahman (feb 2008). Serializability of Transactions in Software Transactional Memory. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
| [Herlihy and Koskinen, 2008]
|
Maurice Herlihy and Eric Koskinen (feb 2008). Checkpoints and continuations instead of nested transactions. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
| [Menon et al., 2008]
|
Vijay Menon and Steven Balensiefer and Tatiana Shpeisman and Ali-Reza Adl-Tabatabai and Richard Hudson and Bratin Saha and Adam Welc (feb 2008). Single Global Lock Semantics in a Weakly Atomic STM. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
| [Volos et al., 2008]
|
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. |
| [Abadi et al., 2008]
|
Martin Abadi and Andrew Birrell and Tim Harris and Johnson Hsieh and Michael Isard (Mar 2008). Dynamic Separation for Transactional Memory. Technical Report Nr. MSR-TR-2008-43. Microsoft Research. |
| [Riegel et al., 2008]
|
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]
|
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. |
| [Welc et al., 2008]
|
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. |
| [Guerraoui and Kapa\lka, 2008]
|
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. |
| [Menon et al., 2008]
|
Vijay Menon and Steven Balensiefer and Tatiana Shpeisman and Ali-Reza Adl-Tabatabai and Richard L. Hudson and Bratin Saha and Adam Welc (jun 2008). Practical weak-atomicity semantics for Java STM. In: SPAA~'08: Proc. twentieth annual symposium on Parallelism in algorithms and architectures. pp. 314--325. |
| [Carlstrom, 2008]
|
Brian David Carlstrom (Jun 2008). Programming with Transactional Memory. PhD thesis, Stanford University. |
| [Gottschlich et al., 2008]
|
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]
|
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]
|
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. |
| [Hill, 2008]
|
Mark D. Hill (Aug 2008). Is Transactional Memory an Oxymoron? VLDB Keynote Address. |
| [Liu et al., 2008]
|
Yi Liu and Xin Zhang and He Li and Mingxiu Li and Depei Qian (sep 2008). Hardware Transactional Memory Supporting I/O Operations within Transactions. In: HPCC~'08: Proc. 10th International Conference on High Performance Computing and Communications. pp. 85-92. |
| [Effinger-Dean et al., 2008]
|
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. |
| [Ni et al., 2008]
|
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]
|
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. |
| [Spear et al., 2008]
|
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. |
| [Guerraoui and Kapalka, 2008]
|
Rachid Guerraoui and Michal Kapalka ( 2008). On the Correctness of Transactional Memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'08). |
| [Schindewolf et al., 2009]
|
Martin Schindewolf and Albert Cohen and Wolfgang Karl and Andrea Marongiu and Luca Benini (jan 2009). Towards Transactional Memory Support for GCC. In: GROW~'09: GCC Research Opportunities Workshop. Affiliated to HiPEAC'09. |
| [Agrawal et al., 2009]
|
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. |
| [Dalessandro and Scott, 2009]
|
Luke Dalessandro and Michael L. Scott (feb 2009). Strong Isolation is a Weak Idea. In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
| [Detlefs and Zhang, 2009]
|
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]
|
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]
|
Polina Dudnik and Michael Swift (feb 2009). Condition Variables and Transactional Memory: Problem or Opportunity? In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
| [Koskinen and Herlihy, 2009]
|
Eric Koskinen and Maurice Herlihy (feb 2009). Concurrent Non-commutative Boosted Transactions. In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
| [Ramadan and Witchel, 2009]
|
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]
|
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. |
| [Usui et al., 2009]
|
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. |
| [Abadi et al., 2009]
|
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. |
| [Adl-Tabatabai et al., 2009]
|
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. |
| [Boehm, 2009]
|
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. |
| [Birgisson and Erlingsson, 2009]
|
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. |
| [Rossbach et al., 2009]
|
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]
|
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. |
| [Boehm, 2009]
|
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. |
| [Ziarek et al., 2009]
|
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. |
| [Koskinen and Herlihy, 2009]
|
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. |
| [Shpeisman et al., 2009]
|
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. |
| [Felber et al., 2009]
|
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]
|
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. |
| [Usui et al., 2009]
|
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]
|
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. |
| [Ahn et al., 2009]
|
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. |
| [Koskinen et al., 2010]
|
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]
|
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. |