Entry Adl-Tabatabai:1993:DRE 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{Adl-Tabatabai:1993:DRE,
  author =       "Ali-Reza Adl-Tabatabai and Thomas Gross",
  title =        "Detection and recovery of endangered variables caused
                 by instruction scheduling",
  journal =      j-SIGPLAN,
  volume =       "28",
  number =       "6",
  pages =        "13--25",
  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/p13-adl-tabatabai/",
  abstract =     "Instruction scheduling re-orders and interleaves
                 instruction sequences from different source statements.
                 This impacts the task of a symbolic debugger, which
                 attempts to present the user a picture of program
                 execution that matches the source program. At a
                 breakpoint {\em B\/}, if the value in the run-time
                 location of a variable {\em V\/} may not correspond to
                 the value the user expects {\em V\/} to have, then this
                 variable is {\em endangered\/} at {\em B\/}. This paper
                 describes an approach to detecting and recovering
                 endangered variables caused by instruction scheduling.
                 We measure the effects of instruction scheduling on a
                 symbolic debugger's ability to recover source values at
                 a breakpoint. This paper reports measurements for three
                 C programs from the SPEC suite and a collection of
                 programs from the Numerical Recipes, which have been
                 compiled with a variant of a commercial C compiler.",
  acknowledgement = ack-nhfb,
  affiliation =  "Sch. of Comp. Sci., Carnegie Mellon Univ., Pittsburgh,
                 PA, USA",
  annote =       "Published as part of the Proceedings of PLDI'93.",
  classification = "C6110 (Systems analysis and programming); C6150C
                 (Compilers, interpreters and other processors); C6150G
                 (Diagnostic, testing, debugging and evaluating
                 systems)",
  confdate =     "23-25 June 1993",
  conflocation = "Albuquerque, NM, USA",
  confsponsor =  "ACM",
  keywords =     "Breakpoint; C programs; Commercial C compiler;
                 Endangered variables; Instruction scheduling;
                 Instruction sequences; languages; Numerical Recipes;
                 performance; Program execution; Run-time location;
                 Source statements; Source values; SPEC suite; Symbolic
                 debugger",
  subject =      "{\bf D.2.5} Software, SOFTWARE ENGINEERING, Testing
                 and Debugging, Error handling and recovery. {\bf D.2.5}
                 Software, SOFTWARE ENGINEERING, Testing and Debugging,
                 Debugging aids. {\bf D.3.4} Software, PROGRAMMING
                 LANGUAGES, Processors, Optimization.",
  thesaurus =    "Program compilers; Program debugging; Programming;
                 Scheduling; System recovery",
}

Related entries