Interprocedural Symbolic Analysis (1994)

Cached

Download Links

by Paul Havlak
Citations:49 - 1 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
105 Symbolic Analysis for Parallelizing Compilers – Mohammad R. Haghighat, Constantine D. Polychronopoulos - 1994
309 Constant propagation with conditional branches – Mark N. Wegman, F. Kenneth Zadeck - 1991
127 Interprocedural dependence analysis and parallelization – M Burke, R Cytron - 1986
105 Performance analysis of parallelizing compilers on the Perfect Benchmarks programs – William Blume, Rudolf Eigenmann - 1992
138 Practical Dependence Testing – Gina Goff, Ken Kennedy, Chau-Wen Tseng - 1991
825 The program dependence graph and its use in optimization – Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren - 1987
347 Dependence Analysis for Supercomputing – U Banerjee
129 A Methodology for Procedure Cloning – K D Cooper, M W Hall, K Kennedy - 1993
80 The Range Test: A Dependence Test for Symbolic, Non-linear – Expressions William Blume, William Blume, Rudolf Eigenmann - 1994
122 ParaScope: a parallel programming environment – Keith D. Cooper, Mary W. Hall, Robert T. Hood, Ken Kennedy, Kathryn S. McKinley, John M. Mellor-Crummey, Linda Torczon, SCOTT K. WARREN - 1993
37 An empirical investigation of the effectiveness and limitations of automatic parallelization – J P Singh, J L Hennessy - 1991
120 Efficient and exact data dependence analysis – D E Maydan, J L Hennessy, M S Lam - 1991
83 Counting Solutions to Presburger Formulas: How and Why – William Pugh - 1994
90 Beyond Induction Variables – Michael Wolfe - 1992
425 Supercompilers for Parallel and Vector Computers – H Zima - 1991
221 Detecting equality of variables in programs – B Alpern, M Wegman, F Zadeck - 1988
89 Semantical interprocedural parallelization: An overview of the PIPS project – François Irigoin, Pierre Jouvelot, Rémi Triolet - 1991
31 Symbolic evaluation and the analysis of programs – T E CHEATHAM, J G H HOLLOWAY, H A TOWNLEY - 1979