Demo Data from EDBT 2026 / reviewers in the wild / expert
Eric Stoltz
dblp:72/6651
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis
data dependence analysis |
0.0 | 1 | 1995 | 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.0 | 1 | 1995 | 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.0 | 1 | 1995 | 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.0 | 1 | 1995 | 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.0 | 1 | 1995 | 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.0 | 1 | 1995 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1995 | Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSAabstractLinear 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 |