Interprocedural Symbolic Analysis (1994)

Cached

Download Links

by Paul Havlak
Citations:48 - 1 self

Active Bibliography

120 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
196 An Implementation of Interprocedural Bounded Regular Section Analysis – Paul Havlak , Ken Kennedy - 1991
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
60 Managing Interprocedural Optimization – Mary Wolcott Hall - 1991
34 Symbolic Program Analysis and Optimization for Parallelizing Compilers – Mohammad R. Haghighat, Constantine D. Polychronopoulos - 1992
38 Automatic and Interactive Parallelization – Kathryn S. McKinley, Kathryn S. Mckinley, Kathryn S. Mckinley - 1994
40 Automatic Array Privatization and Demand-Driven Symbolic Analysis – Peng Tu - 1995
27 Construction of Thinned Gated Single-Assignment Form – Paul Havlak - 1993
85 Beyond Induction Variables – Michael Wolfe - 1992
17 Compiler Support for Software Prefetching – Nathaniel McIntosh - 1998
2 ALPHA: A family of structured intermediate representations for a parallelizing C compiler – Laurie J. Hendren, Guang R. Gao, Vugranam Sreedhar - 1992
67 Combining Analyses, Combining Optimizations – Clifford Noel Click, Jr. - 1995
97 Automatic Program Parallelization – Utpal Banerjee, Rudolf Eigenmann, Alexandru Nicolau, David A. Padua - 1993
95 Symbolic Analysis for Parallelizing Compilers – Mohammad R. Haghighat, Constantine D. Polychronopoulos - 1994
43 Interprocedural Constant Propagation: A Study of Jump Function Implementations – Dan Grove , Linda Torczon - 1993
17 Static Single Information Form – C. Scott Ananian, Martin Rinard - 1999
Computing φ-nodes in linear time using DJ-graphs – Vugranam C. Sreedhar, Guang R. Gao - 1994
21 Delinearization: an Efficient Way to Break Multiloop Dependence Equations – Vadim Maslov - 1992
300 Interprocedural Compilation of Fortran D for MIMD Distributed-Memory Machines – Mary W. Hall, Seema Hiranandani, Ken Kennedy, Chau-Wen Tseng - 1992