Showing content from http://cseweb.ucsd.edu/~wgg/paste99.html below:
Program Analysis for Software Tools and Engineering (PASTE)
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
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 31 after 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.
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.3