Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
20th Static Analysis Symposium

Co-located with  PLDI'13

Registration is via the PLDI'13 registration website


Program and Papers!

(including links to Virtual Machines) 

Springer online proceedings free preview.

Invited speakers

Accepted papers

Submission page

Important dates

Abstract submission


3 February 2013 (23h59 PST)

Full paper submission 


10 February 2013 (23h59 PST)

Virtual machine

17 February 2013


22 March 2013


3 April 2013


20-22 June 2013


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.


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:

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, 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

Francesco Logozzo

Microsoft Research Redmond, USA

Manuel Fahndrich

Microsoft Research Redmond, USA

Program Committee

Ana Milanova

Rensselaer Polytechnic Institute, USA

Anindya Banerjee

IMDEA Software Institute, Spain

Antoine Miné

CNRS & Ecole Normale Supérieure, France

Arie Gurfinkel

SEI Carnegie Mellon, USA

Atsushi Igarashi

Kyoto University, Japan

Elvira Albert

Complutense University of Madrid, Spain

Enea Zaffanella

University of Parma and BUGSENG, Italy

Franjo Ivancic

NEC Laboratories America, USA

Helmut Seidl

TU Muenchen, Germany

Hongseok Yang

University of Oxford, UK

Isil Dillig

College of William & Mary, USA

John Boyland

University of Wisconsin-Milwaukee, USA

Mila Dalla Preda

University of Bologna, Italy

Mooly Sagiv

Tel Aviv University, Israel

Nicolas Halbwachs


Ranjit Jhala

UC San Diego, USA

Wei-Ngan Chin

National Univ of Singapore

Werner Dietl

University of Washington, USA

Steering Committee

Patrick Cousot

Ecole Normale Superieure, France & NYU, USA

Radhia Cousot

CNRS & Ecole Normale Superieure, France

Roberto Giacobazzi

University of Verona, Italy

Gilberto File

University of Padova, Italy

Manuel Hermenegildo

IMDEA Software Institute, Spain

David Schmidt

Kansas State University, USA

Static Analysis main page

The main page for the Static Analysis Symposium is

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


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.


Slides of the (great) invited talks are now online. See the program.

Added link to the Virtual Machines: try them!

Registration is via PLDI'13

The program is now online!

List of invited speakers is available

List of accepted papers now online

Deadline extended by one week!

Submission page is open

Important dates are out:

Abstract submission 3 February 2013

Full paper submission 10 February 2013

Virtual machine 17 February 2013
Notification 22 March 2013
Camera-ready 3 April 2013
Conference 20-22 June 2013

SAS'13 will be co-located with PLDI 2013 !