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

Mickey R. Boyd

dblp:23/4848 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Debugging and program repair
fault localization
0.011993
Isolation and Analysis of Optimization Errors · PLDI 1993
Requirements engineering and software design › model-driven engineering › model transformation
model transformation debugging
0.011993
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
YearPublicationVenuePosition
1993 Isolation and Analysis of Optimization Errors
abstract
This 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
PLDI1