SAS'01 Call For Participation

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

SAS'01 Call For Participation

Radhia Cousot
                               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

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

(***) 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
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)
http://www.lsv.ens-cachan.fr/cav01/

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