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


The Static Analysis Symposia


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.


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.


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, as well as being one of the main promoters and organizers of the SAS series of conferences.

Recipients of the award:

  1. Aleksandar Chakarov (University of Colorado, Boulder, CO, USA), Expectation Invariants for Probabilistic Program Loops as Fixed Points (with Sriram Sankaranarayanan)

  2. Marianna Rapoport (University of Waterloo, Ontario, Canada), Precise Data Flow Analysis in the Presence of Correlated Method Calls (with Ondrej Lhoták and Frank Tip)

  3. Stefan Schulze Frielinghaus (Technishe Universität Müuchen, Germany), Enforcing Termination of Interprocedural Analysis (with Helmut Seidl and Ralf Vogler)

  4. Suvam Mukherjee (Indian Institute of Science, Bangalore, India) and Oded Padon (Tel Aviv University, Israel), Thread-Local Semantics and its Efficient Sequential Abstractions for Race-Free Programs (with Sharon Shoham, Deepak D'Souza, and Noam Rinetzky)

  5. TBA at SAS 2018

Next Edition

The 25th International Static Analysis Symposium, SAS 2018, will be held from August 29th to August 31st in Freiburg, Germany.

Previous Editions

The series of Static Analysis Symposia has been held in New York (2017), Edinburgh (2016), Saint-Malo (2015), Munich (2014), 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

The SAS Steering Committee (2017) is:

Francesco Ranzato University of Padova, Italy SAS 2017 PC chair
Xavier Rival INRIA/ENS/CNRS, France SAS 2016 PC chair
Thomas Jensen INRIA Rennes, France SAS 2015 PC co-chair
Sandrine Blazy University of Rennes 1, France SAS 2015 PC co-chair
Markus Müller-Olm University of Münster, Germany SAS 2014 PC co-chair
Helmut Seidl TU Munich, Germany SAS 2014 PC co-chair
Francesco Logozzo Facebook, USA SAS 2013 PC co-chair
Manuel Fähndrich Facebook, USA SAS 2013 PC co-chair
Patrick Cousot New York University, USA Honorary senior member

Composition and duties: Since 2017 the SAS SC is formed on a dynamic, rotating basis by including the Program Committee (PC) chairs of the last 5 editions of SAS, i.e., the SC for year X consists of PC chairs of SAS X, X-1, X-2, X-3, X-4, and the SC chair(s) are the PC chair(s) of SAS X-4. Moreover, to preserve the historical memory of the SC, the founding chair of the SC, Patrick Cousot, is included as an honorary senior member. The SAS SC for year X is in charge of:

  • Selecting the location and the Program Committee Chair and Organizing Chair of the next SAS (i.e., for year X+1).
  • Giving feedback to the PC chairs on the composition of the PC for year X+1.
  • Managing the financial resources of the SAS conferences.
  • Managing the connections with publishers and related conferences and events.
  • Managing the communication via social media and the web.
  • Proposing to the community any actions that may improve the scientific strength and status of SAS.

The founding members of the SAS SC (serving up to 2017) were Patrick Cousot (École Normale Supérieure, France & New York University, 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), and David Schmidt (Kansas State University, USA).