Monitors: An Operating System Structuring Concept.
In: Communications of the ACM, :549-557.
List of all Publications |
| [Hoare, 1974]
|
C. A. R. Hoare (Oct 1974). Monitors: An Operating System Structuring Concept. In: Communications of the ACM, :549-557. |
| [Lipton, 1975]
|
Richard J. Lipton (dec 1975). Reduction: a method of proving properties of parallel programs. In: Communications of the ACM, 18(12):717--721. |
| [Eswaran et al., 1976]
|
Kapali P. Eswaran and Jim Gray and Raymond A. Lorie and Irving L. Traiger (Nov 1976). The Notions of Consistency and Predicate Locks in a Database System. In: Communications of the ACM, 19(11):624--633. |
| [Anderson and Kerr, 1976]
|
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]
|
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]
|
Leslie Lamport (Nov 1977). Concurrent Reading and Writing. In: Communications of the ACM, 20(11):806--811. |
| [Blasgen et al., 1979]
|
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]
|
H.T. Kung and John T. Robinson (Jun 1981). On Optimistic Methods of Concurrency Control. In: ACM Transactions on Database Systems, 6(2):213--226. |
| [Gray, 1981]
|
Jim Gray (Sep 1981). The Transaction Concept: Virtues and Limitations. In: Seventh International Conference on Very Large Data Bases. pp. 144--154. |
| [Agrawal et al., 1983]
|
Rakesh Agrawal and Michael J. Carey and David J. DeWitt ( 1983). Deadlock Detection is Cheap. In: SIGMOD Record, 13(2):19--34. |
| [Weihl, 1983]
|
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]
|
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. |
| [Knight, 1986]
|
Thomas F. Knight (Aug 1986). An Architecture for Mostly Functional Languages. In: Proceedings of ACM Lisp and Functional Programming Conference. pp. 500--519. |
| [Herlihy and Wing, 1987]
|
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. |
| [Jensen et al., 1987]
|
Eric H. Jensen and Gary W. Hagensen and Jeffrey M. Broughton (Nov 1987). A New Approach to Exclusive Data Access in Shared Memory Multiprocessors. (Technical Report UCRL-97663). |
| [Herlihy, 1988]
|
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. |
| [Chang and Mergen, 1988]
|
Albert Chang and Mark F. Mergen ( 1988). 801 Storage: Architecture and Programming. In: ACM Transactions on Computer Systems (TOCS). Volume 61. pp. 28--50. |
[Adve, 1990]
|
Sarita V.and Hill Adve (May 1990). Weak Ordering - A New Definition. In: Proceedings of the 17th Annual International Symposium on Computer Architecture. pp. 2--14. |
| [Gharachorloo et al., 1990]
|
Kourosh Gharachorloo and Daniel Lenoski and James Laudon and Philip Gibbons and Anoop Gupta and John Hennessy (May 1990). Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors. In: Proceedings of the 17th Annual International Symposium on Computer Architecture. pp. 15--26. |
| [Herlihy and Wing, 1990]
|
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. |
| [Korth et al., 1990]
|
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.. |
| [Herlihy, 1991]
|
Maurice Herlihy (Jan 1991). Wait-Free Synchronization. In: ACM Transactions on Programming Languages and Systems, 13(1):124--149. |
| [Adve et al., 1991]
|
Sarita V. Adve and Mark D. Hill and Barton P. Miller and Robert H. B. Netzer (May 1991). Detecting Data Races on Weak Memory Systems. In: Proceedings of the 18th Annual International Symposium on Computer Architecture. pp. 234--243. |
| [Massalin and Pu, 1991]
|
Henry Massalin and Calton Pu (May 1991). A Lock-Free Multiprocessor Os Kernel. (CUCS-005-91). Columbia University. |
| [Bershad, 1991]
|
Brian N. Bershad (Sep 1991). Practical Considerations for Lock-Free Concurrent Objects. (CMU-CS-91-183). Carnegie Mellon University. |
| [Banatre et al., 1991]
|
Michel Banatre and Gilles Muller and Bruno Rochat and P. Sanchez ( 1991). Design Decisions for the FTM: A General Purpose Fault Tolerant Machine. In: FTCS. pp. 71-78. |
| [Allemany and Felten, 1992]
|
Juan Allemany and Ed Felten (Aug 1992). Performance Issues in Non-Blocking Synchronization on Shared-Memory Multiprocessors. In: Proceedings of the 11th ACM Symposium on Principles of Distributed Computing. pp. 125--134. |
| [Turek et al., 1992]
|
John Turek and Dennis Shasha and Sundeep Prakash (Aug 1992). Locking without Blocking: Making Lock Based Concurrent Data Structure Algorithms Nonblocking. In: Proceedings of the 11th ACM Symposium on Principles of Distributed Computing. pp. 212--222. |
| [Guerraoui et al., 1992]
|
Rachid Guerraoui and Riccardo Capobianchi and Agnes Lanusse and Pierre Roux ( 1992). Nesting Actions through Asynchronous Message Passing: the ACS Protocol.. In: ECOOP. pp. 170-184. |
| [Herlihy and Moss, 1993]
|
Maurice Herlihy and J. Eliot B. Moss (May 1993). Transactional Memory: Architectural Support for Lock-Free Data Structures. In: Proceedings of the 20th Annual International Symposium on Computer Architecture. pp. 289--300. |
| [Barnes, 1993]
|
Greg Barnes (Jun 1993). Method for Implementing Lock-Free Shared Data Structures. In: Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures. pp. 261--270. |
| [Israeli and Rappoport, 1993]
|
Amos Israeli and Lihu Rappoport (Sep 1993). Efficient Wait-Free Implementation of a Concurrent Priority Queue. In: 7th International Workshop on Distributed Algorithms. pp. 27--29. |
| [Reinhardt et al., 1993]
|
Steven K. Reinhardt and Babak Falsafi and David A. Wood (Sep 1993). Kernel Support for the Wisconsin Wind Tunnel. In: Second USENIX Symposium on Microkernels and Other Architectures. |
| [Herlihy, 1993]
|
Maurice Herlihy (Nov 1993). A Methodology for Implementing Highly Concurrent Data Objects. In: ACM Transactions on Programming Languages and Systems, 15(5):745--770. |
| [Stone et al., 1993]
|
Janice M. Stone and Harold S. Stone and Phil Heidelberger and John Turek (Nov 1993). Multiple Reservations and the Oklahoma Update. In: IEEE Parallel & Distributed Technology, 1(4):58--71. |
| [Gray and Reuter, 1993]
|
Jim Gray and Andreas Reuter ( 1993). Transaction Processing: Concepts and Techniques. Morgan Kaufmann. |
| [Wing and Gong, 1993]
|
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]
|
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]
|
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. |
| [Schoinas et al., 1994]
|
Ioannis Schoinas and Babak Falsafi and Alvin R. Lebeck and Steven K. Reinhardt and James R. Larus and David A. Wood (Oct 1994). Fine-grain Access Control for Distributed Shared Memory. In: Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems. pp. 297--307. |
| [Guerraoui, 1994]
|
Rachid Guerraoui ( 1994). Atomic Object Composition. In: ECOOP. pp. 118-138. |
| [Satyanarayanan et al., 1994]
|
M. Satyanarayanan and Henry H. Mashburn and Puneet Kumar and David C. Steere and James J. Kistler ( 1994). Lightweight Recoverable Virtual Memory. In: ACM Transactions on Computer Systems, 12(1):33--57. |
| [Shavit and Touitou, 1995]
|
Nir Shavit and Dan Touitou (Aug 1995). Software Transactional Memory. In: Proceedings of the 14th ACM Symposium on Principles of Distributed Computing. pp. 204--213. |
| [Valois, 1995]
|
John D. Valois (Aug 1995). Lock-Free Linked Lists Using Compare-and-Swap. In: Proceedings of the 14th ACM Symposium on Principles of Distributed Computing. pp. 214--222. |
| [Bohannon et al., 1995]
|
Philip Bohannon and Daniel Lieuwen and Avi Silberschatz and S. Sudarshan and Jacques Gava (Oct 1995). Recoverable User-Level Mutual Exclusion. In: Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing. pp. 293--301. |
| [Johnson, 1995]
|
Theodore Johnson (Oct 1995). Characterizing the Performance of Algorithms for Lock-Free Objects. In: IEEE Transactions on Computers, 44(10):1194--1207. |
| [Valois, 1995]
|
John D. Valois ( 1995). Lock-Free Data Structures. PhD thesis, Rochester Institute of Technology. |
| [Michael and Scott, 1996]
|
Maged M. Michael and Michael L. Scott (May 1996). Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms. In: Proceedings of the 15th ACM Symposium on Principles of Distributed Computing. pp. 267--275. |
| [Adve and Gharachorloo, 1996]
|
Sarita V. Adve and Kourosh Gharachorloo (Dec 1996). Shared Memory Consistency Models: A Tutorial. In: IEEE Computer, 29(12):66--76. |
| [Muller et al., 1996]
|
Gilles Muller and Michel Banatre and Nadine Peyrouze and Bruno Rochat ( 1996). Lessons from FTM: An Experiment in Design and Implementation of a Low-Cost Fault-Tolerant System. (2):332-339. |
| [Michael and Scott, 1997]
|
Maged M Michael and Michael L. Scott (Apr 1997). Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors. In: Proceedings of the 11th International Parallel Processing Symposium. Geneva, Switzerland. Earlier version published as ``Concurrent Update on Multiprogrammed Shared Memory MultiProceedingsessors,'' TR 614, University of Rochester Computer Science Dept., May 1996. |
| [Moir, 1997]
|
Mark Moir (Sep 1997). Transparent Support for Wait-Free Transactions. In: 11th International Workshop on Distributed Algorithms. pp. 305--319. |
| [Lowell and Chen, 1997]
|
David E. Lowell and Peter M. Chen (Oct 1997). Free Transactions with Rio Vista. In: Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles. pp. 92--101. ACM Press. |
| [Plakal et al., 1998]
|
Manoj Plakal and Daniel J. Sorin and Anne E. Condon and Mark D. Hill (Jun 1998). Lamport Clocks: Verifying a Directory Cache-Coherence Protocol. In: Proceedings of the Tenth ACM Symposium on Parallel Algorithms and Architectures. pp. 67--76. |
| [Hill, 1998]
|
Mark D. Hill (Aug 1998). Multiprocessors Should Support Simple Memory Consistency Models. In: IEEE Computer, 31(8):28--34. |
| [Michael and Scott, 1998]
|
Maged M. Michael and Michael L. Scott ( 1998). Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors. In: Journal of Parallel and Distributed Computing, 51(1):1--26. |
| [Gniady et al., 1999]
|
Chris Gniady and Babak Falsafi and T. N. Vijaykumar (May 1999). Is SC + ILP = RC? In: International Symposium on Computer Architecture. pp. 162--171. |
| [Anderson and Moir, 1999]
|
James H. Anderson and Mark Moir (Dec 1999). Universal Constructions for Large Objects. In: IEEE Transactions on Parallel and Distributed Systems, 10(12):1317-1332. |
| [Greenwald, 1999]
|
Michael Greenwald ( 1999). Non-Blocking Synchronization and System Design. PhD thesis, Stanford University, Also appears as Stanford University Technical Report STAN-CS- TR-99-1624, Stanford University, Stanford, CA, 1999.. |
| [Gray, 2000]
|
Jim Gray (Mar 2000). Nesting Transactions: Why and What Do We Need? Turing Award Lecture. |
| [Rajwar and Goodman, 2001]
|
Ravi Rajwar and James R. Goodman (Dec 2001). Speculative Lock Elision: Enabling Highly Concurrent Multithreaded Execution. In: Proceedings of the 34th International Symposium on Microarchitecture. pp. 294--305. |
| [Sorin et al., 2002]
|
Daniel J. Sorin and Milo M. K. Martin and Mark D. Hill and David A. Wood (May 2002). SafetyNet: Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint/Recovery. In: Proceedings of the 29th Annual International Symposium on Computer Architecture. pp. 123--134. |
| [Gniady and Falsafi, 2002]
|
Chris Gniady and Babak Falsafi (Sep 2002). Speculative Sequential Consistency with Little Custom Storage. In: International Conference on Parallel Architectures and Compilation Techniques. pp. 179--188. |
| [Harris et al., 2002]
|
Tim Harris and Keir Fraser and Ian A. Pratt (Oct 2002). A practical multi-word compare-and-swap operation. In: Proceedings of the 16th International Symposium on Distributed Computing. pp. 265--279. |
| [Martinez and Torrellas, 2002]
|
Jose F. Martinez and Josep Torrellas (Oct 2002). Speculative Synchronization: Applying Thread-Level Speculation to Explicitly Parallel Applications. In: Proceedings of the Tenth Symposium on Architectural Support for Programming Languages and Operating Systems. pp. 18--29. |
| [Rajwar, 2002]
|
Ravi Rajwar (Oct 2002). Speculation-Based Techniques for Transactional Lock-Free Execution of Lock-Based Programs. PhD thesis, University of Wisconsin. |
| [Rajwar and Goodman, 2002]
|
Ravi Rajwar and James R. Goodman (Oct 2002). Transactional Lock-Free Execution of Lock-Based Programs. In: Proceedings of the Tenth Symposium on Architectural Support for Programming Languages and Operating Systems. pp. 5--17. |
| [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. |
| [Kuszmaul and Leiserson, 2003]
|
Bradley C. Kuszmaul and Charles E. Leiserson (jan 2003). Transactions Everywhere. |
| [Xu et al., 2003]
|
Min Xu and Rastislav Bodik and Mark D. Hill (Jun 2003). A ``Flight Data Recorder'' for Enabling Full-System Multiprocessor Deterministic Replays. In: Proceedings of the 30th Annual International Symposium on Computer Architecture. pp. 122--133. |
| [Flanagan and Qadeer, 2003]
|
Cormac Flanagan and Shaz Qadeer (Jun 2003). A Type and Effect System for Atomicity. In: Proceedings of the 2003 Conference on Programming Language Design and Implementation. pp. 338--349. |
| [Herlihy et al., 2003]
|
Maurice Herlihy and Victor Luchangco and Mark Moir and III William N. Scherer (Jul 2003). Software Transactional Memory for Dynamic-Sized Data Structures. In: PODC~'03: Proc. 22nd ACM Symposium on Principles of Distributed Computing. pp. 92--101. |
| [Harris and Fraser, 2003]
|
Tim Harris and Keir Fraser (Oct 2003). Language Support for Lightweight Transactions. In: Object-Oriented Programming, Systems, Languages, and Applications. pp. 388--402. |
| [Rajwar and Bernstein, 2003]
|
Ravi Rajwar and Philip A. Bernstein (Oct 2003). Atomic Transactional Execution in Hardware: A New High-Performance Abstraction for Databases. In: Position paper for the 10th International Workshop on High Performance Transaction Systems. |
| [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. |
| [Rajwar and Goodman, 2003]
|
Ravi Rajwar and James R. Goodman (Nov-Dec 2003). Transactional Execution: Toward Reliable, High-Performance Multithreading.. In: IEEE Micro, 23(6):117-125. |
| [Herlihy et al., 2003]
|
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]
|
Keir Fraser ( 2003). Practical lock freedom. PhD thesis, Cambridge University Computer Laboratory. Also available as Technical Report UCAM-CL-TR-579. |
| [Gniady and Falsafi, 2003]
|
Chris Gniady and Babak Falsafi ( 2003). Speculative Sequential Consistency with Little Custom Storage. In: Journal of Instruction-Level Parallelism, 5. |
| [Lie, 2004]
|
Sean Lie (May 2004). Hardware Support for Unbounded Transactional Memory. Masters thesis, Massachusetts Institute of Technology. |
| [Hammond et al., 2004]
|
Lance Hammond and Vicky Wong and Mike Chen and Brian D. Carlstrom and John D. Davis and Ben Hertzberg and Manohar K. Prabhu and Honggo Wijaya and Christos Kozyrakis and Kunle Olukotun (Jun 2004). Transactional Memory Coherence and Consistency. In: Proceedings of the 31st Annual International Symposium on Computer Architecture. pp. 102. IEEE Computer Society. |
| [Marathe and Scott, 2004]
|
Virendra J. Marathe and Michael L. Scott (Jun 2004). A Qualitative Survey of Modern Software Transactional Memory Systems. Technical Report Nr. TR 839. University of Rochester Computer Science Dept.. |
| [Michael, 2004]
|
Maged M. Michael (Jun 2004). Hazard Pointers: Safe Memory Reclamation for Lock-FreeObjects. In: IEEE Transactions on Parallel and Distributed Systems, 15(6). |
| [Michael, 2004]
|
Maged M. Michael (Jun 2004). Scalable Lock-Free Malloc. In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. pp. 35--46. |
| [Harris, 2004]
|
Tim Harris (Jul 2004). Exceptions and side-effects in atomic blocks. In: Proceedings of the 2004 Workshop on Concurrency and Synchronization in Java programs. pp. 46-53. Proceedings published as Memorial University of Newfoundland CS Technical Report 2004-01. |
| [Cole and Herlihy, 2004]
|
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]
|
William N. Scherer III and Michael L. Scott (Jul 2004). Contention Management in Dynamic Software Transactional Memory. In: Proceedings of the ACM PODC Workshop on Concurrency and Synchronization in Java Programs. St. John's, NL, Canada. In conjunction with PODC'04. Please also download errata from www.cs.rochester.edu/u/scott/papers/2004_CSJP_contention_mgmt_errata.pdf. |
| [Hammond et al., 2004]
|
Lance Hammond and Brian D. Carlstrom and Vicky Wong and Ben Hertzberg and Mike Chen and Christos Kozyrakis and Kunle Olukotun (Oct 2004). Programming with Transactional Coherence and Consistency (TCC). In: ASPLOS-XI: Proceedings of the 11th international conference on Architectural support for programming languages and operating systems. pp. 1--13. ACM Press. |
| [Marathe et al., 2004]
|
Virendra J. Marathe and William N. Scherer III and Michael L. Scott (Oct 2004). Design Tradeoffs in Modern Software Transactional Memory Systems. In: Proceedings of the 7th Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers. Houston, TX. |
| [Moore, 2004]
|
Kevin E. Moore (Oct 2004). Thread-Level Transactional Memory. In: Wisconsin Industrial Affiliates Meeting. Wisconsin Industrial Affiliates Meeting. |
| [Scherer III and Scott, 2004]
|
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. |
| [Pizlo et al., 2004]
|
Filip Pizlo and Marek Prochazka and Suresh Jagannathan and Jan Vitek ( 2004). Transactional Lock-Free Objects for Real-Time Java. In: Proceedings of the PODC Workshop on Concurrency and Synchronization in Java Programs. pp. 54--62. |
| [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 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. |
| [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. |
| [Hammond et al., 2004]
|
Lance Hammond and Brian D. Carlstrom and Vicky Wong and Mike Chen and Christos Kozyrakis and Kunle Olukotun (Nov-Dec 2004). Transactional Coherence and Consistency: Simplifying Parallel Hardware and Software. In: IEEE Micro, 24(6). |
| [Lev and Moir, 2004]
|
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]
|
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]
|
Jeremy Manson and William Pugh and Sarita V. Adve (Jan 2005). The Java Memory Model. In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 378--391. |
| [Ennals, 2005]
|
Robert Ennals (Jan 2005). Efficient Software Transactional Memory. Technical Report Nr. IRC-TR-05-051. Intel Research Cambridge Tech Report. |
| [Ananian et al., 2005]
|
C. Scott Ananian and Krste Asanovic and Bradley C. Kuszmaul and Charles E. Leiserson and Sean Lie (Feb 2005). Unbounded Transactional Memory. In: Proceedings of the Eleventh International Symposium on High-Performance Computer Architecture. pp. 316--327. |
| [Kozyrakis and Olukotun, 2005]
|
Christos Kozyrakis and Kunle Olukotun (Feb 2005). ATLAS: A Scalable Emulator for Transactional Parallel System. In: Workshop on Architecture Research using FPGA Platforms, 11th International Symposium on High-Performance Computer Architectur. |
| [Moore et al., 2005]
|
Kevin E. Moore and Mark D. Hill and David A. Wood (Mar 2005). Thread-Level Transactional Memory. In: Technical Report: CS-TR-2005-1524, Dept. of ComputerSciences, University of Wisconsin, :1--11. |
| [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. |
| [Xu et al., 2005]
|
Min Xu and Rastislav Bodik and Mark D. Hill (Jun 2005). A Serializability Violation Detector for Shared-Memory Server Programs. In: Proceedings of the SIGPLAN 2005 Conference on Programming Language Design and Implementation. pp. 1--14. |
| [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. |
| [Chafi et al., 2005]
|
Hassan Chafi and Chi Cao Minh and Austen McDonald and Brian D. Carlstrom and JaeWoong Chung and Lance Hammond and Christos Kozyrakis and Kunle Olukotun (June 2005). TAPE: A Transactional Application Profiling Environment. In: ICS '05: Proceedings of the 19th annual international conference on Supercomputing. pp. 199--208. |
| [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. |
| [Harris and Fraser, 2005]
|
Tim Harris and Keir Fraser (Jun 2005). Revocable locks for non-blocking programming. In: Proceedings of the ACM Symposium on Principles and Practice of Parallel Programming, to appear. |
| [Rajwar et al., 2005]
|
Ravi Rajwar and Maurice Herlihy and Konrad Lai (Jun 2005). Virtualizing Transactional Memory. In: Proceedings of the 32nd Annual International Symposium on Computer Architecture. pp. 494--505. IEEE Computer Society. |
| [Guerraoui et al., 2005]
|
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. |
| [Marathe and Scott, 2005]
|
Virendra J. Marathe and Michael L. Scott (Jul 2005). Using LL/SC to Simplify Word-based Software Transactional Memory (POSTER). In: Proceedings of the 24th ACM Symposium on Principles of Distributed Computing. Las Vegas, NV. |
| [Moir, 2005]
|
Mark Moir (Jul 2005). Hybrid Transactional Memory. Unpublished manuscript. |
| [Scherer III and Scott, 2005]
|
William N. Scherer III and Michael L. Scott (Jul 2005). Advanced Contention Management for Dynamic Software Transactional Memory. In: Proceedings of the 24th ACM Symposium on Principles of Distributed Computing. Las Vegas, NV. |
| [Scherer III and Scott, 2005]
|
William N. Scherer III and Michael L. Scott (Jul 2005). Randomization in STM Contention Management (POSTER). In: Proceedings of the 24th ACM Symposium on Principles of Distributed Computing. Las Vegas, NV. Winner, most popular poster presentation award. |
| [Moreshet et al., 2005]
|
Tali Moreshet and R. Iris Bahar and Maurice Herlihy (aug 2005). Energy reduction in multiprocessor systems using transactional memory (poster). In: ISLPED~'05: Proceedings of the 2005 international symposium on Low power electronics and design. pp. 331--334. |
| [Ringenburg and Grossman, 2005]
|
Michael F. Ringenburg and Dan Grossman (September 2005). AtomCaml: First-class Atomicity via Rollback. In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming. pp. 92--104. |
| [Guerraoui et al., 2005]
|
Rachid Guerraoui and Maurice Herlihy and Bastian Pochon (Sep 2005). Polymorphic Contention Management. In: DISC '05: Proceedings of the nineteenth International Symposium on Distributed Computing. pp. 303--323. Published by LNCS, Springer. |
| [Marathe et al., 2005]
|
Virendra J. Marathe and William N. Scherer III and Michael L. Scott (Sep 2005). Adaptive Software Transactional Memory. In: Proceedings of the 19th International Symposium on Distributed Computing. Cracow, Poland. Earlier but expanded version available as TR 868, University of Rochester Computer Science Dept., May2005. |
| [McDonald et al., 2005]
|
Austen McDonald and JaeWoong Chung and Hassan Chafi and Chi Cao Minh and Brian D. Carlstrom and Lance Hammond and Christos Kozyrakis and Kunle Olukotun (Sept 2005). Characterization of TCC on Chip-Multiprocessors. In: Proceedings of the 14th International Conference on Parallel Architectures and Compilation Techniques. |
| [Ananian and Rinard, 2005]
|
C. Scott Ananian and Martin Rinard (Oct 2005). Efficient Object-Based Software Transactions. In: Proceedings, Workshop on Synchronization and Concurrency in Object-Oriented Languages. San Diego, CA. In conjunction with OOPSLA'05. |
| [Cachopo and Rito-Silva, 2005]
|
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]
|
Brian D. Carlstrom and JaeWoong Chung and Hassan Chafi and Austen McDonald and Chi Cao Minh and Lance Hammond and Christos Kozyrakis and Kunle and Olukotun (Oct 2005). Transactional Execution of Java Programs. In: OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL). |
| [Guerraoui et al., 2005]
|
Rachid Guerraoui and Maurice Herlihy and Michal Kapalka and Bastian Pochon (October 2005). Robust Contention Management in Software Transactional Memory. In: Proceedings of the OOPSLA Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL). |
| [Lev and Maessen, 2005]
|
Yossi Lev and Jan-Willem Maessen (October 2005). Toward a Safer Interaction with Transactional Memory by Tracking Object Visibility. In: Proceedings, Workshop on Synchronization and Concurrency in Object-Oriented Languages. San Diego, CA. |
| [Luchangco and Marathe, 2005]
|
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]
|
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. |
| [Shriram et al., 2005]
|
Arrvindh Shriram and Virendra J. Marathe and Sandhya Dwarkadas and Michael L. Scott and David Eisenstat and Christopher Heriot and William N. Scherer III and Michael F. Spear (Dec 2005). Hardware Acceleration of Software Transactional Memory. Technical Report Nr. TR 887. Computer Science Department, University of Rochester. Revised, March 2006; condensed version submitted for publication. |
| [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. |
| [Ennals, 2006]
|
Robert Ennals (Jan 2006). Software Transactional Memory Should Not Be Obstruction-Free. Technical Report Nr. IRC-TR-06-052. Intel Research Cambridge Tech Report. |
| [McCloskey et al., 2006]
|
Bill McCloskey and Feng Zhou and David Gay and Eric Brewer (Jan 2006). Autolocker: Synchronization Inference for Atomic Sections. In: Proc. 33rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL). pp. 346-358. ACM Press. |
| [Moore et al., 2006]
|
Kevin E. Moore and Jayaram Bobba and Michelle J. Moravan and Mark D. Hill and David A. Wood (Feb 2006). LogTM: Log-based Transactional Memory. In: Proceedings of the 12th International Symposium on High-Performance Computer Architecture. pp. 254--265. |
| [Chung et al., 2006]
|
JaeWoong Chung and Hassan Chafi and Chi Cao Minh and Austen McDonald and Brian D. Carlstrom and Christos Kozyrakis and Kunle Olukotun (Feb 2006). The Common Case Transactional Behavior of Multithreaded Programs. In: 12th International Symposium on High Performance Computer Architecture (HPCA). |
| [Moss, 2006]
|
J. Eliot B. Moss (Feb 2006). Open Nested Transactions: Semantics and Support (poster). In: Workshop on Memory Performance Issues. |
| [Njoroge et al., 2006]
|
Njuguna Njoroge and Sewook Wee and Jared Casper and Justin Burdick and Yuriy Teslyar and Christos Kozyrakis and Kunle Olukotun (Feb 2006). Building and Using the ATLAS Transactional Memory System. In: Workshop on Architecture Research using FPGA Platforms, 12th International Symposium on High-Performance Computer Architecture. |
| [Carlstrom et al., 2006]
|
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. |
| [Kumar et al., 2006]
|
Sanjeev Kumar and Michael Chu and Christopher J. Hughes and Partha Kundu and Anthony Nguyen (Mar 2006). Hybrid Transactional Memory. In: Proceedings of Symposium on Principles and Practice of Parallel Programming. |
| [Manassiev et al., 2006]
|
Kaloian Manassiev and Madalin Mihailescu and Cristiana Amza (Mar 2006). Exploiting Distributed Version Concurrency in a Transactional Memory Cluster. In: Proc. 11th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming (PPoPP '06). pp. 198-208. ACM Press. |
| [Marathe et al., 2006]
|
Virendra J. Marathe and Michael F. Spear and Christopher Heriot and Athul Acharya and David Eisenstat and William N. Scherer III and Michael L. Scott (Mar 2006). Lowering the Overhead of Software Transactional Memory. Technical Report Nr. TR 893. Computer Science Department, University of Rochester. Condensed version submitted for publication. |
| [Saha et al., 2006]
|
Bratin Saha and Ali-Reza Adl-Tabatabai and Richard L. Hudson and Chi Cao Minh and Benjamin Hertzberg (Mar 2006). McRT-STM: a High Performance Software Transactional Memory System for a Multi-core Runtime. In: Proc. 11th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming (PPoPP '06). pp. 187-197. |
| [Scherer III et al., 2006]
|
William N. Scherer III and Doug Lea and Michael L. Scott (Mar 2006). Scalable Synchronous Queues. In: Proceedings of the 11th PPOPP ACM Symposium on Principles and Practice of Parallel Programming. New York, NY. |
| [Blundell et al., 2006]
|
Colin Blundell and E Christopher Lewis and Milo M. K. Martin (Apr 2006). Unrestricted Transactional Memory: Supporting I/O and System Calls within Transactions. Technical Report Nr. CIS-06-09. Department of Computer and Information Science, University of Pennsylvania. |
| [Hindman and Grossman, 2006]
|
B. Hindman and D. Grossman (may 2006). Strong atomicity for Java without virtual-machine support. Technical Report Nr. 2006-05-01catId1 = {SW},. University of Washington, Dept. Computer Science. |
| [Adl-Tabatabai et al., 2006]
|
Ali-Reza Adl-Tabatabai and Brian T. Lewis and Vijay Menon and Brian R. Murphy and Bratin Saha and Tatiana Shpeisman (Jun 2006). Compiler and Runtime Support for Efficient Software Transactional Memory. In: Proceedings of the 2006 Conference on Programming language design and implementation. pp. 26--37. |
| [Hudson et al., 2006]
|
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]
|
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. |
| [Ceze et al., 2006]
|
Luis Ceze and James Tuck and Calin Cascaval and Josep Torrellas (June 2006). Bulk Disambiguation of Speculative Threads in Multiprocessors. In: Proceedings of the 33rd Annual International Symposium on Computer Architecture. |
| [Chung et al., 2006]
|
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]
|
David Dice and Nir Shavit (Jun 2006). What Really Makes Transactions Faster? In: Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing. |
| [Harris et al., 2006]
|
Tim Harris and Mark Plesko and Avraham Shinnar and David Tarditi (Jun 2006). Optimizing Memory Transactions. In: Proceedings of the 2006 Conference on Programming language design and implementation. pp. 14-25. ACM Press. |
| [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. |
| [Lev and Moir, 2006]
|
Yossi Lev and Mark Moir (Jun 2006). Debugging with Transactional Memory. In: Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing. |
| [Marathe et al., 2006]
|
Virendra J. Marathe and Michael F. Spear and Christopher Heriot and Athul Acharya and David Eisenstat and William N. Scherer III and Michael L. Scott (Jun 2006). Lowering the Overhead of Software Transactional Memory. In: ACM SIGPLAN Workshop on Transactional Computing. Held in conjunction with PLDI 2006. Expanded version available as TR 893, Department of Computer Science, University of Rochester, March 2006. |
| [McDonald et al., 2006]
|
Austen McDonald and JaeWoong Chung and D. Carlstrom Brian and Chi Cao Minh and Hassan Chafi and Christos Kozyrakis and Kunle Olukotun (Jun 2006). Architectural Semantics for Practical Transactional Memory. pp. 53-65. |
| [Riegel et al., 2006]
|
Torvald Riegel and Christof Fetzer and Pascal Felber (Jun 2006). Snapshot Isolation for Software Transactional Memory . In: Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing. |
| [Scott, 2006]
|
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]
|
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. |
| [Shriraman et al., 2006]
|
Arrvindh Shriraman and Virendra J. Marathe and Sandhya Dwarkadas and Michael L. Scott and David Eisenstat and Christopher Heriot and William N. Scherer III and Michael F. Spear (Jun 2006). Hardware Acceleration of Software Transactional Memory. In: ACM SIGPLAN Workshop on Transactional Computing. Held in conjunction with PLDI 2006. Expanded version available as TR 887, Department of Computer Science, University of Rochester, December 2005, revised March 2006. |
| [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. |
| [Zilles and Baugh, 2006]
|
Craig Zilles and Lee Baugh (Jun 2006). Extending Hardware Transactional Memory to Support Nonbusy Waiting and Nontransactional Actions. In: Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing. |
| [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. |
| [Welc et al., 2006]
|
Adam Welc and Antony L. Hosking and Suresh Jagannathan (Jul 2006). Transparently Reconciling Transactions with Locking for Java Synchronization. In: European Conference on Object-Oriented Programming. pp. 148--173. |
| [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. |
| [Manovit et al., 2006]
|
Chaiyasit Manovit and Sudheendra Hangal and Hassan Chafi and Austen McDonald and Christos Kozyrakis and Kunle Olukotun (sep 2006). Testing implementations of transactional memory. In: PACT~'06: Proceedings of the 15th international conference on Parallel architectures and compilation techniques. pp. 134--143. |
| [Dice et al., 2006]
|
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]
|
Torvald Riegel and Pascal Felber and Christof Fetzer (Sep 2006). A Lazy Snapshot Algorithm with Eager Validation. In: (ed.), Proceedings of the 20th International Symposium on Distributed Computing, DISC 2006. Volume 4167 of Lecture Notes in Computer Science. pp. 284--298. Springer. |
| [Spear et al., 2006]
|
Michael F. Spear and Virendra J. Marathe and William N. Scherer III and Michael L. Scott (Sep 2006). Conflict Detection and Validation Strategies for SoftwareTransactional Memory. In: Proceedings of the Twentieth International Symposium on Distributed Computing. |
| [Grossman et al., 2006]
|
Dan Grossman and Jeremy Manson and William Pugh (October 2006). What Do High-Level Memory Models Mean for Transactions? In: Proceedings of the 2006 workshop on memory system performance and correctness. pp. 62--69. |
| [Hindman and Grossman, 2006]
|
Benjamin Hindman and Dan Grossman (October 2006). Atomicity via Source-to-Source Translation. In: Proceedings of the 2006 workshop on memory system performance and correctness. pp. 82--91. |
| [Herlihy et al., 2006]
|
Maurice Herlihy and Mark Moir and Victor Luchangco (oct 2006). A Flexible Framework for Implementing Software Transactional Memory. In: Proceedings of the 21th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications. pp. 253-262. |
| [Moravan et al., 2006]
|
Michelle J. Moravan and Jayaram Bobba and Kevin E. Moore and Luke Yen and Mark D. Hill and Ben Liblit and Michael M. Swift and David A. Wood (Oct 2006). Supporting nested transactional memory in logTM. In: ASPLOS-XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems. pp. 359--370. ACM Press, New York, NY, USA. |
| [Agrawal et al., 2006]
|
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). |
| [Chung et al., 2006]
|
JaeWoong Chung and Chi Cao Minh and Austen McDonald and Travis Skare and Hassan Chafi and Brian D. Carlstrom and Christos Kozyrakis and Kunle Olukotun (Oct 2006). Tradeoffs in Transactional Memory Virtualization. In: ASPLOS-XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems. ACM Press. |
| [Riley and Zilles, 2006]
|
Nicholas Riley and Craig Zilles (Oct 2006). Hardware Transactional Memory Support for Lightweight Dynamic Language Evolution. In: Dynamic Language Symposium. |
| [Blundell et al., 2006]
|
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). |
| [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. |
| [Moss and Hosking, 2006]
|
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. |
| [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. |
| [Saha et al., 2006]
|
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]
|
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. |
| [Chuang et al., 2006]
|
Weihaw Chuang and Satish Narayanasamy and Ganesh Venkatesh and Jack Sampson and Michael Van Biesbrouck and Gilles Pokam and Brad Calder and Osvaldo Colavin ( 2006). Unbounded page-based transactional memory. In: ASPLOS-XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems. pp. 347--358. Published by ACM. |
| [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. |
| [Ying et al., 2006]
|
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]
|
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. |
| [McDonald et al., 2007]
|
Austen McDonald and Brian Carlstrom and JaeWoong Chung and Chi Cao Minh and Hassan Chafi and Christos Kozyrakis and Kunle Olukotun (Jan 2007). Transactional Memory: The Hardware-Software Interface. In: IEEE Micro, 27(1). |
| [Ceze et al., 2007]
|
Luis Ceze and Pablo Montesinos and Christoph von Praun and Josep Torrellas (Feb 2007). Colorama: Architectural Support for Data-Centric Synchronization. In: Proceedings of the 13th International Symposium on High-Performance Computer Architecture. |
| [Yen et al., 2007]
|
Luke Yen and Jayaram Bobba and Michael M. Marty and Kevin E. Moore and Haris Volos and Mark D. Hill and Michael M. Swift and David A. Wood (Feb 2007). LogTM-SE: Decoupling Hardware Transactional Memory from Caches. In: Proceedings of the 13th International Symposium on High-Performance Computer Architecture(HPCA). |
| [Dice and Shavit, 2007]
|
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]
|
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. |
| [Ni et al., 2007]
|
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]
|
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]
|
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]
|
Rachid Guerraoui and Michal Kapalka and Jan Vitek (Mar 2007). STMBench7: A Benchmark for Software Transactional Memory. In: Proceedings of the Second European Systems Conference (EuroSys2007). pp. 315--324. Published by ACM. |
| [Bai et al., 2007]
|
Tongxin Bai and Xipeng Shen and Chengliang Zhang and William N. Scherer III and Chen Ding and Michael L. Scott (Mar 2007). A Key-Based Adaptive Transactional Memory Executor. In: Proceedings of the NSF Next Generation Software Program Workshop. Invited paper. Also available as TR 909, Department of Computer Science, University of Rochester, December 2006. |
| [Spear et al., 2007]
|
Michael F. Spear and Arrvindh Shriraman and Hemayet Hossain and Sandhya Dwarkadas and Michael L. Scott (Mar 2007). Alert-on-Update: A Communication Aid for Shared Memory Multiprocessors (poster paper). In: Proceedings of the Twelfth ACM Symposium on Principles and Practice of Parallel Programming. |
| [Kachris and Kulkarni, 2007]
|
Christoforos Kachris and Chidamber Kulkarni (April 2007). Configurable Transactional Memory. In: Proceedings of the 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines. pp. 65--72. |
| [Njoroge et al., 2007]
|
Njuguna Njoroge and Jared Casper and Sewook Wee and Yuriy Teslyar and Daxia Ge and Christos Kozyrakis and Kunle Olukotun (Apr 2007). ATLAS: A Chip-Multiprocessor with Transactional Memory Support. In: Proceedings of the Conference on Design Automation and Test in Europe. |
| [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. |
| [Fraser and Harris, 2007]
|
Keir Fraser and Tim Harris (may 2007). Concurrent programming without locks. In: ACM Transactions on Computer Systems (TOCS), 25(2). |
| [Isard and Birrell, 2007]
|
Michael Isard and Andrew Birrell (may 2007). Automatic Mutual Exclusion. In: HotOS~'07: Proc. 11th Workshop on Hot Topics in Operating Systems. |
| [Porter et al., 2007]
|
Donald E. Porter and Owen S. Hofmann and Emmett Witchel (May 2007). Is the Optimism in Optimistic Concurrency Warranted? In: Proceedings of the 11th Workshop on Hot Topics in Operating Systems. |
| [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. |
| [Elmas et al., 2007]
|
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]
|
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. |
| [Blake and Mudge, 2007]
|
Geoffrey Blake and Trevor Mudge (jun 2007). Duplicating and Verifying LogTM with OS Support in the M5 Simulator. In: WDDD~'07: Proc. 6th Workshop on Duplicating, Deconstructing, and Debunking. |
| [Bobba et al., 2007]
|
Jayaram Bobba and Kevin E. Moore and Luke Yen and Haris Volos and Mark D. Hill and Michael M. Swift and David A. Wood (Jun 2007). Performance Pathologies in Hardware Transactional Memory. In: Proceedings of the 34th Annual International Symposium on Computer Architecture. |
| [Cao Minh et al., 2007]
|
Chi Cao Minh and Martin Trautmann and JaeWoong Chung and Austen McDonald and Nathan Bronson and Jared Casper and Christos Kozyrakis and Kunle Olukotun (Jun 2007). An Effective Hybrid Transactional Memory System with Strong Isolation Guarantees. In: Proceedings of the 34th Annual International Symposium on Computer Architecture. |
| [Neelakantam et al., 2007]
|
Naveen Neelakantam and Ravi Rajwar and Suresh Srinivas and Uma Srinivasan and Craig Zilles (June 2007). Hardware Atomicity for Reliable Software Speculation . In: Proceedings of the 34th Annual International Symposium on Computer Architecture. |
| [Riegel et al., 2007]
|
Torvald Riegel and Christof Fetzer and Pascal Felber (Jun 2007). Time-based Transactional Memory with Scalable Time Bases. In: 19th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) . |
| [Shriraman et al., 2007]
|
Arrvindh Shriraman and Michael F. Spear and Hemayet Hossain and Virendra Marathe and Sandhya Dwarkadas and Michael L. Scott (Jun 2007). An Integrated Hardware-Software Approach To Flexible Transactional Memory. In: Proceedings of the 34rd Annual International Symposium on Computer Architecture. |
| [Spear et al., 2007]
|
Michael F. Spear and Arrvindh Shriraman and Luke Dalessandro and Sandhya Dwarkadas and Michael L. Scott (Jun 2007). Nonblocking Transactions Without Indirection Using Alert-on-Update. In: Proceedings of the 19th Annual ACM SYMP on Parallelism in Algorithms and Architectures. San Diego, CA. |
| [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. |
| [Waliullah and Stenstrom, 2007]
|
M. M. Waliullah and Per Stenstrom (Aug 2007). Starvation-Free Transactional Memory System Protocols. In: Proceedings of the 13th Euro-Par Conference: European Conference on Parallel and Distributed Computing. pp. 280--291. |
| [Riegel et al., 2007]
|
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. |
| [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. |
| [Baugh and Zilles, 2007]
|
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]
|
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. |
| [Felber et al., 2007]
|
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]
|
Tim Harris and Srdjan Stipic (aug 2007). Abstract Nested Transactions. In: TRANSACT~'07: 2nd Workshop on Transactional Computing. |
| [Hofmann et al., 2007]
|
Owen S. Hofmann and Donald E. Porter and Christopher J. Rossbach and Hany E. Ramadan and Emmett Witchel (aug 2007). Solving Difficult HTM Problems Without Difficult Hardware. In: TRANSACT~'07: 2nd Workshop on Transactional Computing. |
| [Lev et al., 2007]
|
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]
|
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]
|
Michael L. Scott and Michael F. Spear and Luke Dalessandro and Virendra J. Marathe (Aug 2007). Transactions and Privatization in Delaunay Triangulation. In: Proceedings of the 26th PODC ACM Symposium on Principles of Distributed Computing. Portland, OR. Brief announcement. |
| [Spear et al., 2007]
|
Michael F. Spear and Virendra J. Marathe and Luke Dalessandro and Michael L. Scott (Aug 2007). Privatization Techniques for Software Transactional Memory. In: Proceedings of the 26th PODC ACM Symposium on Principles of Distributed Computing. Brief announcement. Extended version available as TR 915, Computer Science Department, University of Rochester, Feb. 2007(http://www.cs.rochester.edu/u/scott/papers/2007_TR915.pdf). |
| [Tremblay, 2007]
|
Marc Tremblay (aug 2007). Transactional memory for a modern microprocessor. |
| [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. |
| [Halpert et al., 2007]
|
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. |
| [Olszewski et al., 2007]
|
Marek Olszewski and Jeremy Cutler and J. Gregory Steffan (sep 2007). JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory. In: PACT~'07: Proc. 16th International Conference on Parallel Architecture and Compilation Techniques. pp. 365--375. |
| [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. |
| [Watson et al., 2007]
|
Ian Watson and Chris Kirkham and Mikel Luj\'an (sep 2007). A Study of a Transactional Parallel Routing Algorithm. In: PACT~'07: Proc. 16th International Conference on Parallel Architecture and Compilation Techniques. pp. 388--398. |
| [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. |
| [Marathe et al., 2007]
|
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]
|
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]
|
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]
|
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. |
| [Gottschlich and Connors, 2007]
|
Justin Gottschlich and Daniel A. Connors (Oct 2007). DracoSTM: A Practical C++ Approach to Software Transactional Memroy. In: Proceedings of the 2007 ACM SIGPLAN Symposium on Library-Centric Software Design (LCSD). |
| [Cohen et al., 2007]
|
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. |
| [Ellen et al., 2007]
|
Faith Ellen and Yossi Lev and Victor Luchangco and Mark Moir ( 2007). SNZI: scalable NonZero indicators. In: PODC '07: Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing. New York, NY, USA, pp. 13--22. Published by ACM. |
| [Blundell et al., 2007]
|
Colin Blundell and Joe Devietti and E. Christopher Lewis and Milo M. K. Martin ( 2007). Making the fast case common and the uncommon case simple in unbounded transactional memory. In: SIGARCH Comput. Archit. News, 35(2):24--34. |
| [Lourenco and Cunha, 2007]
|
Joao M.S. Lourenco and Goncalo T. Cunha ( 2007). Testing patterns for software transactional memory engines. In: PADTAD '07: Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging. New York, NY, USA, pp. 36--42. Published by ACM. |
| [Ferri et al., 2007]
|
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. |
| [Rossbach et al., 2007]
|
Christopher J. Rossbach and Owen S. Hofmann and Donald E. Porter and Hany E. Ramadan and Aditya Bhandari and Emmett Witchel ( 2007). TxLinux: using and managing hardware transactional memory in an operating system. In: SOSP '07: Proceedings of twenty-first ACM SIGOPS Symposium on Operating Systems Principles. New York, NY, USA, pp. 87--102. Published by ACM. |
| [Ramadan et al., 2007]
|
Hany E. Ramadan and Christopher J. Rossbach and Donald E. Porter and Owen S. Hofmann and Aditya Bhandari and Emmett Witchel ( 2007). MetaTM/TxLinux: transactional memory for an operating system. In: ISCA '07: Proceedings of the 34th annual international symposium on Computer architecture. New York, NY, USA, pp. 92--103. Published by ACM. |
| [Chafi et al., 2007]
|
Hassan Chafi and Jared Casper and Brian D. Carlstrom and Austen McDonald and Chi Cao Minh and Woongki Baek and Christos Kozyrakis and Kunle Olukotun ( 2007). A Scalable, Non-blocking Approach to Transactional Memory. In: HPCA. pp. 97-108. |
| [Wee et al., 2007]
|
Sewook Wee and Jared Casper and Njuguna Njoroge and Yuriy Teslyar and Daxia Ge and Christos Kozyrakis and Kunle Olukotun ( 2007). A Practical FPGA-based Framework for Novel CMP Research. In: FPGA '07: Proceedings of the 2007 ACM/SIGDA 15th International Symposium on Field Programmable Gate Arrays. pp. 116--125. ACM Press, New York, NY, USA. |
| [Sanchez et al., 2007]
|
Daniel Sanchez and Luke Yen and Mark D. Hill and Karthikeyan Sankaralingam ( 2007). Implementing Signatures for Transactional Memory. In: MICRO '07: Proceedings of the 40th Annual IEEE/ACM International Symposium on Microarchitecture. pp. 123--133. Published by IEEE Computer Society. |
| [Sreeram et al., 2007]
|
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]
|
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]
|
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). |
| [Hill et al., 2007]
|
Mark D. Hill and Derek Hower and Kevin E. Moore and Michael M. Swift and Haris Volos and David A. Wood ( 2007). A Case for Deconstructing Hardware Transactional Memory Systems. Technical Report Nr. CS-TR-2007-1594. University of Wisconsin-Madison. Also Dagstuhl Seminar Proceedings 07361. |
| [Lev et al., 2007]
|
Yossi Lev and Mark Moir and Dan Nussbaum ( 2007). PhTM: Phased Transactional Memory. In: Workshop on Transactional Computing (TRANSACT). |
| [Matveev et al., 2007]
|
Alex Matveev and Ori Shalev and Nir Shavit ( 2007). Dynamic Identification of Transactional Memory Locations. Unpublished Manuscript, Tel-Aviv University. |
| [Tabba et al., 2007]
|
Fuad Tabba and Cong Wang and James R. Goodman and Mark Moir ( 2007). NZTM: Nonblocking, Zero-Indirection Transactional Memory. In: Workshop on Transactional Computing (TRANSACT). |
| [Abadi et al., 2008]
|
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]
|
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]
|
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. |
| [Titos et al., 2008]
|
J. Rub\'en Titos and Manuel E. Acacio and Jos\'e M. Garc\'\ia (feb 2008). Characterization of Conflicts in Log-Based Transactional Memory (LogTM). In: PDP~'08: Proc. 16th EuroMicro International Conference on Parallel, Distributed, and Network-Based Processing. pp. 30--37. |
| [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. |
| [von Praun et al., 2008]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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. |
| [Cohen et al., 2008]
|
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. |
| [Dice et al., 2008]
|
Dave Dice and Maurice Herlihy and Doug Lea and Yossi Lev and Victor Luchangco and Wayne Mesard and Mark Moir and Kevin Moore and Dan Nussbaum (feb 2008). Applications of the Adaptive Transactional Memory Test Platform. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
| [Dragojevi\'c et al., 2008]
|
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. |
| [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. |
| [Herlihy and Koskinen, 2008]
|
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]
|
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. |
| [Moir et al., 2008]
|
Mark Moir and Kevin Moore and Dan Nussbaum (feb 2008). The Adaptive Transactional Memory Test Platform: A Tool for Experimenting with Transactional Code for Rock. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
| [Riegel and Brum, 2008]
|
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]
|
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. |
| [Swift et al., 2008]
|
Michael Swift and Haris Volos and Neelam Goyal and Luke Yen and Mark Hill and David Wood (feb 2008). OS Support for Virtualizing Hardware Transactional Memory. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
| [Vallejo et al., 2008]
|
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]
|
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]
|
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. |
| [Tuck et al., 2008]
|
James Tuck and Wonsun Ahn and Luis Ceze and Josep Torrellas (mar 2008). SoftSig: software-exposed hardware signatures for code analysis and optimization. In: ASPLOS~'08: Proc. 13th International Conference on Architectural Support for Programming Languages and Operating Systems. pp. 145--156. |
| [Liu et al., 2008]
|
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]
|
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]
|
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]
|
Martin Abadi and Andrew Birrell and Tim Harris and Johnson Hsieh and Michael Isard (Mar 2008). Dynamic Separation for Transactional Memory. Technical Report Nr. MSR-TR-2008-43. Microsoft Research. |
| [Gottschlich and Connors, 2008]
|
Justin Gottschlich and Daniel A. Connors (Apr 2008). Extending Contention Managers for User-Defined Priority-Based Transactions. In: Proceedings of the 2008 Workshop on Exploiting Parallelism with Transactional Memory and other Hardware Assisted Methods April, 2008. |
| [Tasiran, 2008]
|
Serdar Tasiran (apr 2008). A Compositional Method for Verifying Software Transactional Memory Implementations. Technical Report Nr. MSR-TR-2008-56. Microsoft Research. |
| [Waliullah and Stenstrom, 2008]
|
MM Waliullah and Per Stenstrom (April 2008). Intermediate Checkpointing with Conflicting Access Prediction in Transactional Memory Systems. In: Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium. |
| [Perfumo et al., 2008]
|
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. |
| [HU and Hutton, 2008]
|
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]
|
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. |
| [Luchangco, 2008]
|
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. |
| [Khan et al., 2008]
|
Behram Khan and Matthew Horsnell and Ian Rogers and Mikel Lujan and Andrew Dinn and Ian Watson (jun 2008). A first insight into object-aware hardware transactional memory (brief announcement). In: SPAA~'08: Proc. 20th Symposium on Parallelism in Algorithms and Architectures. pp. 107--109. |
| [Avni and Shavit, 2008]
|
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]
|
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. |
| [Yoo and Lee, 2008]
|
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]
|
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]
|
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]
|
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]
|
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. |
| [Lucia et al., 2008]
|
Brandon Lucia and Joseph Devietti and Karin Strauss and Luis Ceze (Jun 2008). Atom-Aid: Detecting and Surviving Atomicity Violations. In: ISCA~'08: Proc. 35th Annual International Symposium on Computer Architecture. pp. 277--288. |
| [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. |
| [Koskinen and Herlihy, 2008]
|
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]
|
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]
|
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]
|
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]
|
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. |
| [Chung et al., 2008]
|
JaeWoong Chung and Woongki Baek and Nathan Grasso Bronson and Jiwon Seo and Christos Kozyrakis and Kunle Olukotun (jun 2008). ASeD: Availability, Security, and Debugging Support using Transactional Memory (poster). In: SPAA~'08: Proc. 20th Symposium on Parallelism in Algorithms and Architectures. pp. 366--366. |
| [Kumar et al., 2008]
|
Sanjeev Kumar and Daehyun Kim and Mikhail Smelyanskiy and Yen-Kuang Chen and Jatin Chhugani and Christopher J. Hughes and Changkyu Kim and Victor W. Lee and Anthony D. Nguyen (Jun 2008). Atomic Vector Operations on Chip Multiprocessors. In: Proceedings of the 35th Annual International Symposium on Computer Architecture. pp. 441--452. Published by ACM. |
| [Baugh et al., 2008]
|
Lee Baugh and Naveen Neelakantam and Craig Zilles (June 2008). Using Hardware Memory Protection to Build a High-Performance, Strongly Atomic Hybrid Transactional Memory. In: Proceedings of the 35th Annual International Symposium on Computer Architecture. |
| [Bobba et al., 2008]
|
Jayaram Bobba and Neelam Goyal and Mark D. Hill and Michael M. Swift and David A. Wood (Jun 2008). TokenTM: Efficient Execution of Large Transactions with Hardware Transactional Memory. In: Proceedings of the 35th Annual International Symposium on Computer Architecture. |
| [Carlstrom, 2008]
|
Brian David Carlstrom (Jun 2008). Programming with Transactional Memory. PhD thesis, Stanford University. |
| [Shriraman et al., 2008]
|
Arrvindh Shriraman and Sandhya Dwarkadas and Michael L. Scott (Jun 2008). Flexible Decoupled Transactional Memory Support. In: Proceedings of the 35th Annual International Symposium on Computer Architecture. |
| [Cohen et al., 2008]
|
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. |
| [Ziarek et al., 2008]
|
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]
|
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. |
| [Guerraoui et al., 2008]
|
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. |
| [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. |
| [O'Leary et al., 2008]
|
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. |
| [Spear et al., 2008]
|
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]
|
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]
|
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]
|
Mark D. Hill (Aug 2008). Is Transactional Memory an Oxymoron? VLDB Keynote Address. |
| [Rui et al., 2008]
|
Guo Rui and Hong An and Ruiling Dou and Ming Cong and Yaobin Wang and Qi Li (Aug 2008). LogSPoTM: A Scalable Thread Level Speculation Model Based on Transactional Memory. In: Proc. 13th Asia-Pacific Computer Systems Architecture Conference. |
| [Drepper, 2008]
|
Ulrich Drepper (sep 2008). Parallel Programming with Transactional Memory. In: Queue, 6(5):38--45. |
| [Wang et al., 2008]
|
Shaogang Wang and Dan Wu and Zhengbin Pang and Xiaodong Yang (sep 2008). Software Assisted Transact Cache to Support Efficient Unbounded Transactional Memory. In: HPCC~'08: Proc. 10th International Conference on High Performance Computing and Communications. pp. 77--84. |
| [Moir, 2008]
|
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]
|
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. |
| [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. |
| [Khan et al., 2008]
|
Behram Khan and Matthew Horsnell and Ian Rogers and Mikel Luj\'an and Andrew Dinn and Ian Watson (sep 2008). An object-aware hardware transactional memory. In: HPCC~'08: Proc. 10th International Conference on High Performance Computing and Communications. pp. 93--102. |
| [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. |
| [Schneider et al., 2008]
|
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]
|
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. |
| [Guerraoui et al., 2008]
|
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. |
| [Cao Minh et al., 2008]
|
Chi Cao Minh and JaeWoong Chung and Christos Kozyrakis and Kunle Olukotun (September 2008). STAMP: Stanford Transactional Applications for Multi-Processing. In: IISWC '08: Proceedings of The IEEE International Symposium on Workload Characterization. |
| [Kotselidis et al., 2008]
|
Christos Kotselidis and Mohammad Ansari and Kim Jarvis and Mikel Luj\'an and Chris C. Kirkham and Ian Watson (sep 2008). DiSTM: A Software Transactional Memory Framework for Clusters. In: ICPP~'08: Proc. 37th International Conference on Parallel Processing. |
| [Marathe et al., 2008]
|
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]
|
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]
|
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]
|
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. |
| [Pugsley et al., 2008]
|
Seth H. Pugsley and Manu Awasthi and Niti Madan and Naveen Muralimanohar and Rajeev Balasubramonian (oct 2008). Scalable and reliable communication for hardware transactional memory. In: PACT~'08: Proc. 17th international conference on Parallel architectures and compilation techniques. pp. 144--154. |
| [Birgisson et al., 2008]
|
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. |
| [Lupon et al., 2008]
|
Marc Lupon and Grigorios Magklis and Antonio Gonz\'alez (oct 2008). Version management alternatives for hardware transactional memory. In: MEDEA~'08: Proceedings of the 9th workshop on MEmory performance. |
| [Cascaval et al., 2008]
|
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]
|
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]
|
James Larus and Christos Kozyrakis (Dec 2008). Transactional Memory. In: Communications of the ACM, 51(7):80--88. |
| [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. |
| [Carvalho et al., 2008]
|
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. |
| [Poe et al., 2008]
|
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. |
| [Lev and Maessen, 2008]
|
Yossi Lev and Jan-Willem Maessen ( 2008). Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory. In: PPoPP '08: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming. New York, NY, USA, pp. 197--206. Published by ACM. |
| [Yen et al., 2008]
|
Luke Yen and Stark C. Draper and Mark D. Hill ( 2008). Notary: Hardware techniques to enhance signatures. In: MICRO '08: Proceedings of the 2008 41st IEEE/ACM International Symposium on Microarchitecture. pp. 234--245. Published by IEEE Computer Society. |
| [Ramadan et al., 2008]
|
Hany E. Ramadan and Christopher J. Rossbach and Emmett Witchel ( 2008). Dependence-aware transactional memory for increased concurrency. In: MICRO '08: Proceedings of the 2008 41st IEEE/ACM International Symposium on Microarchitecture. pp. 246--257. Published by IEEE Computer Society. |
| [Cohen et al., 2008]
|
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]
|
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]
|
Maurice Herlihy and Nir Shavit ( 2008). The art of multiprocessor programming. Morgan Kaufmann. |
| [Kotselidis et al., 2008]
|
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]
|
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]
|
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. |
| [Guerraoui et al., 2008]
|
Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh ( 2008). Permissiveness in Transactional Memories. In: DISC. Published by Springer. |
| [Titos et al., 2008]
|
Rub\'en Titos and Manuel E. Acacio and Jos\'e M. Garc\'\ia ( 2008). Directory-Based Conflict Detection in Hardware Transactional Memory. In: HiPC~'08: Proc. 15th International Conference on High Performance Computing. Springer-Verlag Lecture Notes in Computer Science volume 5374. |
| [Elmas et al., 2009]
|
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. |
| [Ansari et al., 2009]
|
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. |
| [Abadi and Plotkin, 2009]
|
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. |
| [Bronson et al., 2009]
|
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]
|
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. |
| [Guerraoui and Kapa\lka, 2009]
|
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. |
| [Ansari et al., 2009]
|
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. |
| [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. |
| [Ansari et al., 2009]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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. |
| [Aydonat and Abdelrahman, 2009]
|
Utku Aydonat and Tarek Abdelrahman (feb 2009). Hardware support for serializable transaction: a study of feasibility and performance. In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
| [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. |
| [Harmanci et al., 2009]
|
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. |
| [Kestor et al., 2009]
|
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]
|
Eric Koskinen and Maurice Herlihy (feb 2009). Concurrent Non-commutative Boosted Transactions. In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
| [Lev et al., 2009]
|
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]
|
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]
|
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. |
| [Tabba et al., 2009]
|
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]
|
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]
|
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]
|
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. |
| [Hofmann et al., 2009]
|
Owen S. Hofmann and Christopher J. Rossbach and Emmett Witchel (mar 2009). Maximum benefit from a minimal HTM. In: ASPLOS '09: Proceeding of the 14th international conference on Architectural support for programming languages and operating systems. pp. 145--156. Published by ACM. |
| [Dice et al., 2009]
|
Dave Dice and Yossi Lev and Mark Moir and Daniel Nussbaum (mar 2009). Early experience with a commercial hardware transactional memory implementation. :157--168. |
| [Fahmy et al., 2009]
|
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]
|
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]
|
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]
|
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]
|
Armin Heindl and Gilles Pokam (March 2009). Modeling Software Transactional Memory with AnyLogic. In: SimuTools. pp. 10. |
| [Roy et al., 2009]
|
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]
|
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]
|
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]
|
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. |
| [Pant and Byrd, 2009]
|
Salil Pant and Gregory Byrd (may 2009). Extending concurrency of transactional memory programs by using value prediction. In: CF~'09: Proc. 6th ACM conference on Computing frontiers. pp. 11--20. |
| [Anastopoulos et al., 2009]
|
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. |
| [Gupta et al., 2009]
|
Shantanu Gupta and Florin Sultan and Srihari Cadambi and Franjo Ivancic and Martin Rotteler (may 2009). Using hardware transactional memory for data race detection. In: IPDPS~'09: Proc. 23rd International Parallel and Distributed Processing Symposium. |
| [Korland et al., 2009]
|
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]
|
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. |
| [Sanyal et al., 2009]
|
Sutirtha Sanyal and Sourav Roy and Adri\'an Cristal and Osman S. Unsal and Mateo Valero (may 2009). Clock gate on abort: Towards energy-efficient hardware Transactional Memory. In: HPPAC~'09: Proc. 5th Workshop on High-Performance, Power-Aware Computing. |
| [Sonmez et al., 2009]
|
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]
|
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. |
| [Titos et al., 2009]
|
Rub\'en Titos and Manuel E. Acacio and Jose M. Garcia (may 2009). Speculation-based conflict resolution in hardware transactional memory. In: IPDPS~'09: Proc. 23rd International Parallel and Distributed Processing Symposium. |
| [Wang et al., 2009]
|
Ruibo Wang and Kai Lu and Xicheng Lu (jun 2009). Investigating transactional memory performance on ccNUMA machines. In: HPDC~'09: Proc. of the 18th ACM international symposium on High performance distributed computing. pp. 67--68. |
| [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. |
| [Mankin et al., 2009]
|
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. |
| [Chung et al., 2009]
|
JaeWoong Chung and Woongki Baek and Christos Kozyrakis (jun 2009). Fast memory snapshot for concurrent programming without synchronization. In: ICS~'09: Proc. 23rd international conference on Supercomputing. pp. 117--125. |
| [Gajinov et al., 2009]
|
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. |
| [Shriraman and Dwarkadas, 2009]
|
Arrvindh Shriraman and Sandhya Dwarkadas (jun 2009). Refereeing conflicts in hardware transactional memory. In: ICS~'09: Proc. 23rd international conference on Supercomputing. pp. 136--146. Also available as TR 939, Department of Computer Science, University of Rochester, September 2008. |
| [Dragojevi\'c et al., 2009]
|
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]
|
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. |
| [Xekalakis et al., 2009]
|
Polychronis Xekalakis and Nikolas Ioannou and Marcelo Cintra (jun 2009). Combining thread level speculation helper threads and runahead execution. In: ICS~'09: Proc. 23rd international conference on Supercomputing. pp. 410--420. |
| [Pant and Byrd, 2009]
|
Salil Pant and Gregory Byrd (jun 2009). Limited early value communication to improve performance of transactional memory. In: ICS~'09: Proc. 23rd international conference on Supercomputing. pp. 421--429. |
| [He and Hong, 2009]
|
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]
|
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]
|
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]
|
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. |
| [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. |
| [Sanyal et al., 2009]
|
Sutirtha Sanyal and Adri\'an Cristal and Osman S. Unsal and Mateo Valero and Sourav Roy (jun 2009). Dynamically Filtering Thread-Local Variables in Lazy-Lazy Hardware Transactional Memory. In: HPCC~'09: Proc. 11th Conference on High Performance Computing and Communications. |
| [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. |
| [Gottschlich et al., 2009]
|
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]
|
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]
|
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]
|
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. |
| [Imbs et al., 2009]
|
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. |
| [Attiya et al., 2009]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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. |
| [Hossain et al., 2009]
|
Hemayet Hossain and Sandhya Dwarkadas and Michael C. Huang (sep 2009). DDCache: Decoupled and Delegable Cache Data and Metadata. In: PACT~'09: Proc. 18th International Conference on Parallel Architectures and Compilation Techniques. |
| [Lupon et al., 2009]
|
Marc Lupon and Grigorios Magklis and Antonio Gonz\'alez (sep 2009). FASTM: A Log-based Hardware Transactional Memory with Fast Abort Recovery. In: PACT~'09: Proc. 18th International Conference on ParallelArchitectures and Compilation Techniques. |
| [Lupon et al., 2009]
|
Marc Lupon and Grigorios Magklis and Antonio Gonz\'alez (sep 2009). FASTM: A Log-based Hardware Transactional Memory with Fast Abort Recovery. In: PACT~'09: Proc. 18th International Conference on Parallel Architecture and Compilation Techniques. |
| [Nikas et al., 2009]
|
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]
|
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. |
| [Porter et al., 2009]
|
Leo Porter and Bumyong Choi and Dean Tullsen (sep 2009). Mapping Out a Path from Hardware Transactional Memory to Speculative Multithreading. In: PACT~'09: Proc. 18th International Conference on Parallel Architectures and Compilation Techniques. |
| [Quislant et al., 2009]
|
Ricardo Quislant and Eladio Gutierrez and Oscar. Plata (sep 2009). Improving Signatures by Locality Exploitation for Transactional Memory. 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. |
| [Shaogang et al., 2009]
|
Wang Shaogang and Dan Wu and Zhengbin Pang and Xiaodong Yang (sep 2009). DTM: Decoupled Hardware Transactional Memory To Support Unbounded Transaction and Operating System. In: ICPP~'09: Proc. 38th International Conference on Parallel Processing. |
| [Hughes et al., 2009]
|
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. |
| [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. |
| [Porter et al., 2009]
|
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]
|
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]
|
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]
|
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. |
| [Chaudhry et al., 2009]
|
Shailender Chaudhry and Robert Cypher and Magnus Ekman and Martin Karlsson and Anders Landin and Sherman Yip and H\rakan Zeffer and Marc Tremblay ( 2009). Rock: A High-Performance Sparc CMT Processor. In: IEEE Micro, 29(2):6-16. |
| [Wu et al., 2009]
|
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. |
| [Blake et al., 2009]
|
Geoffrey Blake and Ronald G. Dreslinski and Trevor Mudge ( 2009). Proactive transaction scheduling for contention management. In: Micro-42: Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture. New York, NY, USA, pp. 156--167. Published by ACM. |
| [Blundell et al., 2009]
|
Colin Blundell and Milo M.K. Martin and Thomas F. Wenisch ( 2009). InvisiFence: performance-transparent memory ordering in conventional multiprocessors. In: ISCA~'09: Proc. 36th annual International Symposium on Computer Architecture. pp. 233--244. |
| [Chaudhry et al., 2009]
|
Shailender Chaudhry and Robert Cypher and Magnus Ekman and Martin Karlsson and Anders Landin and Sherman Yip and H\aakan Zeffer and Marc Tremblay ( 2009). Simultaneous speculative threading: a novel pipeline architecture implemented in sun's rock processor. In: ISCA~'09: Proc. 36th annual International Symposium on Computer Architecture. pp. 484--495. |
| [Poe et al., 2009]
|
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. |
| [Romano et al., 2009]
|
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]
|
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. |
| [Guerraoui et al., 2009]
|
Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh ( 2009). Software Transactional Memory on Relaxed Memory Models. In: Proceedings of the 21st International Conference on Computer Aided Verification. Published by Springer. |
| [Tomic et al., 2009]
|
Sasa Tomic and Cristian Perfumo and Chinmay Kulkarni and Adria Armejach and Adri\'an Cristal and Osman Unsal and Tim Harris and Mateo Valero ( 2009). EazyHTM: Eager-Lazy Hardware Transactional Memory. In: MICRO '09: Proceedings of the 2009 42nd IEEE/ACM International Symposium on Microarchitecture. |
| [Dalessandro et al., 2010]
|
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]
|
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. |
| [Gramoli et al., 2010]
|
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. |
| [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. |
| [Palmieri et al., 2010]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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. |
| [Teixeira et al., 2010]
|
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. |
| [Romano et al., 2010]
|
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. |
| [Bieniusa and Thiemann, 2011]
|
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. |
| [Porter and Witchel, 2010]
|
Donald E. Porter and Emmett Witchel (March 2010). Understanding Transactional Memory Performance. In: Proceedings of the 2010 IEEE International Symposium on Performance Analysis of Software Systems. pp. 97--108. |