SAS 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
co-located with SPLASH 2024
All Editions
Sun 20 - Fri 25 October 2024 Pasadena, California, United States

SAS 2024 with SPLASH 2024

No description available

Sun 22 - Tue 24 October 2023 Cascais, Portugal

SAS 2023 with SPLASH 2023

Welcome to SAS2023! If you are a speaker, please check the SPLASH instructions for presenters. If you are a session chair, please check the SPLASH instructions for session chairs. The papers are linked from the program. Paper artifacts are availble at Zenodo. The proceedings are now available from Springer. Please note that you have to reach them from this link to have access. Welcome to the we ...

Mon 5 - Wed 7 December 2022 Auckland, New Zealand

SAS 2022 with SPLASH 2022

Welcome to the website of the 29th Static Analysis Symposium (SAS 2022). 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 ...

Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

SAS 2021 with SPLASH 2021

Welcome to the 28th Static Analysis Symposium (SAS 2021)! 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. SAS begins this Sunday! W ...

Wed 18 - Fri 20 November 2020 Online Conference

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.