The SAS pages are managed by the SAS Steering Committee and hosted by the IMDEA Software Institute

SAS

The Static Analysis Symposia


Description

Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of International Static Analysis Symposia (SAS) serves as the primary venue for presentation of theoretical, practical, and application advances in the area.

Topics

Contributions to the technical program for Static Analysis Symposia typically consist of invited lectures and presentations of refereed papers. While each edition is independent, traditionally contributions are welcome 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, object-oriented, aspect, multi-core, distributed, GPU programming, etc. 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 welcome.

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.

Artifacts

Since 2013 SAS is encouraging authors to submit a virtual machine image containing any artifacts and evaluations presented in papers. The goal of the artifact submissions is to strengthen adherence to the scientific approach in the evaluations and reproducibility of results in our field. The virtual machines are archived on this Static Analysis Symposium website to provide a record of past experiments and tools, allowing future research to better evaluate and contrast existing work. As concrete examples please see the SAS 2013 program, which includes pointers to the SAS 2013 artifacts for accepted papers.

Artifact submission is optional at the SAS conferences. The submitted artifacts are used by the program committee as a secondary evaluation criteria that will provide additional positive arguments for the paper's acceptance. Submissions without artifacts are still welcome and are not penalized.

Radhia Cousot award

Starting in 2014, the program committee of each SAS conference selects a paper for the Radhia Cousot Young Researcher Best Paper Award, in memory of Radhia Cousot, and her fundamental contributions to static analysis, being also one of the main promoters and organizers of the SAS series of conferences.

Next edition

The 21st International Static Analysis Symposium, SAS 2014, will be held on September 11-13 in Munich, Germany.

Previous editions

The series of Static Analysis Symposia has been held in Seattle (2013), Deauville (2012), Venice (2011), Perpignan (2010), Los Angeles (2009), Valencia (2008), Kongens Lyngby (2007), Seoul (2006), London (2005), Verona (2004), San Diego (2003), Madrid (2002), Paris (2001), Santa Barbara (2000), Venice (1999), Pisa (1998), Paris (1997), Aachen (1996), Glasgow (1995), and Namur (1994). SAS predecessors were the series of Workshops on Static Analysis held in Padova (1993) and Bordeaux (1992 and 1991).

Steering Committee


Patrick Cousot École Normale Supérieure, France & NYU, USA
Radhia Cousot CNR & École Normale Supérieure, France
Roberto Giacobazzi University of Verona, Italy
Gilberto Filé University of Padova, Italy
Manuel Hermenegildo IMDEA Software Institute and UPM, Spain
David Schmidt Kansas State University, USA