Program-Transformation.Org: The Program Transformation Wiki
International Static Analysis Symposium


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.


  • Deadline: May
  • Conference: September