Static analyses for eliminating unnecessary synchronizations from Java programs (1999)

by Jonathan Aldrich , Craig Chambers , Emin Gun Sirer , Susan Eggers
Venue:In Static Analysis Symposium (SAS
Citations:68 - 4 self

Documents Related by Co-Citation

262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
117 Removing Unnecessary Synchronization in Java РJeff Bogda, Urs Hölzle - 1999
231 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
88 Escape analysis for object-oriented languages: application to java – Bruno Blanchet - 1999
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
290 Fixing the Java memory model – Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson - 1999
113 Types for safe locking – Cormac Flanagan - 1999
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
258 Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1998
557 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
122 Effective synchronization removal for Java – E Ruf - 2000
292 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
135 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
173 Parameterized types and Java – Joseph A. Bank, Barbara Liskov, Andrew C. Myers - 1996