*************************************************************************
Final Call For Papers
International Static Analysis Symposium (SAS'99)
Venezia, Italy,
22--24 September 1999
http://www.dsi.unive.it/~sas99/
*************************************************************************
Static Analysis is increasingly recognised 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 Sixth International Static Analysis Symposium (SAS'99) will be held
in Venezia, in conjunction with LOPSTR'99, hosted by Ca' Foscari University.
Previous symposia were held in Namur, Glasgow, Aachen, Paris, and Pisa.
The technical program will consist of invited lectures, tutorials,
panels, presentations of refereed papers, and software demonstrations.
Invited talks will be given by Daniel Wise (Mycrosoft Research), David
McAllester (AT&T Research), Dennis Volpano (Naval Postgraduate School),
and Don Sannella (Univ. of Edinburgh). Tutorials will be given by David
Schmidt (Kansas State Univ.), Mary Lou Soffa (Univ. of Pittsburgh), and
Craig Chambers (Univ. of Washington).
Contributions are welcome on all aspects of Static Analysis, including,
but not limited to
Abstract Interpretation Data Flow Analysis
Complexity Analysis Theoretical Frameworks
Optimising Compilers Verification Systems
Program Specialization Type Inference
Model Checking Abstract Domains
Submissions can address any programming paradigm, including concurrent,
constraint, functional, imperative, logic and object-oriented programming.
Survey papers that present some aspect of the above topics with a new
coherence are also welcome.
Papers must be written in English, must not exceed 15 pages (excluding
references and figures), and must contain a cover page containing the
following: a 200-word abstract, keywords, postal and electronic mailing
addresses, and phone numbers and fax numbers of one of the authors.
Submissions should arrive by March 15, 1999 by email (uuencoded, compressed,
postscript file).
Email: [EMAIL PROTECTED]
Phone: + 39 49 8275989
Fax: + 39 49 8758596
Post: Gilberto File'
Dipartimento di Matematica Pura e Applicata
Universita' di Padova
via Belzoni 7
I-35131 Padova, Italy
Please, do ensure that your submission is self-contained and prints on
A4 paper. All submissions will be acknowledged. Authors will be notified
of the acceptance or rejection of their papers by May 17, 1999.
Final versions of the accepted papers must be received in camera-ready form
by June 10, 1999.
The proceedings are expected to be published by Springer-Verlag in the LNCS
series.
Program Chair:
G. File' (Padova)
Program Committee:
C. Chambers (Washington)
A. Cortesi (Ca' Foscari)
P. Cousot (LIENS)
R. Giacobazzi (Verona)
G. Gupta (New Mexico Univ.)
A. Mycroft (Cambridge)
F. Nielson (Aarhus)
J. Palsberg (Purdue)
A. Podelski (Max Plank Inst.)
S. Sagiv (Tel Aviv)
D. Schmidt (Kansas State)
M.L. Soffa (Pittsburgh)
H. Sondergaard (Melbourne)
P. Van Hentenryck (Louvain)
Important Dates
Submission: March 15,1999
Notification: May 17, 1999
Final Version: June 10, 1999
Organizing Committee:
Michele Bugliesi
Nicoletta Cocco
Agostino Cortesi
Riccardo Focardi
Sabina Rossi
