|
1
|
Monotone data flow anlaysis frameworks
– J Kam, J Ullman
- 1977
|
|
17
|
The gem optimizing compiler system
– D Blickstein, P Craig, C Davidson, N Faiman, K Glossop, R G S Hobbs, W Noyce
- 1992
|
|
58
|
Dependence-Based Program Analysis
– Richard Johnson, Keshav Pingali
- 1993
|
|
27
|
Construction of Thinned Gated Single-Assignment Form
– Paul Havlak
- 1993
|
|
15
|
Extended SSA with Factored Use-Def Chains to Support Optimization and Parallelism
– Eric Stoltz, Michael P. Gerlek, Michael Wolfe
|
|
39
|
Symbolic evaluation and the global value graph
– John H Reif, Harry R Lewis
- 1977
|
|
26
|
The Theory and Practice of Compiler Writing
– J Tremblay, P Sorenson
- 1985
|
|
99
|
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-driven SSA Form
– Michael P. Gerlek, Eric Stoltz, Michael Wolfe
- 1995
|
|
9
|
Optimizing Compilers for SPARC
– S S Muchnick
- 1988
|
|
81
|
Interprocedural constant propagation
– David Callahan, Keith D. Cooper, Ken Kennedy
- 1986
|
|
85
|
Beyond Induction Variables
– Michael Wolfe
- 1992
|
|
123
|
The Program Dependence Web: A representation supporting control-, data-, and demand-driven interpretation of imperative languages
– R Ballance, A Maccabe, K Ottenstein
- 1990
|
|
749
|
Efficiently computing static single assignment form and the control dependence graph
– Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
- 1991
|
|
749
|
The program dependence graph and its use in optimization
– Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren
- 1987
|
|
43
|
Interprocedural Constant Propagation: A Study of Jump Function Implementations
– Dan Grove , Linda Torczon
- 1993
|
|
285
|
A unified approach to global program optimization
– Gary A. Kildall
- 1973
|
|
295
|
Constant propagation with conditional branches
– Mark N. Wegman, F. Kenneth Zadeck
- 1991
|
