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