Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Eric Stoltz

dblp:72/6651 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 1995
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Compilers and program optimization · 78% Program analysis · 22%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis
data dependence analysis
0.011995
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA · ACM Trans. Program. Lang. Syst. 1995
Compilers and program optimization › compiler analysis
induction variable detection
0.011995
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA · ACM Trans. Program. Lang. Syst. 1995
Compilers and program optimization
intermediate representation
0.011995
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA · ACM Trans. Program. Lang. Syst. 1995
Compilers and program optimization › intermediate representation
static single assignment form
0.011995
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA · ACM Trans. Program. Lang. Syst. 1995
Compilers and program optimization
loop optimization
0.011995
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA · ACM Trans. Program. Lang. Syst. 1995
Compilers and program optimization › loop optimization
strength reduction
0.011995
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA · ACM Trans. Program. Lang. Syst. 1995

Methods — techniques the papers use, named apart from their topics

use-def chains · 0.0demand-driven analysis · 0.0
YearPublicationVenuePosition
1995 Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA
abstract
Linear induction variable detection is usually associated with the strength reduction optimization. For restructuring compilers, effective data dependence analysis requires that the compiler detect and accurately describe linear and nonlinear induction variables as well as more general sequences. In this article 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 (SSA) form. In this form, strongly connected components of the associated SSA graph correspond to sequences in the source program: we describe a simple yet efficient algorithm for detecting and classifying these sequences. We have implemented this algorithm in Nascent, our restructuring Fortran 90+ compiler, and we present some results showing the effectiveness of our approach.
Michael P. Gerlek, Eric Stoltz, Michael Wolfe
ACM Trans. Program. Lang. Syst.2