Program Analysis for Software Tools and Engineering

To be held September 6th, 1999 in conjunction with:
The Seventh ACM Symposium on Foundations of Software Engineering and
the Seventh European Software Engineering Conference (ESEC/FSE 99),

September 6-10, 1999, Toulouse, France
committee program registration

There has been increasing interest in the application of sophisticated program analysis techniques to software development and maintenance tools. Such tools include those used for program understanding, verification, testing, debugging, reverse engineering, and profiling. The goal of PASTE'99 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.

The Call for Participation elicited 31 submissions. The resulting program includes an invited talk (to be determined), eight regular research papers, and three tool demonstrations (papers included in proceedings).

All those interested in application of program analysis in software engineering are encouraged to attend. Registration will be limited to 80 people. Students are encouraged to attend and may apply for support from the SIGSOFT Conference Attendance Program, especially if they have a paper accepted and would also attend ESEC/FSE. Registration includes coffee breaks, lunch, and a proceedings (also to be published by ACM SIGSOFT).

Workshop Co-Chairs

William Griswold University of California, San Diego
Susan Horwitz University of Wisconsin-Madison

Program Committee

Lori Clarke University of Massachusetts, Amherst
John Field IBM T.J. Watson Research Center
Mary Jean Harrold The Ohio State Univeristy
Yanhong (Annie) Liu University of Indiana
Gail Murphy University of British Columbia
Gregor Snelting University of Passau
Daniel Weise Microsoft Research

Workshop Program

8:50 - 10:30 Session I

Efficient Coverage Testing Using Global Dominator Graphs
Hira Agrawal (Telcordia Technologies)

Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs
Jong-Deok Choi, David Grove, Michael Hind, and Vivek Sarkar (IBM T.J. Watson Research Center)

Safety Analysis of Hawk In Flight Monitor
Liz Whiting and Mike Hill (British Defence Evaluation and Research Agency)

11:00 - 12:30 Session II
Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers
Donglin Liang and Mary Jean Harrold (The Ohio State University)

Inter-class Def-Use Analysis with Partial Class Representations
Amie Souter, Lori Pollock (University of Delaware), and Dixie Hisley (U.S. Army Research Lab)

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification
Gleb Naumovich, Lori Clarke, and Jamieson Cobleigh (University of Massachusetts, Amherst)

2:00 - 3:00 Invited Talk
Research Goes to Market: Challenges Building an Industrial Program Understanding Tool
John Field (IBM T.J. Watson Research Center)

3:00 - 4:00 Session III
Physical Type Checking for C
Satish Chandra (Bell Laboratories, Lucent Technologies) and Thomas Reps (University of Wisconsin-Madison)

New Type Signatures for Legacy Fortran Subroutines
Nicky Williams Preston (Ecole Normale Superieure de Cachan)

4:30 - 5:30 Session IV (Tool Demonstrations)
Query by Outline: A New Paradigm to Help Manage Programs
Francoise Balmas (Universite Paris 8)

GIDTS - A Graphical Programming Environment for PROLOG
Gabriella Kokai, Jorg Nilson, and Christian Niss (Friedrich-Alexander University of Erlangen-Numberg)

Benefits of a Data Flow-Aware Programming Environment
Christoph Steindl (Johannes Kepler University)

Registration Information

Registration Information PASTE registration will be limited to 80, so be sure to register early! Visit the ESEC/FSE web page for full registration information (click on ``Registration form'' in the box on the left).

Registration Fees (in French Francs)
 until July 31after July 31
regular 600 800
member 500 650
student 320 320

Member rates apply to members of ACM, SIGPLAN, SIGSOFT, and all CEPIS societies. Authors of accepted papers and program committee members are also eligible for the member rates. Students must include proof of full-time student status with their registration.

Payment can be made by check (in Frence francs) to:
Agent Comptable de l'ONERA Centre de Toulouse
or by bank transfer to:
Agent Comptable de l'ONERA Centre de Toulouse
Societe Generale Ramonville-Saint-Agne
Account no: 30003/02117/00037291008/93

Registration information should be sent to:
ONERA Centre de Toulouse
ESEC/FSE 99 Conference Secretary, 2 avenue Edouard Belin
BP 4025 - 31055 TOULOUSE Cedex 4 - France
Fax : 33 5 62 25 25 35
Please include: name, affiliation, address, phone, fax, email address, which professional society you are a member of and your member number (if applicable), and whether you are a student, author, or program committee member (if applicable). Be sure to specify that you are registering for PASTE'99.
committee program registration