From owner-theorynt@LISTSERV.NODAK.EDU Wed Jul 23 21:52:11 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id VAA14443 for ; Wed, 23 Jul 1997 21:52:11 -0700 (PDT) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.6/8.8.6) with ESMTP id VAA10426; Wed, 23 Jul 1997 21:52:08 -0700 (PDT) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.522FC310@listserv.nodak.edu>; Wed, 23 Jul 1997 23:51:21 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 2842933 for THEORYNT@LISTSERV.NODAK.EDU; Wed, 23 Jul 1997 23:51:16 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.4E190250@listserv.nodak.edu>; Wed, 23 Jul 1997 23:51:16 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 2842916 for THEORY-A@LISTSERV.NODAK.EDU; Wed, 23 Jul 1997 23:51:13 -0500 Received: from usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.490CE510@listserv.nodak.edu>; Wed, 23 Jul 1997 23:51:05 -0500 Received: from pollux2.usc.edu (pollux2.usc.edu [128.125.253.192]) by usc.edu (8.8.4/8.7.2/usc) with ESMTP id VAA13850 for ; Wed, 23 Jul 1997 21:50:47 -0700 (PDT) Received: (from ierardi@localhost) by pollux2.usc.edu (8.8.4/8.8.4/usc) id VAA08440 for theory-a@listserv.nodak.edu; Wed, 23 Jul 1997 21:50:47 -0700 (PDT) X-Mailer: ELM [version 2.4 PL24] Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199707231126.NAA05411@albatros.polytechnique.fr> Date: Wed, 23 Jul 1997 21:50:46 PDT Reply-To: Theory-A - TheoryNet World-Wide Events , MET DST <49+0200@pollux2.usc.edu> Sender: TheoryNet List From: MET DST <49+0200@pollux2.usc.edu> Subject: SAS'97 : Paris, September 8-10 Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU X-Mozilla-Status: 0001 Content-Length: 9153 [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 ---------------------------------------------------------------