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. |
| [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. |
| [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. |
| [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. |
| [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. |
| [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.. |
| [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. |
| [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. :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. |
| [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. |
| [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). |
| [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. |
| [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. |
| [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. |
| [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. |
| [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). |
| [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. |
| [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. |
| [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. |
| [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. |
| [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. |
| [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. |
| [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. |
| [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. |
| [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). |
| [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. |
| [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. |
| [Larus and Rajwar, 2006]
|
James R. Larus and Ravi Rajwar ( 2006). Transactional Memory. Morgan & Claypool. |
| [Ceze et al., 2007] |