[Prev][Next][Index][Thread]
SAS'97 Call For Participation
[APOLOGIES IF YOU RECEIVE THIS SEVERAL TIMES]
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 Languages I
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
<To be announced>
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
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 I
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 n!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 July 30, 1997:
2,000 FF___
1,500 FF (Full-time Student)___
after July 30, 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 20:
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
---------------------------------------------------------------