Nesting Actions through Asynchronous Message Passing: the ACS Protocol..
In: ECOOP. pp. 170-184.
Transactions and Languages |
| [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. |
| [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). |
| [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. |
| [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. |
| [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. |
| [Grossman et al., 2006]
|
Dan Grossman and Jeremy Manson and William Pugh (October 2006). What Do High-Level Memory Models Mean for Transactions? In: Proceedings of the 2006 workshop on memory system performance and correctness. pp. 62--69. |
| [Hindman and Grossman, 2006]
|
Benjamin Hindman and Dan Grossman (October 2006). Atomicity via Source-to-Source Translation. In: Proceedings of the 2006 workshop on memory system performance and correctness. pp. 82--91. |
| [Herlihy et al., 2006]
|
Maurice Herlihy and Mark Moir and Victor Luchangco (oct 2006). A Flexible Framework for Implementing Software Transactional Memory. In: Proceedings of the 21th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications. pp. 253-262. |
| [Adl-Tabatabai et al., 2006]
|
Ali-Reza Adl-Tabatabai and Christos Kozyrakis and Bratin Eswaran Saha (Dec 2006). Unlocking Concurrency: Multicore Programming with Transactional Memory. In: ACM Queue, 4(10):24--33. |
| [Larus and Rajwar, 2006]
|
James R. Larus and Ravi Rajwar ( 2006). Transactional Memory. Morgan & Claypool. |
| [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. |
| [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. |
| [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. |
| [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. |
| [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. |
| [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. |
| [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). |