SAS'01 Call For Participation

Thu Apr 19 00:02:42 CEST 2001

                               PROGRAMME   
                      AND CALL FOR PARTICIPATION

                               SAS'01
             Eigth International Static Analysis Symposium
                  La Sorbonne, Paris, 16-18 July, 2001

                       http://www.ens.fr/sas01/

Registration information is available at the bottom of this announcement.
Electronic registration is also available on the SAS'01 website.

The hotels reservations are to be done by --22 April 2001--.

                              PROGRAMME

MONDAY JULY  16

8:00-9:00   Registration

9:00-10:00  Invited Talk  

    Program Analysis for Multi-threaded Programs
    Martin C. Rinard (Massachusetts Institute of Technology)

10:00-10:30  Break

10:30-12:00  Program transformation

    Communication and Parallelism Introduction and Elimination 
    by Static Formal Transformations
    Miquel Bertran, Francesco Babot and August Climent Miquel Nicolau

    Using Slicing to Identify Duplication in Source Code
    Raghavan Komondoor and Susan Horwitz

    Soft Scheduling for Hardware
    Richard Sharp and Alan Mycroft

12:00-13:30 Lunch

13:30-15:00 Strictness and termination 

    Effective Strictness Analysis with HORN Constraints
    Kevin Glynn, Peter J. Stuckey, and Martin Sulzmann

    Applying Static Analysis Techniques for Inferring Termination
    Conditions of Logic Programs
    Fred Mesnard and Ulrich Neumerkel

    An Abstract Analysis of the Probabilistic Termination of Programs
    David Monniaux

15:00-15:30 Break

15:30-17:00 Semantics abstraction

    Watchpoint Semantics: A Tool for Compositional and Focussed 
    Static Analyses
    Fausto Spoto

            Logic and constraint programming

    Parameterizing a Groundness Analysis of Logic Programs
    Lunjin Lu

    Finite-Tree Analysis for Constraint Logic-Based Languages
    Roberto Bagnara, Roberta Gori, Patricia M. Hill 
    and Enea Zaffanella

20:00 Reception

TUESDAY, JULY  17

9:00-10:00  Invited Talk  

    Applications of Extended Static Checking
    K. Rustan M. Leino (Compaq SRC)

10:00-10:30  Break

10:30-12:00  Data structures

    Cleanness Checking of String Manipulations in C Programs 
    via Integer Analysis
    Nurit Dor, Michael Rodeh and Mooly Sagiv

    Solving Regular Tree Grammar Based Constraints
    Yanhong A. Liu, Ning Li and Scott D. Stoller

    Static analyses of floating-point operations
    Éric Goubault

12:00-13:30  Lunch

13:30-15:30  Pointer analysis 

    Estimating the Impact of Scalable Pointer Analysis 
    on Optimization
    Manuvir Das, Ben Liblit, Manuel Fahndrich and Jakob Rehof

    Efficient Computation of Parameterized Pointer Information 
    for Interprocedural Analyses
    Donglin Liang and Mary Jean Harrold

             Model Checking

    Parametric Optimization of Open Real-Time Systems
    Farn Wang and Hsu-Chun Yen

    Embedding Chaos
    Natalia Sidorova and Martin Steffen

15:30-16:00  Break

16:00-17:00  Abstract Model Checking

    Analyzing Fair Parametric Extended Automata
    A. Annichini, A. Bouajjani, Y. Lakhnech, and M. Sighireanu

    Incompleteness, Counterexamples and Refinements in 
    Abstract Model-Checking
    Roberto Giacobazzi and Elisa Quintarelli

20:00 Reception

WEDNESDAY, JULY  18

9:00-10:00  Invited Talk  

    Language-based Security: What's needed and Why
    Fred Schneider (Cornell University)

10:00-10:30  Break

10:30-12:00  Mobility

    A Behavioral Module System for the Pi-Calculus
    Sriram K. Rajamani and Jakob Rehof

    An Abstract Interpretation Framework for Analysing 
    Mobile Ambients
    Francesca Levi and Sergio Maffeis

    Abstract Interpretation-Based Static Analysis of 
    Mobile Ambients
    Jérôme Feret

12:00-13:30  Lunch

13:30-15:00  Invited Session on Security

    ...
    David Wagner (University of california, Berkeley)

    A type and Effect Analysis of Security Protocols
    (joint work with Alan jeffrey)
    Andrew Gordon (Microsoft Research, Cambridge)

15:00-15:30 Break

15:30-17:00  Invited Session on Security (Cont'd)

    Abstracting Cryptographic Protocols by Prolog Rules
    Bruno Blanchet (Inria Rocquencourt)

    Security-Typed languages  
    Andrew Myers (Cornell University)

------------------------- REGISTRATION FORM ---------------------

Send your registration form with payment to:
SAS'01 c/o Evelyne Rayssac
LIX
Ecole Polytechnique
91128 Palaiseau cedex
France

Phone:   +33 1 69 33 45 95
Fax:   +33 1 69 33 30 14
email: sas01@REDACTED

Electronic registration is also available at URL:
http://www.ens.fr/sas01/

Name:............................................................

Affiliation:.....................................................

Address:.........................................................

        .........................................................

        .........................................................

Phone:...........................................................

Fax:.............................................................

E-mail:..........................................................

Dietary requirements:............................................

Do you need an Internet connection for a laptop from your hotel?:

        .........................................................

Payment:  enclosed check ___ 
          enclosed order form (for french institutions only) ___ 
          bank tranfer (enclose a copy of the transfer order) ___       

Registration fees:  (in Euros or French Francs) 
      by June, 15 2001: 
                  500 ¤ ___  or  3,300 FF___   
                  365 ¤ ___  or  2,400 FF___ (Full-time Student)
      after June, 15 2001:
                  550 ¤ ___  or  3,600 FF___ 
                  415 ¤ ___  or  2,700 FF___ (Full-time Student) 

Registration includes the proceedings, reception, lunches and 
coffee breaks.  

---------------------------- PAYMENT -----------------------------

Choose one of the three following options for the payment of the 
registration fees. Make sure that the bank and change costs are at 
your charge.

 - Bank transfer to:
       Bank: Tresorerie Generale des Hauts-de-Seine 
             167, avenue Joliot Curie 
             92013 Nanterre Cedex, France
       (State your name and the reference: SAS'01)

       Domiciliation: RGFIN PARIS NANTERRE
       Account Number: 40071-9200-00003000310-90
       Account Name: CNRS IDF OUEST-NORD

       (A copy of the transfer order is to be sent with the
       registration form)

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

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

------------------------ HOTEL RESERVATION ----------------------

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://www.ens.fr/sas01/
We have arranged rooms for conference attendees
at the hotels listed below.

To make a reservation, send a fax to the hotel mentioning your
credit card number and the reference "SAS'01, La Sorbonne". 

Please note that all of the reservations are to be done 
by ---22 April 2001---.

(**) Hotel Pierre Nicole
39 rue Pierre Nicole 
Paris 75005
Phone: +33 (0)1 43 54 76 86
Fax: +33 (0)1 43 54 22 45
Single: 390F, Double: 440F, Breakfast: 40F
hotelpierre-nicole@REDACTED

(***) Observatoire du Luxembourg
107, Boulevard Saint-Michel
Paris 75005
Phone: +33 (0)1 46 34 10 12
Fax: +33 (0)1 46 33 73 86
Single: 600F, Double: 700F, Breakfast: included 
http://Paris.HotelGuide.net/data/h100051.htm

(***) Hotel des Jardins de Luxembourg
5 Impasse Royal-Collard 
Paris 75005
Phone: +33 (0)1 40 46 08 88
Fax: +33 (0)1 40 46 02 28
Single or Double: 825F, Breakfast: 55F
http://Paris.HotelGuide.net/data/h100049.htm

(***) Hotel Luxembourg 
luxhotel@REDACTED
4, rue de Vaugirard
75006 Paris
Phone: +33 (0)1 43 25 35 90
Fax: +33 (0)1 43 25 17 18
Single: 800F / Double: 910F, Breakfast: included
http://www.hotel-luxembourg.com/index.html

(***) Hotel du Pantheon
Place du Pantheon
75005 Paris
Phone: +33 (0)1 43 54 32 95 
Fax: +33 (0)1 43 26 64 65
Single or Double: 1100F, Triple: 1300F, Breakfast: 55F
http://www.france-hotel-guide.com/h75005pantheon.htm

Students rooms at the ENS-Cachan Campus
(For students registrating at SAS'01 & CAV'01)
61 av. du Pdt Wilson
94235 Cachan
RER-B: Bagneux (45min)
Single: 120F 
(contact person: duflot@REDACTED)
http://www.lsv.ens-cachan.fr/cav01/

-----------------------------------------------------------------