PASTE 2001: Snowbird, Utah, USA

@proceedings{DBLP:conf/paste/2001,
  title     = {Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program
               Analysis For Software Tools and Engineering, PASTE'01, Snowbird,
               Utah, USA, June 18-19, 2001},
  publisher = {ACM},
  year      = {2001},
  isbn      = {1-58113-413-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session 1

• William G. Griswold:
  Making slicing practical: the final mile (Abstract). 1
  Electronic Edition (ACM DL) BibTeX
• Steven P. Reiss:
  An overview of BLOOM. 2-5
  Electronic Edition (ACM DL) BibTeX

Session 2

• Gagan Agrawal, Liang Guo:
  Evaluating explicitly context-sensitive program slicing. 6-12
  Electronic Edition (ACM DL) BibTeX
• Amie L. Souter, Lori L. Pollock:
  Contextual def-use associations for object aggregation. 13-19
  Electronic Edition (ACM DL) BibTeX

Session 3

• Jens Palsberg:
  Type-based analysis and applications. 20-27
  Electronic Edition (ACM DL) BibTeX
• Ismail Kadayif, T. Chinoda, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam:
  vEC: virtual energy counters. 28-31
  Electronic Edition (ACM DL) BibTeX

Session 4

• Corinne Ancourt, Thi Viet Nga Nguyen:
  Array resizing for scientific code debugging, maintenance and reuse. 32-37
  Electronic Edition (ACM DL) BibTeX
• Claus Brabrand, Anders Møller, Michael I. Schwartzbach:
  Static validation of dynamically generated HTML. 38-45
  Electronic Edition (ACM DL) BibTeX
• Barbara G. Ryder, Frank Tip:
  Change impact analysis for object-oriented programs. 46-53
  Electronic Edition (ACM DL) BibTeX

Session 5

• Michael Hind:
  Pointer analysis: haven't we solved this problem yet? 54-61
  Electronic Edition (ACM DL) BibTeX
• Jan-Willem Maessen, Vivek Sarkar, David Grove:
  Program analysis for safety guarantees in a Java virtual machine written in Java. 62-65
  Electronic Edition (ACM DL) BibTeX

Session 6

• Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers:
  Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization. 66-72
  Electronic Edition (ACM DL) BibTeX
• Donglin Liang, Maikel Pennings, Mary Jean Harrold:
  Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java. 73-79
  Electronic Edition (ACM DL) BibTeX

Session 7

• Gerard J. Holzmann:
  Economics of software verification. 80-85
  Electronic Edition (ACM DL) BibTeX
• Adam Brooks Webber:
  What is a class invariant? 86-89
  Electronic Edition (ACM DL) BibTeX

Session 8

• Cormac Flanagan, Stephen N. Freund:
  Detecting race conditions in large programs. 90-96
  Electronic Edition (ACM DL) BibTeX
• Thomas Ball, Sriram K. Rajamani:
  Bebop: a path-sensitive interprocedural dataflow engine. 97-103
  Electronic Edition (ACM DL) BibTeX