Compositional Pointer and Escape Analysis for Java Programs (1999)

by John Whaley , Martin Rinard
Venue:In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications
Citations:230 - 28 self

Documents Related by Co-Citation

262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
122 Effective synchronization removal for Java – E Ruf - 2000
117 Removing Unnecessary Synchronization in Java – Jeff Bogda, Urs Hölzle - 1999
517 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
88 Escape analysis for object-oriented languages: application to java – Bruno Blanchet - 1999
1613 The Java Language Specification – James Gosling, Bill Joy, Guy Steele - 1996
292 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
68 Static Analyses for Eliminating Unnecessary Synchronization from Java Programs – Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers - 1999
92 Escape Analysis for Object Oriented Languages. Application to Java – Bruno Blanchet - 1999
134 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
113 Types for safe locking – Cormac Flanagan - 1999
1868 Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
526 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
394 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
32 Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs – James Corbett - 1998
85 Scalable Context-Sensitive Flow Analysis Using Instantiation Constraints – Manuel Fähndrich, Jakob Rehof, Manuvir Das - 2000
77 Points-to analysis using BDDs – Marc Berndl, Feng Qian, Laurie Hendren, Navindra Umanee - 2003
369 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994