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
  
• Steven P. Reiss:
  An overview of BLOOM. 2-5
  

Session 2

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

Session 3

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

Session 4

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

Session 5

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

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
  
• Donglin Liang, Maikel Pennings, Mary Jean Harrold:
  Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java. 73-79
  

Session 7

• Gerard J. Holzmann:
  Economics of software verification. 80-85
  
• Adam Brooks Webber:
  What is a class invariant? 86-89
  

Session 8

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

Last update Wed Feb 15 05:15:00 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page