CFP: Workshop on Program Analysis for Software Tools and Engineering (PASTE '01)

John Field <jfield@watson.ibm.com>
13 Dec 2000 15:03:22 -0500

          From comp.compilers

Related articles
CFP: Workshop on Program Analysis for Software Tools and Engineering jfield@watson.ibm.com (John Field) (2000-12-13)
| List of all articles for this month |

From: John Field <jfield@watson.ibm.com>
Newsgroups: comp.compilers
Date: 13 Dec 2000 15:03:22 -0500
Organization: IBM T.J. Watson Research Center
Keywords: CFP, conference, tools
Posted-Date: 13 Dec 2000 15:03:22 EST

                                                      CALL FOR PAPERS


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


                                *Submission Deadline January 15, 2001*


                                      Snowbird, Utah June 18-19, 2001
                                        (In conjunction with PLDI'01)
                              http://www.fmi.uni-passau.de/st/paste01


The goal of PASTE'01 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'01 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
    - 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'01 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 discussions 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. Electronic submissions must be in
Postscript that is interpretable by Ghostscript, must be printable on
USLetter or A4 sized paper, and must be sent as a single e-mail
message to snelting@fmi.uni-passau.de. *Electronic submissions must
be received on or before January 15, 2001*. Authors who cannot meet
these requirements should submit hardcopy by post instead; 10 copies
of each submission should be sent to: Gregor Snelting, Universitaet
Passau, Fakultaet fuer Informatik, 94032 Passau, Germany, and *must be
received on or before January 15, 2001*.


                                                    WORKSHOP CO-CHAIRS
                              John Field (jfield@watson.ibm.com)
                              Gregor Snelting (snelting@fmi.uni-passau.de)


                                                    PROGRAM COMMITTEE
                              Satish Chandra (Lucent)
                              Manuel Faehndrich (Microsoft Research)
                              Laurie Hendren (McGill University)
                              Gregor Snelting (University of Passau)
                              Chris Verhoef (University of Amsterdam)
                              Matt Dwyer (Kansas State University)
                              John Field (IBM T.J. Watson Research Center)
                              Michael Schwartzbach (University of Aarhus)
                              Bernhard Steffen (University of Dortmund)


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.