Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area. The Seventeenth International Static Analysis Symposium (SAS 2010) will be held in Perpignan, France. Previous symposia were held in Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Venezia, Pisa, Paris, Aachen, Glasgow, and Namur.
The technical programme for SAS 2010 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to:
abstract domains abstract interpretation abstract testing bug detection data flow analysis model checking new applications program transformation program verification security analysis theoretical frameworks type checking 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 welcomed.
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.
| Submissions: | March 19, 2010 |
| Notification: | May 4, 2010 |
| Event: | September 14, 2010-September 16, 2010 |