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

SAS 2020 with SPLASH 2020

Welcome to the 27th Static Analysis Symposium (SAS 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.