Demo Data from SIGIR 2026 / reviewers in the wild / expert
Mickey R. Boyd
dblp:23/4848
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 1993
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 first-author
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 |
Requirements engineering and software design · 50% Debugging and program repair · 50% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Debugging and program repair
fault localization |
0.0 | 1 | 1993 | Isolation and Analysis of Optimization Errors · PLDI 1993 |
Requirements engineering and software design › model-driven engineering › model transformation
model transformation debugging |
0.0 | 1 | 1993 | Isolation and Analysis of Optimization Errors · PLDI 1993 |
Methods — techniques the papers use, named apart from their topics
transformation sequence analysis · 0.0graphical optimization viewing · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1993 | Isolation and Analysis of Optimization ErrorsabstractThis paper describes two related tools developed to support the isolation and analysis of optimization errors in the vpo optimizer.Both tools rely on vpo identifying sequences of changes, referred to as transformations, that result in semantically equivalent (and usuaUy improved) code.One tool determines the first transformation that causes incorrect output of the execution of the compiled program.This tool not only automatically isolates the illegal transformation, but also identifies the location and instant the transformation is performed in vpo.To assist in the analysis of an optimization error, a graphical optimization viewer was also implemented that can display the state of the generated instructions before and after each transformation performed by vpo.Unique features of the optimization viewer include reverse viewing (or undoing) of transformations and the ability to stop at breakpoints associated with the generated instructions.Both tools are useful independently.Together these tools form a powerful environment for facilitating the retargeting of vpo to a new machine and supporting experimentation with new optimizations.In addition, the optimization viewer can be used as a teaching aid in compiler classes. Mickey R. Boyd, David B. Whalley |
PLDI | 1 |