SAS 2012 - The 19th International Static Analysis Symposium

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 Eighteenth International Static Analysis Symposium (SAS) will be held in Venice, Italy. Previous symposia were held in Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Venezia, Pisa, Paris, Aachen, Glasgow, and Namur.
Topics
The technical program for SAS 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.
Submission Information
Paper submissions should not exceed 15 pages in LNCS format, excluding bibliography and well-marked appendices. Program committee members are not required to read the appendices, and thus papers must be intelligible without them. https://www.easychair.org/conferences/?conf=sas201...
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 will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant.
The proceedings will be published by Springer-Verlag's Lecture Notes in Computer Science series.