SAS'01 Call For Participation
radhia@lix.polytechnique.fr
radhia@lix.polytechnique.fr
Thu, 19 Apr 2001 00:08:12 +0200 (CEST)
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@lix.polytechnique.fr
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@voila.fr
(***) 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@luxembourg.mgn.fr
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@lsv.ens-cachan.fr)
http://www.lsv.ens-cachan.fr/cav01/
-----------------------------------------------------------------