SAS 2013

The 20th International Static Analysis Symposium

20-22 June 2013, Seattle, WA

Co-located with PLDI'13

http://research.microsoft.com/sas2013/

(My apologies for multiple postings)

Important dates

Objective

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 the presentation of theoretical, practical, and application advances in the area. The 20th International Static Analysis Symposium, SAS 2013, will be held in Seattle, WA, USA, co-located with the ACM Conference on Programming Language Design and Implementation. Previous symposia were held in Deauville, 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 2013 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

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 20 pages in Springer's Lecture Notes in Computer Science 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.

Artifact Submission

New this year, we are encouraging authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. The  goal  of the  artifact  submissions  is  to strengthen  our field's  scientific approach  to  evaluations and reproducibility of results. The virtual machines will be archived on a permanent Static Analysis Symposium website to provide a record of past experiments and tools, allowing future research to better evaluate and contrast existing work.

Artifact submission is optional.  Details on what to submit and how will be forthcoming.

The submitted artifacts will be  used by the program committee as a  secondary evaluation criteria  whose sole  purpose is  to find additional  positive   arguments  for  the   paper's  acceptance. Submissions without artifacts are welcome and will not be penalized.

Program Chairs

Program Committee

Steering Committee

Affiliated Events

NSAD: The 5th Workshop on Numerical and Symbolic Abstract Domains

19 June 2013

SASB: The 4th Workshop on Static Analysis and Systems Biology

19 June 2013

TAPAS: The 4th Workshop on Tools for Automatic Program Analysis

19 June 2013

Venue

SAS 2013 and  its affiliated events are co-located  with ACM PLDI 2013 and  will take  place at the  Red Lion  Hotel on 5th  Ave in downtown  Seattle,  WA.  Seattle,  home  to  Amazon,  Starbucks, Microsoft, and  Boeing is  famous for its  coffee houses  and its beautiful surroundings  such as the Puget Sound  and its numerous islands,  as well as  the Olympic  Peninsula and  nearby Cascades mountains.