Steven Weng-Kiang Tjiang  Home/Search
Context Related
| stanford.edu//papers/tjiang93.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: Modern compilers generate good code by performing global optimizations. Unlike other functions of the compiler such as parsing and code generation which examine only one statement or one basic block at a time, optimizers examine large parts of a program and coordinate changes in widely separated parts of a program. Thus optimizers use more complex data structures and consume more time. To generate the best code, optimizers perform not one global transformation, but many in concert. These... (Update)
Context of citations to this paper: More
...of them useful for compilation of parallel programs) and various utility programs. Among them is Sharlit, a data flow analyzer generator [41, 42]. Similarly to how YACC or other parser generators create source code for a parser given a grammar, Sharlit uses a specification of a...
...augmented with a collecting semantics mechanism for program analysis. The specifications are interpreted rather than compiled. Tjiang [18] describes a tool that greatly simplifies the implementation of optimizers by using high level specifications to combine several simpler...
Cited by: More
A Generic Worklist Algorithm for Graph Reachability Problems in.. - Rayside (2001) (Correct)
Hardware and Software Representation, Optimization, and.. - Tabbara, Tabbara (2000) (Correct)
Generating lattice code for Prolog analyzers - Nordin, Lindgren (1996) (Correct)
Active bibliography (related documents): More All
0.9: Pattern-Based Languages for Prototyping of Compiler Optimizers - Charles Donald Farnum (1990) (Correct)
0.7: Towards Optimizing Code Generation by Domain-Sensitive Macro.. - Lassila (1997) (Correct)
0.5: Register Allocation and Phase Interactions in Retargetable.. - Benitez (1994) (Correct)
Similar documents based on text: More All
1.4: Program Analysis And Optimization For Machines With Instruction.. - McFarling (1991) (Correct)
0.9: Efficient Performance Prediction - For Modern Microprocessors (Correct)
0.2: Generalized Graphical Object Editing - Vlissides (1990) (Correct)
Related documents from co-citation: More All
3: A unified approach to global program optimization (context) - Kildall - 1973
2: Garcia de la Banda & M (context) - Codish, Mulkers et al. - 1993
2: Igor: A tool for developing abstract domains for Prolog (context) - Nordin - 1995
BibTeX entry: (Update)
Steven W. K. Tjiang. Automatic Generation of Data-flow Analyzers: A tool for building optimizers. PhD thesis, Stanford University, Computer Systems Laboratory, July 1993. http://citeseer.ist.psu.edu/tjiang93automatic.html More
@misc{ tjiang93automatic,
author = "S. Tjiang",
title = "Automatic Generation of Data-flow Analyzers: A tool for building optimizers",
text = "Steven W. K. Tjiang. Automatic Generation of Data-flow Analyzers: A tool
for building optimizers. PhD thesis, Stanford University, Computer Systems
Laboratory, July 1993.",
year = "1993",
url = "citeseer.ist.psu.edu/tjiang93automatic.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1988
1002 Programming Language (context) - Stroustrup - 1986
815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987
474 A data locality optimizing algorithm (context) - Wolf, Lam - 1991
299 Dependence Analysis for Supercomputing (context) - Banerjee - 1988
271 YACC--yet another compiler compiler - Johnson - 1975
232 Constant propagation with conditional branches (context) - Wegman, Zadeck - 1985
225 Flow Analysis of Computer Programs (context) - Hecht - 1977
156 A unified approach to global program optimization (context) - Kildall - 1973
152 An efficient method of computing static single assignment fo.. (context) - Cytron, Ferrante et al. - 1991
132 LEX--a lexical analyzer generator (context) - Lesk - 1975
128 Global optimization by suppression of partial redundancies (context) - Morel, Renvoise - 1979
119 Detecting equality of variables in programs (context) - Alpern, Wegman et al. - 1988
116 Monotone data flow analysis frameworks (context) - Kam, Ullman - 1977
104 Lazy Code Motion - Knoop, Ruthing et al. - 1992
93 Global data flow analysis and iterative algorithms (context) - Kam, Ullman - 1976
92 A fast algorithm for finding dominators in a flowgraph (context) - Lengauer, Tarjan - 1979
91 Code generation using tree matching and dynamic programming (context) - Aho, Ganapathi et al. - 1989
86 The program dependence web: a representation supporting cont.. (context) - Ballance, Maccabe et al. - 1990
79 A portable global optimizer and linker (context) - Benitez, Davidson - 1988
78 An overview of the PTRAN analysis system for multiprocessing (context) - Allen, Burke et al. - 1987
69 Register Allocation by Priority-based Coloring (context) - Chow - 1984
66 A Systolic Array Optimizing Compiler (context) - Lam - 1987
62 Generating Language-Based Environments (context) - Reps - 1984
52 Reduction of Operator Strength (context) - Allen, Cocke et al. - 1981
51 Fast algorithm for solving path problems (context) - Tarjan - 1981
50 Elimination algorithms for data flow analysis (context) - Ryder, Paull - 1986
50 Testing flow graph reducibility (context) - Tarjan - 1974
49 Automatic construction of sparse data flow evaluation graph (context) - Choi, Cytron et al. - 1991
43 A composite hoisting-strength reduction transformation for g.. (context) - Joshi, Dhamdhere - 1982
43 A composite hoisting-strength reduction transformation for g.. (context) - Joshi, Dhamdhere - 1982
42 Code selection through object code optimization (context) - Davidson, Fraser - 1984
41 Sharlit: A tool for building optimizers - Tjiang, Hennessy - 1992
40 A portable Machine-Independent Global Optimizer --- Design a.. (context) - Chow - 1983
39 Properties of Data Flow Frameworks: A Unified Model (context) - Marlowe, Ryder - 1988
39 Fast and usually linear algorithm for global flow analysis (context) - Graham, Wegman - 1976
39 A unified approach to path problems (context) - Tarjan - 1981
38 Code motion of control structures in high-level languages (context) - Cytron, Lowry et al. - 1986
32 Finding dominators in directed graphs (context) - Tarjan - 1974
31 and inline expansion (context) - Allen, Johnson et al. - 1988
25 Automatic recognition of induction variables and recurrence .. (context) - Ammarguellat - 1990
24 Integrating scalar optimization and parallelization (context) - Tjiang, Wolf et al. - 1991
23 A simple algorithm for global data-flow analysis problems (context) - Hecht, Ullman - 1975
21 Retargetable compiler code generation (context) - Ganapathi, Fischer et al. - 1982
20 MacMillan Company (context) - MacLane, Birkhoff - 1967
20 Automatic Generation of Global Optimizers (context) - Whitfield, Soffa - 1991
19 An algorithmic approach to compound loop transformations (context) - Wolf, Lam - 1990
19 Courant Institute of Mathematical Sciences (context) - Schwartz, Sharir et al. - 1979
18 A Portable compiler: theory and practice (context) - Johnson - 1978
17 An efficient general iterative algorithm for dataflow analys.. (context) - Horwitz, Demers et al. - 1987
15 Incremental data flow analysis via dominator and attribute u.. (context) - Carroll, Ryder - 1988
14 Retargetable high-level alias analysis (context) - Coutant - 1986
13 An overview of the PL (context) - Auslander, Hopkins - 1982
11 Incremental data flow analysis (context) - Ryder - 1982
11 Fast algorithms for the elimination of common subexpressions (context) - Ullman - 1973
10 Description-driven code generation using attributed grammars (context) - Ganapathi, Fischer - 1982
10 Structural analysis: a new approach to flow analysis in opti.. (context) - Sharir - 1980
10 A Machine-Independent Algorithm for Code Generation and Its .. (context) - Glanville - 1978
9 Application of lattice algebra to loop optimization (context) - Fong, Kam et al. - 1975
8 Machine-independent pascal code optimization (context) - Perkins, Sites - 1979
8 A basis for program optimization (context) - Allen - 1971
7 Pattern-Based Languages for Prototyping of Compiler Optimize.. (context) - Farnum - 1990
6 Graham-Glanville code generators (context) - Henry - 1984
5 Sharing intermediate representations: The interface descript.. (context) - Lamb - 1983
5 Integrating code generation and optimization (context) - Fraser, Wendt - 1986
5 Effectiveness of a machine-Level (context) - Johnson, Miller - 1986
5 Compilers for the new generation of Hewlett-Packard computer.. (context) - Coutant, Hammond et al. - 1986
5 The experimental compiling system (context) - Allen, Carter et al. - 1980
4 A new strategy for code generation --- the general purpose o.. (context) - Harrison - 1977
4 Attributed linear intermediate representations for retargeta.. (context) - Ganapathi, Fischer - 1984
4 Efficient Symbolic Analysis of Programs (context) - Reif, Lewis - 1982
3 Data-Flow Graphs as An Intermediate Program Form (context) - Ottenstein - 1978
3 Engineering a compiler: VAX-11 Code Generation and Optimizat.. (context) - Anklam, Cutler et al. - 1982
3 Retargetable Code Generation and Optimization using Attribut.. (context) - Ganapathi - 1980
3 Graph Transformations and Program Flow Analysis (context) - Grundman - 1990
3 Private Communication (context) - Gay
2 Parallelizing Compilers: Implementation and Effectiveness (context) - Pieper - 1993
1 Efficient and exact data dependence testing (context) - Maydan, Hennessy et al. - 1991
1 A flexible compiler structure that allows dynamic phase orde.. (context) - Lalonde, Rivieres - 1982
1 Incremental Iteration: When Will It Work (context) - Ryder, Marlowe et al. - 1987
1 The CODEGEN user's manual (context) - Henry - 1987
1 A framework for construction and evaluation of high-level sp.. (context) - Venkatesch - 1989
1 Code motion (context) - Reif - 1980
1 Symoblic evaluation and the global value graph (context) - Reif, Lewis - 1977
1 Improving Parallelism and Data Locality in Nested Loops (context) - Wolf - 1992
1 Final Code Generation in the PL (context) - Warren, Auslander et al.
1 Harper and Row (context) - White - 1952
1 TCOL_Ada: Revised Report on An Intermediate Representation f.. (context) - Brosgol, Newcomer et al. - 1980
1 Incremental Iterative Data Flow Analysis Algorithms (context) - Burke, Ryder - 1987
1 Global value number graphs and redundant computations (context) - Rosen, Wegman et al. - 1988
1 CSL Technical Note (context) - Gerring, Nye et al. - 1979
1 a compiler building environment (context) - Marshall, graph - 1982
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