Entry Boyd:1993:IAO from sigplan1990.bib

Last update: Thu Apr 12 03:37:15 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Boyd:1993:IAO,
  author =       "Mickey R. Boyd and David B. Whalley",
  title =        "Isolation and analysis of optimization errors",
  journal =      j-SIGPLAN,
  volume =       "28",
  number =       "6",
  pages =        "26--35",
  month =        jun,
  year =         "1993",
  CODEN =        "SINODQ",
  ISBN =         "0-89791-598-4",
  ISBN-13 =      "978-0-89791-598-4",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Sun Dec 14 09:16:37 MST 2003",
  bibsource =    "http://portal.acm.org/;
                 http://www.acm.org/pubs/contents/proceedings/pldi/155090/index.html",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/pldi/155090/p26-boyd/",
  abstract =     "Descriptions are given of 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 usually improved) code. One tool determines the
                 first transformation that causes incorrect output of
                 the execution of the compiled program. This tool also
                 identifies the location and the 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. 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 view can
                 be used as a teaching aid in compiler classes.",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comp. Sci., Florida State Univ., Tallahassee,
                 FL, USA",
  annote =       "Published as part of the Proceedings of PLDI'93.",
  classification = "C6110 (Systems analysis and programming); C6150C
                 (Compilers, interpreters and other processors); C6150E
                 (General utility programs); C6150G (Diagnostic,
                 testing, debugging and evaluating systems)",
  confdate =     "23-25 June 1993",
  conflocation = "Albuquerque, NM, USA",
  confsponsor =  "ACM",
  keywords =     "algorithms; Breakpoints; Compiled program; Compiler
                 classes; design; Generated instructions; Graphical
                 optimization viewer; Incorrect output; Optimization
                 errors; Reverse viewing; Semantically equivalent;
                 Teaching aid; Very portable optimizer; Vpo optimizer",
  subject =      "{\bf D.3.4} Software, PROGRAMMING LANGUAGES,
                 Processors, Optimization. {\bf D.2.5} Software,
                 SOFTWARE ENGINEERING, Testing and Debugging, Error
                 handling and recovery. {\bf D.2.2} Software, SOFTWARE
                 ENGINEERING, Design Tools and Techniques. {\bf D.3.4}
                 Software, PROGRAMMING LANGUAGES, Processors,
                 Compilers.",
  thesaurus =    "Program compilers; Program debugging; Programming;
                 Utility programs",
}

Related entries