ACM SIGPLAN-SIGSOFT Workshop on
Program Analysis for Software Tools and Engineering
(PASTE'02)

• program analysis for program understanding, debugging, testing, and reverse engineering
• integration of program analysis into programming environments
• user interfaces for software tools and software visualization
• applications of program slicing and model checking
• tradeoffs between static and dynamic analyses
• issues in scaling analyses and user interfaces to deal with large systems

PASTE'02 will be a true workshop, with a duration of 1 1/2 to 2 days. In addition to presentations of refereed papers, there will be several invited talks, organized discussions on areas of widespread interest, and ample time for general discussion and debate. Attendance is open, although enrollment will be capped at 80 people. Students are encouraged to attend and may apply for support from the Conference Attendance Program (http://www.cs.pitt.edu/~soffa/caps.html). A proceedings of invited and regular papers will be published by SIGSOFT or SIGPLAN.

We are soliciting papers in two distinct categories: (i) Short research papers and experience reports, which describe a new algorithm or problem approach, or which discuss ``what really works and what doesn't'' in a practical setting; (ii) Progress reports and position papers which describe interesting new ideas that are not yet fully developed, or discuss controversial issues in the field. The program committee will aim to select a program containing a mix of the best submitted papers in each of these categories. Papers in category (i) will be expected to have a somewhat higher degree of technical rigor than those in category (ii).

Prospective authors of regular research papers should submit a 4000 word full paper (i.e., not an extended abstract), not to exceed 6 pages using 10 point type, including figures and references. Prospective authors of progress reports or position papers should submit a 2000 word paper, not to exceed 3 pages using 10 point type, including figures and references. Papers should be formatted using ACM SIG templates. Submission of papers in PDF (prefered) or postscript format will be accepted at the PASTE submission page. Electronic submissions must be received on or before June 15, 2002.

November 18, 2002

9:00-9:10am: Opening

9:10-10:20am: Keynote

• David Notkin (University of Washington).

10:20-10:40am: Break

10:40-12:30pm: Monitoring and Debugging

• Monitoring Deployed Software Using Software Tomography, Jim Bowring, Alessandro Orso, and Mary Jean Harrold (Georgia Tech).
• Recompilation for Debugging Support in a JIT-Compiler, Mustafa M Tikir (University of Maryland), Guei-Yuan Lueh (Intel Corporation) and Jeffrey K. Hollingsworth (University of Maryland).
• Instruction-level Reverse Execution for Debugging, Tankut Akgul and Vincent Mooney (Georgia Tech).

12:30-2:00pm: Lunch

2:00-3:00pm: Keynote

• Greg Morrisett (Cornell University).

3:00-3:20pm: Break

3:20-5:20pm: Program Tracing and Profiling

• STEP: A Framework for the Efficient Encoding of General Trace Data, Rhodes Brown, Karel Driesen, David Eng, Laurie Hendren, John Jorgensen and Clark Verbrugge (Mcgill University).
• Selective Path Profiling, Taweesup Apiwattanpong and Mary Jean Harrold (Georgia Tech).
• Combining Static and Dynamic Data in Code Visualization, David Eng (Mcgill University).

November 19, 2002

9:00-10:00am: Keynote

• Dawson Engler (Stanford University)

10:00-10:20pm: Break

10:20-12:20pm: Flow Analysis

• Using the Observer Design Pattern for Implementation of Data Flow Analyses, Gleb Naumovich (Polytechnic University).
• Flow Equations as a Generic Programming Basis for Manipulation of Attributed Graphs, John Fiskio-Lasseter and Michal Young (University of Oregon).
• The Code of Many Colors: Relating Threads to Code and Shared State, Dean Sutherland, Aaron Greenhouse and Willam Scherlis (Carnegie Mellon University).

12:20-12:30: Closing

Workshop Co-Chairs

• Matthew B. Dwyer, Kansas State University (dwyer@cis.ksu.edu)
• Jens Palsberg, Purdue University (palsberg@cs.purdue.edu)

Program Committee

• Thomas Ball, Microsoft Research
• Michael Ernst, MIT
• Cormac Flanagan, Compaq Systems Research Center
• Gleb Naumovich, Polytechnic University
• Gregg Rothermel, Oregon State University
• Mooly Sagiv, Tel Aviv University

Program to Support Students at Conferences: SIGSOFT CAPS