Entry Ruf:1995:CAA 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{Ruf:1995:CAA,
  author =       "Erik Ruf",
  title =        "Context-insensitive alias analysis reconsidered",
  journal =      j-SIGPLAN,
  volume =       "30",
  number =       "6",
  pages =        "13--22",
  month =        jun,
  year =         "1995",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Thu May 13 12:37:27 MDT 1999",
  bibsource =    "http://www.acm.org/pubs/contents/proceedings/pldi/207110/index.html",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/pldi/207110/p13-ruf/",
  abstract =     "Recent work on alias analysis in the presence of
                 pointers has concentrated on {\em context-sensitive\/}
                 interprocedural analyses, which treat multiple calls to
                 a single procedure independently rather than
                 constructing a single approximation to a procedure's
                 effect on all of its callers. While context-sensitive
                 modeling offers the potential for greater precision by
                 considering only realizable call-return paths, its
                 empirical benefits have yet to be measured. This paper
                 compares the precision of a simple, efficient, {\em
                 context-insensitive\/} points-to analysis for the C
                 programming language with that of a maximally
                 context-sensitive version of the same analysis. We
                 demonstrate that, for a number of pointer-intensive
                 benchmark programs, context-insensitivity exerts little
                 to no precision penalty. We also describe techniques
                 for using the output of context-insensitive analysis to
                 improve the efficiency of context-sensitive analysis
                 without affecting precision.",
  acknowledgement = ack-nhfb,
  affiliation =  "Microsoft Corp., Redmond, WA, USA",
  annote =       "Published as part of the Proceedings of PLDI'95.",
  classification = "C6110 (Systems analysis and programming); C6150C
                 (Compilers, interpreters and other processors); C6150N
                 (Distributed systems software)",
  keywords =     "algorithms; C programming language; Call-return paths;
                 Compilers; Context-insensitive alias analysis;
                 Context-insensitive analysis; Context-insensitivity;
                 Context-sensitive analysis; Context-sensitive
                 interprocedural analyses; Context-sensitive modeling;
                 languages; Multiple procedure calls; Pointer-intensive
                 benchmark programs; Pointers; Precision penalty",
  subject =      "{\bf D.3.2} Software, PROGRAMMING LANGUAGES, Language
                 Classifications, C. {\bf D.3.3} Software, PROGRAMMING
                 LANGUAGES, Language Constructs and Features, Data types
                 and structures. {\bf D.3.4} Software, PROGRAMMING
                 LANGUAGES, Processors, Optimization. {\bf D.3.4}
                 Software, PROGRAMMING LANGUAGES, Processors,
                 Compilers.",
  thesaurus =    "C language; Data flow analysis; Program compilers;
                 Remote procedure calls; Software performance
                 evaluation",
}

Related entries