[TYPES] PASTE 2005 CFP: Workshop on Program Analaysis for Software Engineering

[Michael Ernst]

                           Call for papers

                              ==========
                              PASTE 2005
                              ==========

                  5th ACM SIGPLAN-SIGSOFT Workshop on
          Program Analysis for Software Tools and Engineering

                  http://pag.csail.mit.edu/paste2005/

                     Co-located with ESEC/FSE 2005
                          September 5-6, 2005
                           Lisbon, Portugal


Submission deadline:  June 1, 2005

PASTE 2005 is the fifth workshop in a series that brings together
members of the program analysis, software tools, and software
engineering communities to focus on applications of program analysis
techniques in software tools.  PASTE 2005 will provide a forum for the
presentation of exciting research, empirical results, and new
directions 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, model checking, and other
      program analysis techniques
    * analysis of program execution or program evolution
    * integration of, or tradeoffs between, different analysis
      techniques
    * issues in scaling analyses and user interfaces to deal with
      large systems

PASTE 2005, co-located with ESEC/FSE, will be a true workshop, with a
duration of 1 1/2 days.  In addition to presentations of refereed
papers, there will be invited talks, organized discussions on areas of
widespread interest, an opportunity for all attendees to make a short
(five minute) presentation of their work or other topics, and ample
time for general discussion and debate.

Attendance is open, although enrollment will be capped at 70 people.
Students are encouraged to attend and may apply for support from ACM.
A proceedings of invited and regular papers will be published by ACM.

We are soliciting papers in two distinct categories:

Short papers (3 page limit)
    Short papers that discuss controversial issues in the field, or
    describe interesting or thought-provoking ideas that are not yet
    fully developed.
Long papers (6 page limit)
    Research papers that describe ongoing research or new results. 

The program committee will aim to select a program containing a mix of
the best submitted papers in each of these categories, with a primary
aim of encouraging productive discussion and inspiring new
research. Long papers will be expected to have a somewhat higher
degree of technical rigor than short papers.

Papers should be formatted in 10 point type using the ACM SIG
templates, and, including figures and references, should not exceed
the page limit. Submission of papers in PDF (preferred) and/or
Postscript format will be accepted at the PASTE submission page
starting on May 11. Submissions must be received on or before June 1,
2005.

Important dates:

   May 11       Submissions open
   June 1       Deadline for submissions
   June 27      Notification of acceptance
   July 1       Early registration (with hotel)
   July 14      Final version of papers due
   July 31      Early registration (without hotel)
   Sept. 5-6    PASTE 2005 in Lisbon, Portugal

Program committee:

   Anindya Banerjee, Kansas State University
   Perry Cheng, IBM Research
   Michael Ernst (co-chair) Massachusetts Institute of Technology
   David Evans, University of Virginia
   Thomas Jensen (co-chair), IRISA/CNRS
   Todd Millstein, University of California at Los Angeles
   Erik Poll, Raboud University Nijmegen
   Barbara Ryder, Rutgers University
   Andreas Zeller, Saarland University 

For more information, see the PASTE workshop website:
http://pag.csail.mit.edu/paste2005/

We look forward to seeing you in Lisbon!