Removing Unnecessary Synchronization in Java (1999)

Cached

Download Links

by Jeff Bogda , Urs Hölzle
Venue:In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications
Citations:117 - 1 self

Documents Related by Co-Citation

262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
231 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
68 Static Analyses for Eliminating Unnecessary Synchronization from Java Programs – Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers - 1999
88 Escape analysis for object-oriented languages: application to java – Bruno Blanchet - 1999
122 Effective synchronization removal for Java – E Ruf - 2000
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
92 Escape Analysis for Object Oriented Languages. Application to Java – Bruno Blanchet - 1999
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
113 Types for safe locking – Cormac Flanagan - 1999
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
62 Guava: A Dialect of Java without Data Races – David F. Bacon, Robert E. Strom, Ashis Tarafdar - 2000
120 Practical Virtual Method Call Resolution for Java – Vijay Sundaresan, Laurie Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon, Charles Godin - 2000
135 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
245 Fast static analysis of C++ virtual function calls – David F Bacon, Peter F Sweeney
325 Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis – Jeffrey Dean, David Grove, Craig Chambers - 1995
121 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991
46 Implementation of the typed call-by-value lambda-calculus using a stack of regions – M Tofte, J-P Talpin - 1994