Interprocedural Symbolic Analysis (1994)

Cached

Download Links

by Paul Havlak
Citations:49 - 1 self

Active Bibliography

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
210 An Implementation of Interprocedural Bounded Regular Section Analysis – Paul Havlak , Ken Kennedy - 1991
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
63 Managing Interprocedural Optimization – Mary Wolcott Hall - 1991
38 Automatic and Interactive Parallelization – Kathryn S. McKinley, Kathryn S. Mckinley, Kathryn S. Mckinley - 1994
35 Symbolic Program Analysis and Optimization for Parallelizing Compilers – Mohammad R. Haghighat, Constantine D. Polychronopoulos - 1992
41 Automatic Array Privatization and Demand-Driven Symbolic Analysis – Peng Tu - 1995
30 Construction of Thinned Gated Single-Assignment Form – Paul Havlak - 1993
90 Beyond Induction Variables – Michael Wolfe - 1992
19 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
74 Combining Analyses, Combining Optimizations – Clifford Noel Click, Jr. - 1995
105 Automatic Program Parallelization – Utpal Banerjee, Rudolf Eigenmann, Alexandru Nicolau, David A. Padua - 1993
105 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
Computing φ-nodes in linear time using DJ-graphs – Vugranam C. Sreedhar, Guang R. Gao - 1994
20 Static Single Information Form – C. Scott Ananian, Martin Rinard - 1999
21 Delinearization: an Efficient Way to Break Multiloop Dependence Equations – Vadim Maslov - 1992
309 Interprocedural Compilation of Fortran D for MIMD Distributed-Memory Machines – Mary W. Hall, Seema Hiranandani, Ken Kennedy, Chau-Wen Tseng - 1992