[Prev][Next][Index][Thread]

CFP: PASTE 2004 - Program Analysis for Software Tools and Engineering



[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

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

		    Washington, DC, June 7-8, 2004
			 co-located with PLDI

		  http://www.st.cs.uni-sb.de/paste/
--------------------------------------------------------------------

CALL FOR PAPERS

The goal of PASTE 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 2004 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
* analysis of program execution or program evolution
* integration of different analysis techniques 

PASTE 2004, co-located with PLDI (http://www.cs.umd.edu/~pugh/pldi04/),
will be a true workshop, with a duration of 1 1/2 to 2 days. As well
as discussions on areas of widespread interest, we will have a number
of invited talks and presentations of refereed papers to provide a
shared context for these discussions.  We also plan to allow all
attendants to make a short (five minute) presentation of their work.

Attendance is open, although enrollment will be capped at 80 people.
Students are encouraged to attend and may apply for support from the
SIGSOFT Conference Attendance Program 
(http://www.cs.williams.edu/~lerner/sigsoft/CAPS.html). 
A proceedings of invited and regular papers will be published by
SIGSOFT or SIGPLAN.

We are soliciting papers in two distinct categories:

SHORT PAPERS.  Short papers that discuss controversial issues in the
    field, or describe interesting or thought-provoking ideas that 
    are not yet fully developed. (3 page limit)

LONG PAPERS.  Research papers that describe ongoing research or new
    results. (6 page limit)

The program committee will aim to select a program containing a mix 
of the best submitted papers in each category that may ignite 
discussion or inspire 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 (http://www.acm.org/sigs/pubs/proceed/template.html), 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
(http://www.st.cs.uni-sb.de/paste/).


DATES

Submissions due         February 9, 2004
Acceptance notification March 22, 2004
PASTE workshop          June 7-8, 2004


WORKSHOP CO-CHAIRS

* Cormac Flanagan, UC Santa Cruz
* Andreas Zeller, Saarland University 


PROGRAM COMMITTEE

* Michael Ernst, Massachusetts Institute of Technology
* John Field, IBM T.J. Watson Research Center
* Dan Grossman, University of Washington
* Rainer Koschke, University of Stuttgart
* Shriram Krishnamurthi, Brown University
* Michal Young, University of Oregon 


Visit the PASTE Web site at http://www.st.cs.uni-sb.de/paste/

PASTE 2004 is sponsored by 
- the Association for Computing Machinery (ACM), 
- the ACM Special Interest Group on Programming Languages (SIGPLAN), 
  and 
- the ACM Special Interest Group on Software Engineering (SIGSOFT).

-- 
Andreas Zeller    Universitaet des Saarlandes, Saarbruecken, Germany
                  http://www.st.cs.uni-sb.de/~zeller/