Escape Analysis for Object Oriented Languages. Application to Java (1999)

by Bruno Blanchet
Venue:IN PROCEEDINGS OF THE 14TH ANNUAL CONFERENCE ON OBJECT-ORIENTED PROGRAMMING SYSTEMS, LANGUAGES AND APPLICATIONS
Citations:89 - 1 self

Documents Related by Co-Citation

241 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
211 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
110 Removing Unnecessary Synchronization in Java – Jeff Bogda, Urs Hölzle - 1999
477 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
118 Effective synchronization removal for Java – E Ruf - 2000
472 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
1635 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
360 Analysis of pointers and structures – D R CHASE, M WEGMAN, F K ZADECK - 1990
302 Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis – Jeffrey Dean, David Grove, Craig Chambers - 1995
98 Relevant Context Inference – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 1999
5 Removing unnecessay synchronization in java – Jeff Bodga, Urs Holzle - 1999
34 On the complexity of escape analysis – A Deutsch - 1997
59 Escape Analysis: Correctness Proof, Implementation and Experimental Results – Bruno Blanchet - 1998
54 Escape Analysis on Lists – Young Gil Park, Benjamin Goldberg - 1992
359 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
62 Static analyses for eliminating unnecessary synchronizations from Java programs – Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers - 1999
312 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
24 Synchronization Transformations for Parallel Computing – Pedro Diniz, Martin Rinard - 1997
281 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996