Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Abstract

This volume contains the papers presented at the Fifth ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2004), co-located with the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), on June 7-8, 2004 in Washington, DC.Sophisticated program analysis is more and more used in sophisticated development and maintenance tools. Coming from optimizing compilers, program analysis has found several new applications in understanding, debugging, testing, and reverse engineering programs. In addition, new program analysis techniques have been developed specifically for these tasks. PASTE 2004 provides a forum for bringing together members of the program analysis, software tools, and software engineering communities to focus on program analysis techniques in software tools.Continuing the tradition of earlier PASTE workshops, the program committee aimed at a true workshop format, with a combination of technical paper presentations, three invited talks (by Gary Leavens, Michael Ernst, and Patrice Godefroid), and ample time for lively ad hoc presentations and discussions.A record number of 37 papers were submitted, out of which the program committee selected 10 for presentation. Each paper was reviewed by at least three committee members. Special thanks go to Colin Blundell, Michael Hind, Manos Renieris, and Tao Xie for their assistance in evaluating the submissions.