Symbolic Analysis dissertation (Paul Havlak)
Tue, 14 Jun 1994 20:55:47 GMT

          From comp.compilers

Related articles
Symbolic Analysis dissertation (1994-06-14)
| List of all articles for this month |

Newsgroups: comp.compilers
From: (Paul Havlak)
Keywords: report, WWW, analysis
Organization: U of Maryland, Dept. of Computer Science, Coll. Pk., MD 20742
Date: Tue, 14 Jun 1994 20:55:47 GMT

        I've completed my dissertation at Rice University, _Interprocedural
Symbolic Analysis_. It's now available by anonymous FTP and on the WWW:

                * Anonymous FTP on, directory pub/havlak/thesis

                * WWW via the URL

        I'll be glad for any comments. Here's the abstract (short version):

Interprocedural Symbolic Analysis

Compiling for efficient execution on advanced computer architectures
requires extensive program analysis and transformation. We present
methods for analyzing array side effects and for comparing nonconstant
values computed in the same and different procedures, and examine their
utility in array dependence testing.

In our experiments, regular section analysis of array side effects
provides up to 39 percent reductions in array dependences at call sites,
with an up to 25 percent increase in compilation time. Symbolic analysis
within procedures provides up to 32 percent reductions in array
dependences. Our implementation of interprocedural symbolic analysis
provides little direct reduction in dependences by itself, but may give
indirect improvements by enabling and improving other analyses.

Paul Havlak Dept. of Computer Science, A.V. Williams Bldg
Postdoctoral Research Associate U. of Maryland, College Park, MD 20742-3255
High-Performance Systems Lab (301) 405-2697 (fax: -6707)

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.