PRELIMINARY CALL FOR PAPERS
SAS'05 Call for Papers
The 12th International Static Analysis Symposium
(co-located with LOPSTR'05)
Analysis is increasingly recognized as a fundamental tool for high performance
implementations and verification of programming languages and systems. The
series of Static Analysis Symposia has served as the primary venue for
presentation of theoretical, practical, and application advances in the
area. The twelfth International Static
Analysis Symposium (SAS'05) will be held in
The technical program for SAS'05 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 domains, abstract interpretation, abstract testing, complexity analysis,
data flow analysis, model checking, optimizing compilers, program specialization,
security analysis, theoretical frameworks, type inference, verification systems.
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, and application papers, that describe experience with industrial applications, 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.
Submitted papers should be at most 15 pages formatted in LNCS style (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.
Conference: 7-9 September 2005.
Thomas Ball (
· Radhia Cousot (CNRS/Ecole Polytechnique, FR)
Alessandra Di Pierro (U.
· Gilberto File (U. Padova, IT)
Roberto Giacobazzi (U.
Andy King (U.
Pasquale Malacaria (
· Laurent Mauborgne (ENS, FR)
Alan Mycroft (U.
Andreas Podelski (
Ganesan Ramalingam (
· Andrei Sabelfeld (Chalmers, SE)
· Harald Sondergaard (U. Melbourne, AU)
Department of Computing
South Kensington Campus