ACM Logo

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

SIGSOFT
To be held on November 18-19, 2002
in Charleston, South Carolina, USA
as part of SIGSOFT 2002
in conjunction with FSE-10

 
Call for Papers
Committee
Program
Registration



Call for Papers

The goal of PASTE'02 is to bring together members of the program analysis, software tools, and software engineering communities to focus on applications of program analysis techniques in software tools. PASTE'02 will provide a forum for the presentation of exciting new research and empirical results in areas including (but not limited to):
  • 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.


News and Updates

If you will be travelling from abroad to attend PASTE'2002 you should look here for up to date information on securing a Visa.

Preliminary Program

In order to foster interaction between workshop participants PASTE sessions are scheduled with extra time to allow for discussion. Keynote sessions will have 20 minutes for questions and discussion following the 50 minute keynote presentations. Regular technical paper sessions will have an additional 20 minutes for discussion over and above the 5 minutes allocated for each of the 25 minute presentations in the session. Session chairs will decide how best to use the extra minutes in each of the sessions.

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


Committee

Workshop Co-Chairs

Program Committee


Registration

Registration for PASTE'2002 can be made through the FSE-10 registration site.

Program to Support Students at Conferences: SIGSOFT CAPS


 



top
Matthew Dwyer
Jens Palsberg
top