SAS 2023
Sun 22 - Tue 24 October 2023 Cascais, Portugal
co-located with SPLASH 2023

Welcome to SAS2023!

Welcome to the website of the 30th Static Analysis Symposium (SAS 2023). 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. A selection of papers will be invited to a special issue of Springer’s journal Formal Methods in System Design.

Invited Speakers

Bronze Sponsors

Google           ENS

Other Sponsors

Meta     AbsInt     Amazon

Airbus         Springer         IMDEA Software Institute