SAS'97 : Paris, September 8-10               [APOLOGIES IF YOU RECEIVE THIS SEVERAL TIMES]
                       [UPDATED VERSION OF THE]

                              PROGRAMME
                      AND CALL FOR PARTICIPATION

                               SAS'97
             Fourth International Static Analysis Symposium
                  Paris, France, September 8-10, 1997

               http://lix.polytechnique.fr/~radhia/sas97

                               Hosted by
                       Ecole Normale Supe'rieure

                             Supported by
             Centre National de la Recherhe Scientifique
                       Ecole Normale Supe'rieure
                          Ecole Polytechnique
                  Ministe`re des Affaires Etrange`res
  Ministe`re de l'Education Nationale, de la Recherche et de la Technologie



Static Analysis is increasingly recognized as a fundamental tool
for high performance implementations and verification systems of
high-level programming languages. The last two decades have
witnessed substantial developments in this area, ranging from
theoretical frameworks to design, implementation, and application
of analysers in optimising compilers.

The Fourth International Static Analysis Symposium (SAS'97) will be
held in Paris to celebrate the 20th anniversary of the publication of
the seminal paper of Patrick and Radhia Cousot in the Proceedings of
the Principles of Programming Languages Conference (POPL'77).
Previous symposia were held in Namur, Glasgow, and Aachen.

Registration information is available at the bottom of this
announcement  and the SAS'97 home page, available at
http://lix.polytechnique.fr/~radhia/sas97.


                          SAS'97 PROGRAMME

SUNDAY SEPTEMBER  7

17:00-20:00   Registration

MONDAY SEPTEMBER  8

8:00-  9:00   Registration

8:50-  9:00   Welcome

9:00-10:00   Keynote Invited Talk

    Abstract Interpretation Based Static Analysis Parameterized by Semantics
    Patrick Cousot

10:00-10:30  Break

10:30-12:00  Procedural Programming II

    On Sparse Evaluation Representations
    G. Ramalingam

    The Effects of the Precision of Pointer Analysis
    Marc Shapiro & Susan Horwitz

    Fast and Effective Procedure Inlining
    Ocsar Waddell & R. Kent Dybvig

12:00-13:30 Lunch

13:30-14:30  Invited Talk

    Can abstract interpretation become a mainstream compiler technology?
    William L. Harrison

14:30-15:00 Break

15:00-16:30 Logic Programming I

    Sharing Revisited
    Roberto Bagnara & Patricia Hill & Enea Zaffanella

    An Algebraic Approach to Sharing Analysis of Logic Programs
    Michael Codish & Vitaly Logoon & Francisco Bueno

    Logical optimality of groundness analysis
    Francesca Scozzari

16:30-17:00 Break

17:00-18:00 Functional Programming I

    Toward a Cost-effective Estimation of Uncaught Exceptions in SML Programs
    Kwangkeun Yi & Sukyoung Ryu

    Program Analysis using Mixed Term and Set Constraints
    Manuel Fahndrich & Alexander Aiken

20:00-23:00 Reception

TUESDAY, SEPTEMBER  9

9:00-10:00  Invited Talk

    Combining Abstract Interpretation and Partial Evaluation
    Neil D. Jones

10:00-10:30  Break

10:30-12:00 Logic Programming II

    Set-Based Analysis for Logic Programming and Tree Automata
    P. Devienne & JM. Talbot & S. Tison

    Denotational Abstract Interpretation of Functional Logic Programs
    Frank Zartmann

    Termination analysis for Mercury
    Chris Speirs & Zoltan Somogyi & Harald Sondergaard

12:00-13:30  Lunch

13:30-14:30  Invited Talk

    Practical Compile-Time Analysis
    Barbara Ryder

14:30-15:00 Break

15:00-16:30 Poster & Demo Session

   Demo

   Semantic Analyzer of Modula-Programs
   Pavel Emelianov  & Danil Baburin

   Posters

   Abstract Interpretation for improving WAM code
   Dante Baldan & Gilberto Fil'e

   Attribute Grammars and Functional Programming Deforestation
   Loic Correnson & Etienne Duris & Didier Parigot & Gilles Roussel

   Data Dependencies as Abstract Interpretation
   Stanislav Tzolovski


16:30-18:30 Concurrency

   The Power of QDDs
   Bernard Boigelot & Patrice Godefroid & Bernard Willems & Pierre Wolper

   Type-based Analysis of Communication for Concurrent Programming Languages
   Atsushi Igarashi  & Naoki Kobayashi

   True Concurrency via Abstract Interpretation
   Chiara Bodei & Corrado Priami

   Static Analysis of Interaction Nets for Distributed Implementations
   Ian Mackie

WEDNESDAY, SEPTEMBER 10

 9:00-10:00  Invited Tutorial

   Abstract Interpretation: A Theory of Approximate Computation
   Kim Marriott

10:00-10:30  Break

10:30-12:00 Functional Programming II

   Type-Directed Flow Analysis for Typed Intermediate Languages
   Suresh Jagannathan & Stephen Weeks & Andrew Wright

   Exact Flow Analysis
   Christian Mossin

   Satisfying Systems of Subtype Inequalities in Polynomial Space
   Alexandre Frey

12:00-13:30  Lunch

13:30-14:30 Invited Tutorial

   On the Desirable Link Between Theory and Practice in Abstract Interpretation
   Baudouin Le Charlier

14:30-15:00 Break

15:00-16:30 Procedural Programming II

   Static Analyses of Congruence Properties on Rational Numbers
   Philippe Granger

   Effective Specialization of Realistic Programs via Use Sensitivity
   Luke Hornof & Jacques Noye & Charles Consel

   Coalescing Conditional Branches into Efficient Indirect Jumps
   Gang-Ryung Uh & David Whalley

16:30-17:00 Break

17:00-18:00 Termination

   Automatic Termination Analysis for Partial Functions Using Polynomial
   Orderings
   Juergen Brauburger

   TEA: Automatically proving termination of programs in a non-strict
   higher-order functional language
   Sven E. Panitz & Manfred Schmidt-Schauss

CONFERENCE COMMITTEE

Conference Chair:
    R. Cousot (CNRS & Polytechnique)

Program Chair:
    P. Van Hentenryck (Brown)

Program Committee:
    F. Bourdoncle (Mines, Paris)
    M. Bruynooghe (Leuven)
    A. Cortesi (Venice)
    S. Debray (Arizona)
    A. Deutsch (INRIA)
    R. Giacobazzi (Pisa)
    C. Hankin (Imperial College)
    N. Halbwachs (Grenoble)
    L. Hendren (McGill)
    F. Henglein (DIKU)
    D. Le Me'tayer (INRIA/IRISA)
    T. Marlowe (Seton Hall)
    J. Palsberg (Purdue)
    W. Winsborough (Transarc Corp.)

REGISTRATION

To register for SAS'97, fill out the registration form, attached
below, and send it with payment.

All payments should be made in French Currency:

 - Bank transfer to:
       TRESORERIE GENERALE DE L'ESSONNE,
       Boulevard de France,
       91011 Evry, France
       Account number: 10071-91000-00003001722-65
       (State your name and the conference reference: SAS'97)
       (Send the registration form separately)

 - Make checks payable to:
       Agent comptable secondaire CNRS IDF SUD
       (to be sent with the registration form)

- Purchase Order Form to:
        LIX-CNRS
       (to be sent with the registration form)

------------------- SAS'97 Registration Form --------------------

To be sent to:
SAS'97
c/o Evelyne Rayssac
LIX
Ecole Polytechnique
91128 Palaiseau cedex
France

Tel:   +33 1 69 33 38 03
Fax:   +33 1 69 33 30 14
email: sas97@lix.polytechnique.fr

Name:_____________________________________________________

Affiliation:______________________________________________

Address:__________________________________________________

        __________________________________________________

        __________________________________________________

Phone:____________________________________________________

Fax:______________________________________________________

E-mail:___________________________________________________

Dietary requirements:_____________________________________

Payment by:   enclosed check ___
              enclosed order form ___
              bank tranfer ___

Registration fees:  (in French Francs, 20.6% VAT included)
      by August 15, 1997:
                  2,000 FF___
                  1,500 FF (Full-time Student)___
      after August 15, 1997:
                  2,400 FF___
                  1,700 FF (Full-time Student)___
Registration includes the proceedings, reception, lunches and
coffee breaks.
---------------------------------------------------------------
HOTEL AND TRAVEL INFORMATION

Hotel and travel information, including detailed information on
room reservations at any of a number of hotels near the
Ecole Normale Supe'rieure, is available at the URL
     http://lix.polytechnique.fr/~radhia/sas97/
For SAS'97, we have arranged rooms for conference attendees
at the hotels listed below. To make a reservation, send a fax
mentioning the reference "SAS'97". Please note that all of the
by July 30:

Hotel Luxembourg (***), 616F
Fax: +33 (0) 1 43 26 60 84
Tel: +33 (0) 1 43 25 35 90
email: luxhotel@luxembourg.grolier.fr
http://www.grolier.fr/luxembourg

Hotel des Jardins du Luxembourg (***), 650FF
Fax: +33 (0) 1 40 46 02 28
Tel: +33 (0) 1 40 46 08 88

Hotel Observatoire-Luxembourg (***), 586FF
107, Boulevard Saint-Michel
Fax: +33 (0) 1 46 33 73 86
Tel: +33 (0) 1 46 34 10 12

Hotel Pierre Nicole, (**), 350FF
Fax: +33 (0) 1 43 54 22 45
Tel: +33 (0) 1 43 54 76 86
---------------------------------------------------------------


