Mary Wolcott Hall  Home/Search
Context Related
| stanford.edu//papers/hall91.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu//papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This dissertation addresses a number of important issues related to interprocedural optimization. Interprocedural optimization is an integral component in a compilation system for high-performance computing. The importance of interprocedural optimization stems from two sources: it increases the context available to the optimizing compiler, and it enables programmers to use procedure calls without the concern of hurting execution time. While important, interprocedural optimization can introduce ... (Update)
Context of citations to this paper: More
.... of the run time polymorphism, especially for trestle, and can be resolved by code splitting and cloning [Chambers and Ungar 1989; 1991; Hall 1991]. While the static number of run time polymorphic sites in the benchmarks is usually small, they are executed relatively...
...rather than on the code size increase. Several previous systems include forms of adaptive customization. Cooper et al. [CHK92] and Hall [Hall91] specialize Fortran procedures to obtain better information for dataflow optimizations, for example, to parallelize a loop. They present...
Cited by: More
Resolving and Applying Constraint Queries on - Context-Sensitive Analyses James (2004) (Correct)
Procedure Cloning and Integration for Converting Parallelism.. - So, Dean (2003) (Correct)
FIAT: A Framework for Interprocedural Analysis and.. - Carle, Hall.. (1995) (Correct)
Similar documents (at the sentence level):
6.4%: An Experiment with Inline Substitution - Cooper, Hall, Torczon (1991) (Correct)
Active bibliography (related documents): More All
1.1: Automatic and Interactive Parallelization - McKinley (1994) (Correct)
0.8: Analysis and Transformation in the ParaScope Editor - Kennedy, McKinley, Tseng (1991) (Correct)
0.7: Procedure Cloning - Keith Cooper Mary (1992) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.3: Combining Analyses, Combining Optimizations - Click, Jr. (1995) (Correct)
0.1: Environment), Energiya, Moscow, 1974. [Yevr81] Yevreinov, .. - Homogeneous Computer.. (Correct)
0.1: High-Performance Computing, National Security Applications.. - Goodman, al. (1998) (Correct)
Related documents from co-citation: More All
18: The impact of interprocedural analysis and optimization in the rn programming en.. (context) - Cooper, Kennedy et al. - 1986
15: Compilers: Principles (context) - Aho, Sethi et al. - 1986
15: Customization: Optimizing compiler technology for SELF (context) - Chambers, Ungar - 1989
BibTeX entry: (Update)
Mary Hall. Managing Interprocedural Optimization. PhD thesis, Rice University, October 1990. http://citeseer.ist.psu.edu/hall90managing.html More
@techreport{ hall98managing,
author = "Mary Wolcott Hall",
title = "Managing Interprocedural Optimization",
number = "TR91-157",
month = "28,",
pages = "167",
year = "1998",
url = "citeseer.ist.psu.edu/hall90managing.html" }
Citations (may not include all citations):866 Techniques and Tools (context) - Aho, Sethi et al. - 1986
480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987
283 Optimizing Supercompilers for Supercomputers (context) - Wolfe - 1989
258 Automatic translation of Fortran programs to vector form - Allen, Kennedy - 1987
232 Constant propagation with conditional branches (context) - Wegman, Zadeck - 1985
232 Constant propagation with conditional branches (context) - Wegman, Zadeck - 1989
225 Flow Analysis of Computer Programs (context) - Hecht - 1977
202 Make -- a program for maintaining computer programs - Feldman - 1979
171 Dependence graphs and compiler optimizations (context) - Kuck, Kuhn et al. - 1981
158 Improving register allocation for subscripted variables - Callahan, Carr et al. - 1990
152 An efficient method of computing static single assignment fo.. (context) - Cytron, Ferrante et al. - 1989
149 An implementation of interprocedural bounded regular section.. - Havlak, Kennedy - 1991
142 Process decomposition through locality of reference (context) - Rogers, Pingali - 1989
127 Control flow analysis in Scheme (context) - Shivers - 1988
116 Monotone data flow analysis frameworks (context) - Kam, Ullman - 1977
105 Computer Methods for Mathematical Computations (context) - Forsythe, Malcolm et al. - 1977
104 The Structure of Computers and Computations (context) - Kuck - 1978
91 An efficient way to find the side effects of procedure calls.. (context) - Banning - 1979
90 Compiler support for machine-independent parallel programmin.. - Hiranandani, Kennedy et al.
89 Supporting shared data structures on distributed memory mach.. (context) - Koelbel, Mehrotra et al. - 1990
87 Analysis of interprocedural side effects in a parallel progr.. (context) - Callahan, Kennedy - 1988
86 A precise inter-procedural data flow algorithm (context) - Myers - 1981
80 Direct parallelization of call statements (context) - Triolet, Irigoin et al. - 1986
79 Interprocedural dependence analysis and parallelization (context) - Burke, Cytron - 1986
72 A catalogue of optimizing transformations (context) - Allen, Cocke - 1972
70 An interval-based approach to exhaustive and incremental int.. (context) - Burke - 1987
69 Estimating interlock and improving balance for pipelined arc.. - Callahan, Cocke et al. - 1988
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
66 Interprocedural side-effect analysis in linear time (context) - Cooper, Kennedy - 1988
66 ParaScope: a parallel programming environment (context) - Callahan, Cooper et al. - 1988
66 Interprocedural constant propagation (context) - Callahan, Cooper et al. - 1986
59 Compiler analysis for the value ranges of variables (context) - Harrison - 1977
55 A program data flow analysis procedure (context) - Allen, Cocke - 1976
51 Fast interprocedural alias analysis (context) - Cooper, Kennedy - 1989
47 Minimizing register usage penalty at procedure calls (context) - Chow - 1988
43 The impact of interprocedural analysis and optimization in t.. (context) - Cooper, Kennedy et al. - 1986
43 Automatic loop interchange (context) - Allen, Kennedy - 1984
43 The impact of interprocedural analysis and optimization on t.. (context) - Cooper, Kennedy et al. - 1985
38 Code motion of control structures in high-level languages (context) - Cytron, Lowry et al. - 1986
38 Analyzing aliases of reference formal parameters (context) - Cooper - 1985
36 An nlogn algorithm for minimizing states in a finite automat.. (context) - Hopcroft - 1971
34 A theory of loop permutations (context) - Banerjee - 1990
32 An efficient hybrid algorithm for incremental data flow anal.. (context) - Marlowe, Ryder - 1990
32 Efficient computation of flow insensitive interprocedural su.. (context) - Cooper, Kennedy - 1984
28 fly detection of access anomalies - Schonberg - 1989
27 Incremental data flow analysis in a structured program edito.. (context) - Zadeck - 1984
26 An analysis of inline substitution for a structured programm.. (context) - Scheifler - 1977
25 Interprocedural optimization: Eliminating unnecessary recomp.. (context) - Burke, Cooper et al. - 1990
24 Parallel program debugging with on-the-fly anomaly detection (context) - Hood, Kennedy et al. - 1990
24 Constructing the procedure call multigraph (context) - Callahan, Carle et al. - 1990
23 Software---Practice and Experience (context) - Davidson, Holler et al. - 1988
21 Efficient interprocedural analysis for program restructuring.. (context) - Li, Yew - 1988
21 Data flow analysis for procedural languages (context) - Rosen - 1979
20 Rigi -- A Model for Software System Construction (context) - Muller - 1986
17 Interprocedural optimization: Eliminating unnecessary recomp.. (context) - Cooper, Kennedy et al. - 1986
16 Superb tool semi automatic MIMDSIMD parallelization (context) - Bast, tool et al. - 1988
16 Advanced loop interchanging (context) - Wolfe
15 Interactive Parallelization of Numerical Scientific Programs (context) - Balasundaram - 1989
14 Smart recompilation (context) - Tichy, Baker - 1985
12 A Study of the Effects of Subprogram Inlining (context) - Holler - 1991
11 A practical environment for scientific programming (context) - Carle, Cooper et al. - 1987
10 Interprocedural analysis versus procedure integration (context) - Richardson, Ganapathi - 1989
10 Interprocedural optimization: Experimental results (context) - Richardson, Ganapathi - 1989
10 Constructing the call graph of a program (context) - Ryder - 1979
9 Array distribution in superb (context) - Gerndt
9 Interprocedural Data Flow Analysis in a Programming Environm.. (context) - Cooper - 1983
8 Predicting the effects of optimization on a procedure body (context) - Ball - 1979
8 Interprocedural analysis and program restructuring for paral.. (context) - Li, Yew - 1988
7 Efficient recompilation of module interfaces in a software d.. (context) - Muller, Hood et al. - 1986
6 Inline function expansion for inlining C programs (context) - Hwu, Chang - 1989
6 Exposing side-effects in a PL/I optimizing compiler (context) - Spillman
5 The CONVEX application compiler (context) - Metzger, Smith - 1991
5 Editing and compiling whole programs (context) - Cooper, Kennedy et al. - 1986
5 The experimental compiling system (context) - Allen, Carter et al. - 1980
5 General and Efficient Methods for Global Code Improvement (context) - Wegman - 1981
4 Recursion analysis for compiler optimization (context) - Walter - 1976
4 Private communication (context) - Allen - 1990
4 A programming environment for Fortran (context) - Hood, Kennedy - 1983
4 A new strategy for code generation--the general purpose opti.. (context) - Harrison - 1977
4 An inline subroutine expander for Parafrase (context) - Huson - 1982
3 Alpha - an automatic programming system of high efficiency (context) - Yershov - 1966
2 To appear in Software---Practice and Experience (context) - Cooper, Hall et al. - 1990
2 FORTVER --- a tool for documentation and error diagnosis of .. (context) - Conradi, Svanaes - 1985
2 Private communication (context) - Metzger - 1991
1 The perils of interprocedural knowledge (context) - Cooper, Hall et al. - 1990
1 Compilation Dependencies in an Ambitious Optimizing Compiler (context) - Torczon - 1985
1 Incremental Iteration and Data Flow (context) - Marlowe - 1989
1 Inter-procedural optimization of object code (context) - Conradi - 1983
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://suif.stanford.edu//papers/): More
An End to End Software Only Scalable Video Delivery System - Navin Chaddha (1995) (Correct)
Detecting Coarse-Grain Parallelism Using an.. - Hall.. (1995) (Correct)
A General Method for Compiling Event-Driven Simulations - French, Lam, Levitt, Olukotun (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC