A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

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