ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'99)
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

Program Committee

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)

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