Mohammad R. Haghighat  Home/Search
Context Related
Links: ACM DBLP | uiuc.edu/parafrase2/toplas.ps uiuc.edu/~scarroll/toplas.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 Problem Downloading? From: uiuc.edu/parafrase2/p2papers (more) From: uiuc.edu/~scarroll/p2papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Symbolic Domain The objects in our abstract symbolic domain are canonical symbolic expressions. A canonical symbolic expression is a lexicographically ordered sequence of symbolic terms. Each symbolic term is in turn a pair of an integer coefficient and a sequence of pairs of pointers to program variables in the program symbol table and their exponents. The latter sequence is also lexicographically ordered. For example, the abstract value of the symbolic expression 2ij+3jk in an environment... (Update)
Cited by: More
Dependence Testing without Induction Variable Substitution - Cohen, Wu (Correct)
Induction Variable Analysis with Delayed Abstractions - Pop, Cohen, Silber (2005) (Correct)
Monotonic Evolution: an Alternative to Induction.. - Wu, Cohen.. (2001) (Correct)
Similar documents (at the sentence level):
7.0%: Symbolic Program Analysis and Optimization for.. - Haghighat.. (1992) (Correct)
6.4%: Symbolic Analysis: A Basis for Parallelization.. - Mohammad Haghighat (1993) (Correct)
Active bibliography (related documents): More All
0.7: Practical Dependence Testing - Goff, Kennedy, Tseng (1991) (Correct)
0.5: Simulation Of Static And Dynamic Task Scheduling On.. - Dimitriou (1994) (Correct)
0.5: Identifying loops using DJ graphs - Sreedhar, Gao, Lee (1995) (Correct)
Similar documents based on text: More All
0.3: Java Virtual Machine Support for Object Serialization - Fabian Breg University (2001) (Correct)
0.2: Multithreading Runtime Support for Loop and Functional Parallelism - Saito (1998) (Correct)
0.2: On The Implementation And Effectiveness Of Autoscheduling For.. - Moreira (1995) (Correct)
Related documents from co-citation: More All
10: Beyond induction variables: Detecting and classifying sequences using demand-dri.. - Gerlek, Stoltz et al. - 1995
9: Techniques and Tools (context) - Aho, Sethi et al. - 1988
9: Performance analysis of parallelizing compilers on the Perfect Benchmarks progra.. (context) - Blume, Eigenmann - 1992
BibTeX entry: (Update)
M. R. Haghighat. Symbolic Analysis for Parallelizing Compilers. PhD thesis, Dept. of Computer Science, University of Illinois at UrbanaChampaign, August 1994. http://citeseer.ist.psu.edu/haghighat94symbolic.html More
@article{ haghighat96symbolic,
author = "Mohammad R. Haghighat and Constantine D. Polychronopoulos",
title = "Symbolic Analysis for Parallelizing Compilers",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "18",
number = "4",
month = "July",
publisher = "ACM Press",
pages = "477--518",
year = "1996",
url = "citeseer.ist.psu.edu/haghighat94symbolic.html" }
Citations (may not include all citations):2003 The Art of Computer Programming (context) - Knuth - 1973
1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977 DBLP
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993 ACM
480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987 ACM DBLP
415 Efficiently computing static single assignment form and the .. - Cytron, Ferrante et al. - 1991
384 Interval Analysis (context) - Moore - 1966 ACM
309 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973 ACM
277 Advanced compiler optimizations for supercomputers (context) - Padua, Wolfe - 1986 ACM DBLP
262 Global Optimization Using Interval Analysis (context) - Hansen - 1992
258 Automatic translation of FORTRAN programs to vector form - Allen, Kennedy - 1987 ACM DBLP
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978 ACM DBLP
245 The Omega test: A fast and practical integer programming alg.. - Pugh - 1992
232 Constant propagation with conditional branches (context) - Wegman, Zadeck - 1991 ACM DBLP
225 Flow Analysis of Computer Programs (context) - Hecht - 1977 ACM
173 Bulldog: A Compiler for VLIW Architecture (context) - Ellis - 1985
168 The parallel execution of DO loops (context) - Lamport - 1974 ACM DBLP
142 Abstract interpretation frameworks (context) - Cousot, Cousot - 1992 DBLP
142 Guided self-scheduling: A practical scheduling scheme for pa.. (context) - Polychronopoulos, Kuck - 1987
126 Algorithms for Computer Algebra (context) - Geddes, Czapor et al. - 1992 ACM
110 Practical dependence testing - Goff, Kennedy et al. - 1991 ACM DBLP
99 Allocating independent subtasks on parallel processors (context) - Kruskal, Weiss - 1985 ACM DBLP
98 A random polynomial time algorithm for approximating the vol.. - Dyer, Frieze et al. - 1991 ACM DBLP
95 Numerical Recipes in FORTRAN: The Art of Scientific Computin.. (context) - Press, Teukolsky et al. - 1992
94 Performance analysis of parallelizing compilers on the Perfe.. (context) - Blume, Eigenmann - 1992
84 Efficient and exact data dependence analysis (context) - Maydan, Hennessy et al. - 1991 ACM DBLP
82 On estimating and enhancing cache effectiveness (context) - Ferrante, Sarkar et al. - 1991 ACM DBLP
80 Direct parallelization of Call statements (context) - Triolet, Irigoin et al. - 1986 ACM DBLP
77 Parametric integer programming - Feautrier - 1988
75 Semantics of probabilistic programs (context) - Kozen - 1981 DBLP
68 Beyond induction variables - Wolfe - 1992 ACM DBLP
68 Processor self-scheduling for multiple-nested parallel loops (context) - Tang, Yew - 1986 DBLP
58 Counting solutions to presburger formulas: How and why - Pugh - 1994 DBLP
48 Dependence analysis for subscripted variables and its applic.. (context) - Allen - 1983 ACM
48 Mechanical program analysis (context) - Wegbreit
47 An algorithm for reduction of operator strength (context) - Cocke, Kennedy - 1977 ACM DBLP
45 Loop Transformations for Restructuring Compilers (context) - Banerjee - 1994 ACM
45 Symbolic dependence analysis for high-performance paralleliz.. (context) - Haghighat, Polychronopoulos - 1991
42 Symbolic analysis for parallelizing compilers - Haghighat - 1994 ACM DBLP
42 FIAT: A framework for interprocedural analysis and transform.. (context) - Hall, Mellor-Crummey et al. - 1993
40 Interprocedural symbolic analysis - Havlak - 1994 ACM
37 Computer Algebra: Systems and Algorithms for Algebraic Compu.. (context) - Davenport, Siret et al. - 1993 ACM
37 Procedure cloning - Cooper, Hall et al. - 1992 ACM
36 Dynamic loop scheduling for shared memory multiprocessors (context) - Tzen, Ni - 1991
34 An empirical investigation of the effectiveness and limitati.. (context) - Singh, Hennessy - 1992
33 KAP User's Guide (context) - Associates - 1988
31 Restructuring Fortran programs for cedar - Eigenmann, Hoeflinger et al. - 1991 DBLP
31 Symbolic program analysis and optimization for parallelizing.. - Haghighat, Polychronopoulos - 1992 ACM DBLP
29 Automating program analysis (context) - Hickey, Cohen - 1988 ACM DBLP
28 Functional parallelism : Theoretical foundations and impleme.. (context) - Girkar - 1991
26 Parallel Programming and Compilers (context) - Polychronopoulos - 1988 ACM
25 The structure of an advanced vectorizer for pipelined proces.. (context) - Kuck, Kuhn et al. - 1980
22 Symbolic evaluation methods for program analysis (context) - Clarke, Richardson - 1981
22 Experiences using control dependence in PTRAN (context) - Cytron, Ferrante et al. - 1990
22 Factoring: A method for scheduling parallel loops (context) - Hummel, Schonberg et al. - 1992 ACM DBLP
22 Vectorizing compilers: A test suite and results (context) - Callahan, Dongarra et al. - 1988 ACM DBLP
20 Algebraic simplification (context) - Buchberger, Loos - 1982 ACM
18 Two notes on notation (context) - Knuth - 1992 ACM
18 Interprocedural analyses for programming environments - Irigoin - 1993 ACM
17 the implementation and effectiveness of autoscheduling for s.. - Moreira - 1995
16 Symbolic evaluation and the analysis of programs (context) - Cheatham, Jr et al. - 1979 DBLP
16 Processor allocation and loop scheduling on multiprocessor c.. (context) - Tawbi, Feautrier - 1992 ACM DBLP
16 Goal-directed program transformation (context) - Wegbreit ACM DBLP
15 Induction variables in very high level languages (context) - Fong, Ullman - 1976 ACM DBLP
15 Cost analysis of logic programs - Debray, Lin - 1993
14 Calculus of Finite Differences (context) - Jordan - 1965
13 Property extraction in well-founded property sets (context) - Wegbreit DBLP
13 The HTG: An intermediate representation for programs based o.. (context) - Girkar, Polychronopoulos - 1992
12 Introducing symbolic problem solving techniques in the depen.. (context) - Lichnewsky, Thomasset - 1988 ACM DBLP
10 Computing the volume is difficult (context) - B'ar'ani, uredi - 1986 ACM DBLP
10 On canonical forms and simplification (context) - Caviness - 1970 ACM DBLP
10 Proof of recursive unsolvability of Hilbert's tenth problem (context) - Jones, Matijasevi - 1991
9 Some MACSYMA programs for solving recurrence relations (context) - Ivie - 1978 ACM DBLP
8 Algebraic simplification: A guide for the perplexed (context) - Moses - 1971 DBLP
6 An overview of interprocedural analysis techniques for high .. - Schouten - 1990
4 Semantic parallelization: A practical exercise in abstract i.. (context) - Jouvelot - 1987 ACM DBLP
4 Verifying program performance (context) - Wegbreit ACM DBLP
3 Symbolic solution of finite-difference equations (context) - Cohen, Katcoff - 1977 ACM DBLP
2 Flow graph anomalies: What's in a loop (context) - Wolfe - 1990
2 Compiling issues for supercomputers (context) - Girkar, Polychronopoulos - 1988 ACM DBLP
2 Axiomatic Theory of Sets and Classes (context) - Eisenberg - 1971
2 Parafrase-2: An environment for parallelizing (context) - Polychronopoulos, Girkar et al. - 1989
1 Partitioning and Scheduling Parallel Programs for Multiproce.. (context) - Symb, -- - 1989 ACM
1 Dependence Analysis for Supercomputing (context) - Berlin - 1988 ACM
1 Symbolic program analysis in almost linear time (context) - New, -- et al. - 1968 ACM
1 Automatic recognition of induction variables and recurrence .. (context) - Trans, Lang et al. - 1990 ACM DBLP
1 Summation in finite terms (context) - New, -- - 1981 ACM DBLP
1 Finding closed-form solutions of difference equations by sym.. (context) - ACM, -- - 1991 ACM
1 Verification of Sequential and Concurrent Programs (context) - Analysis, Apt et al. - 1991 ACM
1 Optimizing Supercompilers for Supercomputers (context) - Trans, Lang et al. - 1989 ACM
1 An implementation of interprocedural bounded regular section.. (context) - Analysis, Havlak et al. - 1991 ACM DBLP
1 Computers and Intractability (context) - New, -- et al. - 1979 ACM
1 Decision procedure for indefinite hypergeometric summation (context) - New, -- et al. - 1978
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csrd.uiuc.edu/parafrase2/p2papers.html): More
Autoscheduling in a Distributed Shared-Memory Environment - Jos'e Moreira (1994) (Correct)
Microarchitecture Support for Dynamic Scheduling of Acyclic.. - Beckmann, al. (1992) (Correct)
Symbolic Analysis: A Basis for Parallelization.. - Mohammad Haghighat (1993) (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