PASTE 2001: Snowbird, Utah, USA

John Field, Gregor Snelting (Eds.): 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. ACM 2001, ISBN 1-58113-413-4

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 Sun May 26 02:49:12 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page