Michael P. Gerlek, Eric Stoltz, Michael Wolfe  Home/Search
Context Related
| ogi.edu/~stoltz/www.dir/papers/iv.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: ogi.edu/~stoltz/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we present a practical technique for detecting a broader class of linear induction variables than is usually recognized, as well as several other sequence forms, including periodic, polynomial, geometric, monotonic, and wrap-around variables. Our method is based on Factored Use-Def (FUD) chains, a demand-driven representation of the popular Static Single Assignment form. In this form, strongly connected components of the associated SSA graph correspond to sequences in the source... (Update)
Cited by: More
The New Framework for Loop Nest Optimization in GCC.. - Pop, Cohen, Jouvelot, .. (Correct)
Dependence Testing without Induction Variable Substitution - Cohen, Wu (Correct)
Induction Variable Analysis with Delayed Abstractions - Pop, Cohen, Silber (2005) (Correct)
Similar documents (at the sentence level):
72.7%: Beyond Induction Variables: Detecting and Classifying Sequences.. - Gerlek (1996) (Correct)
Active bibliography (related documents): More All
0.2: Automatic Array Privatization And Demand-Driven Symbolic Analysis - Tu (1995) (Correct)
0.1: Gated SSA-Based Demand-Driven Symbolic Analysis for.. - Tu, Padua (1995) (Correct)
0.1: Experience Compiling Fortran to Program Dependence Graphs - Ottenstein, Ellcey (1992) (Correct)
Similar documents based on text: More All
0.3: Extended SSA with Factored Use-Def Chains to Support.. - Stoltz, Gerlek, Wolfe (Correct)
0.3: Constant Propagation: A Fresh, Demand-Driven Look - Stoltz, Wolfe, Gerlek (1994) (Correct)
0.2: A Reference Chain Approach for Live Variables - Michael Gerlek (1994) (Correct)
Related documents from co-citation: More All
27: Efficiently Computing Static Single Assignment Form and the Control Dependence G.. - Cytron, Ferrante et al. - 1991
16: Beyond induction variables - Wolfe - 1992
16: Compilers: Principles (context) - Aho, Sethi et al. - 1986
BibTeX entry: (Update)
Michael P Gerlek, Eric Stoltz and Michael Wolfe. Beyond induction variables: Detecting and classifying sequences using demand-driven ssa form. ACM Transactions on Programming Languages and Systems, Volume 17, Number 1, pages 85--122, 1995. http://citeseer.ist.psu.edu/gerlek95beyond.html More
@article{ gerlek95beyond,
author = "Michael P. Gerlek and Eric Stoltz and Michael Wolfe",
title = "Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven {SSA} Form",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "17",
number = "1",
month = "January",
publisher = "ACM Press",
pages = "85--122",
year = "1995",
url = "citeseer.ist.psu.edu/gerlek95beyond.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
405 Depth-first search and linear graph algorithms (context) - Tarjan - 1972 DBLP
277 Advanced compiler optimizations for supercomputers (context) - Padua, Wolfe - 1986 ACM DBLP
106 Automatic array privatization - Tu, Padua - 1993 ACM DBLP
86 The Program Dependence Web: A representation supporting cont.. (context) - Ballance, Maccabe et al. - 1990
78 An overview of the PTRAN analysis system for multiprocessing (context) - Allen, Burke et al. - 1988 ACM DBLP
71 Data dependence and its applications to parallel processing (context) - Wolfe, Banerjee - 1987
71 Supercomputer performance evaluation and the Perfect Benchma.. - Cybenko, Kipp et al. - 1990 ACM DBLP
68 Beyond induction variables - Wolfe - 1992 ACM DBLP
55 A survey of data flow analysis techniques (context) - Kennedy - 1981
52 Reduction in operator strength (context) - Allen, Cocke et al. - 1981
45 An empirical study of Fortran programs for parallelizing com.. - Shen, Li et al. - 1990
45 Symbolic dependence analysis for high performance paralleliz.. (context) - Haghighat - 1990
31 Symbolic program analysis and optimization for parallelizing.. - Haghighat, Polychronopoulos - 1992 ACM DBLP
25 Automatic recognition of induction variables and recurrence .. (context) - Ammarguellat, Harrison - 1990 ACM DBLP
23 Construction of thinned gated single-assignment form - Havlak - 1993 ACM DBLP
11 Constant propagation: A fresh (context) - Stoltz, Wolfe et al. - 1994
7 Loop monotonic computations: An approach for the efficient r.. (context) - Gupta, Spezialetti - 1991 DBLP
6 A program form based on data dependency in predicate regions (context) - Ferrante, Ottenstein - 1983 ACM DBLP
3 Program optimization -- theory and practice (context) - Loveman, Faneuf - 1975
1 Nascent: a nextgeneration (context) - Wolfe, Stoltz et al. - 1994
1 Extended SSA with factored use-def chains to support optimiz.. (context) - Variables, Stoltz et al. - 1994 DBLP
1 Experience in the automatic parallelizationof four Perfect-B.. (context) - Eigenmann, Hoeflinger et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.ogi.edu/~stoltz/): More
Constant Propagation: A Fresh, Demand-Driven Look - Stoltz, Wolfe, Gerlek (1994) (Correct)
Sparse Data-Flow Analysis for DAG Parallel Programs - Stoltz, Wolfe (1994) (Correct)
Static Single Assignment Form for Explicitly Parallel.. - Eric Stoltz Harini (1994) (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