SAS 2020
Wed 18 - Fri 20 November 2020 Chicago, Illinois, United States
co-located with SPLASH 2020

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 27th Static Analysis Symposium, SAS 2020, will be held in Chicago, Illinois, United States. Previous symposia were held in Porto, Freiburg, 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 2020 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 Automated deduction
Data flow analysis Debugging Deductive methods
Emerging applications Model checking Program optimizations and transformations
Program synthesis Program verification Security analysis
Tool environments and architectures Theoretical frameworks Type checking

Call for Papers

This is a placeholder text.

You can expect more information about the call for papers soon.

This page will have information about the submission and selection process and list the important dates.