25th Static Analysis Symposium
August 29th - August 31st, 2018, Freiburg, Germany

About


Static Analysis is widely 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 25th Static Analysis Symposium, SAS 2018, will be held in Freiburg, Germany. Previous symposia were held in New York, Edinburgh, Saint-Malo, Munich, Seattle, 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 2018 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
Automated deduction

Debugging

Emerging applications

Program optimizations and transformations

Program verification

Tool environments and architectures

Type checking

Abstract interpretation

Data flow analysis

Deductive methods

Model checking

Program synthesis

Security analysis

Theoretical frameworks


   

Paper Submission


  1. TBA


Artifact Submission


  1. TBA


Important Dates


Abstract submission

Full paper submission

Artifact aubmissions

Author notification

Final version due

Conference

TBA

TBA

TBA

TBA

TBA

August 29th - August 31st, 2018



Radhia Cousot Young Researcher Award


Since 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.


Invited Speakers


  1. TBA


Affiliated Events


  1. TBA


Organization


  1. Program Chair

  2. Andreas Podelski (University of Freiburg, Germany)


  1. Program Committee

  2. TBA


  1. Publicity Chair

  2. Caterina Urban (ETH Zurich, Switzerland)


Sponsors


TBA