Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-driven SSA Form (1995)

by Michael P. Gerlek , Eric Stoltz , Michael Wolfe
Venue:ACM Transactions on Programming Languages and Systems
Citations:106 - 5 self

Documents Related by Co-Citation

839 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
80 The Range Test: A Dependence Test for Symbolic, Non-linear – Expressions William Blume, William Blume, Rudolf Eigenmann - 1994
176 Global value numbers and redundant computations – B K ROSEN, M N WEGMAN, F K ZADECK - 1988
90 Beyond Induction Variables – Michael Wolfe - 1992
35 Symbolic Program Analysis and Optimization for Parallelizing Compilers – Mohammad R. Haghighat, Constantine D. Polychronopoulos - 1992
573 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
655 High-Performance Compilers for Parallel Computing – M Wolfe - 1995
131 The Program Dependence Web: A representation supporting control-, data-, and demand-driven interpretation of imperative languages – R A Ballance, A B Maccabe, K J Ottenstein - 1990
73 Gated SSA-Based Demand-Driven Symbolic Analysis for Parallelizing Compilers – Peng Tu, David Padua - 1995
309 Constant propagation with conditional branches – Mark N. Wegman, F. Kenneth Zadeck - 1991
157 Lazy Code Motion – Jens Knoop, Oliver RĂ¼thing, Bernhard Steffen - 1992
85 Effective Partial Redundancy Elimination – Preston Briggs, Keith D. Cooper - 1994
105 Symbolic Analysis for Parallelizing Compilers – Mohammad R. Haghighat, Constantine D. Polychronopoulos - 1994
347 Dependence Analysis for Supercomputing – U Banerjee
43 Polaris: The Next Generation in Parallelizing Compilers – Bill Blume , Rudolf Eigenmann, Keith Faigin, John Grout, Jay Hoeflinger, David Padua, Paul Petersen, Bill Pottenger, Lawrence Rauchwerger, Peng Tu, Stephen Weatherford - 1994
92 Experience in the Automatic Parallelization of Four Perfect-Benchmark Programs – Rudolf Eigenmann, Jay Hoeflinger, Zhiyuan Li, David Padua - 1991
34 Automatic recognition of induction variables and recurrence relations by abstract interpretation – Z Ammerguallat, W L Harrison - 1990
121 Automatic Array Privatization – Peng Tu, David Padua - 1993
302 Advanced Compiler Optimizations for Supercomputers – D A Padua, M J Wolfe - 1986