SAS 2012

Objectives

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 Nineteenth International Static Analysis Symposium, SAS 2012, will be held in Deauville, France. Previous symposia were held in Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen, Glasgow, and Namur.

Topics

The technical program for SAS 2012 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to:

Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU 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 submission is now closed.

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.

Paper submissions should not exceed 15 pages in Springer's Lecture Notes in Computer Science format, excluding bibliography and well-marked appendices. Please take a look at the information for LNCS authors at Springer. Program committee members are not required to read the appendices, and thus papers must be intelligible without them.

Papers must be submitted electronically in PDF format only through the EasyChair submission website. We thank Andrei Voronkov for making EasyChair available to us.

Proceedings

The accepted articles will be published by Springer in Volume 7460 of the Lecture Notes in Computer Science series, as part of the ARCoSS subline.

Affiliated Events

• NSAD 2012: The 4th Workshop on Numerical and Symbolic Abstract Domains
  10 September
• SASB 2012: The 3rd Workshop on Static Analysis and Systems Biology
  10 September
• TAPAS 2012: The 3rd Workshop on Tools for Automatic Program AnalysiS
  14 September

Sponsors