|
477
|
Points-to Analysis in Almost Linear Time
– Bjarne Steensgaard
- 1996
|
|
359
|
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers
– Maryam Emami, Rakesh Ghiya, Laurie J. Hendren
- 1994
|
|
281
|
Solving Shape-Analysis Problems in Languages with Destructive Updating
– Mooly Sagiv, Thomas Repst, Reinhard Wilhelm
- 1996
|
|
39
|
Memory Safety Without Runtime Checks or Garbage Collection
– Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner
- 2003
|
|
79
|
Efficient Points-To Analysis For Whole-Program Analysis
– Donglin Liang, Mary, Mary Jean Harrold
- 1999
|
|
115
|
Memory Management with Explicit Regions
– David Gay, Alex Aiken
- 1998
|
|
163
|
Region-Based Memory Management in Cyclone
– Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney
- 2002
|
|
229
|
LLVM: A compilation framework for lifelong program analysis & transformation
– Chris Lattner, Vikram Adve
- 2004
|
|
61
|
Points-to Analysis by Type Inference of Programs with Structures and Unions
– Bjarne Steensgaard
- 1996
|
|
26
|
Scalable Cross-Module Optimization
– A Andrew, S De Jong, J Peyton, R Schooler
- 1998
|
|
140
|
A Practical Sys-tem for Intermodule Code Optimization at LinkTime
– A Srivastava, D W Wall
- 1993
|
|
211
|
Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting
– Alain Deutsch
- 1994
|
|
178
|
Is it a tree, a dag, or a cyclic graph? a shape analysis for heap-directed pointers in c
– Rakesh Ghiya, Laurie J Hendren
- 1996
|
|
152
|
Detecting conflicts between structure accesses
– J R Larus, P N Hilfinger
- 1988
|
|
70
|
Connection Analysis: A Practical Interprocedural Heap Analysis for C
– Rakesh Ghiya, Laurie Hendren
- 1995
|
|
375
|
Efficient Context-Sensitive Pointer Analysis for C Programs
– Robert P. Wilson, Monica S. Lam
- 1995
|
|
31
|
LLVM: An Infrastructure for Multi-Stage Optimization
– Chris Arthur Lattner
- 2002
|
|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
|
520
|
SELF: The power of simplicity
– David Ungar, Randall B. Smith
- 1987
|
