|
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
|
