Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification systems of high-level programming languages. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area.
The Ninth International Static Analysis Symposium (SAS'02) will be held at the Technical University of Madrid, co-located with Logic-based Program Development and Transformation (LOPSTR'02) and the APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'02). Previous symposia were held in Paris, Santa Barbara, Venice, Pisa, Paris, Aachen, Glasgow and Namur.
The technical program for SAS'02 will consist of invited
lectures, tutorials, panels, presentations of refereed papers, and software
demonstrations. Contributions are welcome on all aspects of Static
Analysis, including, but not limited to:
|abstract interpretation,||data flow analysis,|
|verification systems,||program specialization,|
|abstract domains,||optimizing compilers,|
|theoretical frameworks,||type inference,|
|abstract model checking,||complexity analysis,|
|abstract testing,||security analysis.|
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 describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings.
All submissions must be performed electronically at http://clip.dia.fi.upm.es/SAS02/submission.html. Submitted papers should be at most 15 pages excluding bibliography and well-marked appendices. Program committee members are not required to read the appendices, and thus papers should be intelligible without them. The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series (see http://www.springer.de/comp/lncs/authors.html for the LNCS author instructions). Thus, adhering to that style already in the submission is strongly encouraged. Papers should be submitted either in PostScript or PDF format and they should be interpretable by Ghostscript or Acrobat Reader. Papers must be printable on either A4 paper or US letter, and preferably on both.
Submissions should arrive by May 10, 2002.
Authors will be notified of the acceptance or rejection of their papers by June 24, 2002.
Final versions of the accepted papers must be received in camera-ready and electronic form by July 8, 2002.
SAS'02 conference dates: Sept 17-20, 2002.
|Manuel Hermenegildo (Chair)||Technical University of Madrid, Spain|
|Germán Puebla (Co-chair)||Technical University of Madrid, Spain|
|Radhia Cousot||École Polytéchnique, France|
|Saumya Debray||The University of Arizona, USA|
|Manuel Fahndrich||Microsoft Research, USA|
|Roberto Giacobazzi||University of Verona, Italy|
|Chris Hankin||Imperial College, UK|
|Giorgio Levi||University of Pisa, Italy|
|Kim Marriott||Monash University, Australia|
|Alan Mycroft||Cambridge University, United Kingdom|
|Ganesan Ramalingam||IBM T.J. Watson Research Center, USA|
|Martin Rinard||Massachusetts Institute of Technology, USA|
|Shmuel Sagiv||Tel-Aviv University, Israel|
|Reinhard Wilhelm||Universität des Saarlandes, Germany|
|Email:||email@example.com||Post:||Manuel Hermenegildo (Ref: SAS'02)|
|Fax:||+ 34 91 352 4819||Facultad de Informática|
|Phone:||+ 34 91 336 7448||Universidad Politécnica de Madrid|
|28660 Boadilla del Monte|