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/ -----------------------------------------------------------------