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:61 - 2 self

Documents Related by Co-Citation

59 Escape Analysis on Lists – Young Gil Park, Benjamin Goldberg - 1992
37 On the complexity of escape analysis – A Deutsch - 1997
89 From Region Inference to von Neumann Machines via Region Representation Inference – Lars Birkedal, Mads Tofte, Magnus Vejlstrup - 1996
263 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
60 Lifetime analysis of dynamically allocated objects – C Ruggieri, T P Murtagh - 1988
117 Removing Unnecessary Synchronization in Java – Jeff Bogda, Urs Hölzle - 1999
75 On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications – A Deutsch - 1990
90 Escape analysis for object-oriented languages. Applications to Java – B Blanchet - 1999
171 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
91 The interprocedural analysis and automatic parallelization of Scheme programs – Williams Ludwell Harrison - 1989
9 A type-based analysis for stack allocation in functional languages – U81 J Hannan - 1995
116 Thin Locks: Featherweight Synchronization for Java – David Bacon, Ravi Konuru, Chet Murthy, Mauricio Serrano - 1998
68 Static Analyses for Eliminating Unnecessary Synchronization from Java Programs – Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers - 1999
89 Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages – Alexander Aiken, Manuel Fähndrich, Raph Levien - 1995
231 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
396 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
92 Escape Analysis for Object Oriented Languages. Application to Java – Bruno Blanchet - 1999
31 Implementing the call-by-value lambda-calculus using a stack of regions – M Tofte, J-P Talpin - 1994
518 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996