Fixing the Java memory model (1999)

by Jeremy Manson , William Pugh , Sarita V. Adve , Jeremy Manson
Venue:In ACM Java Grande Conference
Citations:289 - 9 self

Documents Related by Co-Citation

244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
350 Shared memory consistency models: A tutorial – Sarita V. Adve, Kourosh Gharachorloo - 1996
557 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
36 What do high-level memory models mean for transactions – Dan Grossman - 2006
136 Compiler and runtime support for efficient software transactional memory – Ali-Reza Adl-Tabatabai, Brian T Lewis, Vijay Menon, Brian R Murphy, Bratin Saha, Tatiana Shpeisman - 2006
384 Composable memory transactions – Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi - 2005
305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
113 Types for safe locking – Cormac Flanagan - 1999
122 Effective synchronization removal for Java – E Ruf - 2000
262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
516 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995
129 Effective static race detection for Java – Mayur Naik, Alex Aiken, John Whaley - 2006
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
117 Removing Unnecessary Synchronization in Java – Jeff Bogda, Urs Hölzle - 1999
62 Guava: A Dialect of Java without Data Races – David F. Bacon, Robert E. Strom, Ashis Tarafdar - 2000
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
68 Static Analyses for Eliminating Unnecessary Synchronization from Java Programs – Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers - 1999
94 Detecting access anomalies in programs with critical sections – A Dinning, E Schonberg - 1991