Escape Analysis: Correctness Proof, Implementation and Experimental Results (1998)

Cached

Download Links

by Bruno Blanchet
Venue:In Conference Record of the 25th Annual ACM Symposium on Principles of Programming Languages
Citations:59 - 2 self

Documents Related by Co-Citation

34 On the complexity of escape analysis – A Deutsch - 1997
54 Escape Analysis on Lists – Young Gil Park, Benjamin Goldberg - 1992
86 From Region Inference to von Neumann Machines via Region Representation Inference – Lars Birkedal, Mads Tofte, Magnus Vejlstrup, Nkt Elektronik - 1996
241 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
55 Lifetime analysis of dynamically allocated objects – C Ruggieri, T P Murtagh - 1988
110 Removing Unnecessary Synchronization in Java – Jeff Bogda, Urs Hölzle - 1999
71 On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications – A Deutsch - 1990
78 Escape analysis for object-oriented languages: application to java – Bruno Blanchet - 1999
164 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
87 The interprocedural analysis and automatic parallelization of Scheme programs – W L HARRISON - 1989
105 Thin Locks: Featherweight Synchronization for Java – David Bacon, Ravi Konuru, Chet Murthy, Mauricio Serrano - 1998
9 A type-based analysis for stack allocation in functional languages – U81 J Hannan - 1995
62 Static analyses for eliminating unnecessary synchronizations from Java programs – Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers - 1999
211 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
375 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
89 Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages – Alexander Aiken, Manuel Fähndrich, Raph Levien - 1995
89 Escape Analysis for Object Oriented Languages. Application to Java – Bruno Blanchet - 1999
477 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
28 Implementing the call-by-value lambda-calculus using a stack of regions – Mads Tofte, Jean-Pierre Talpin - 1994