Static Analysis Symposium
Sun 22 - Tue 24 October 2023 Cascais, PortugalSAS 2023 with SPLASH 2023Registration is now open! (Early registration deadline is September 22.) 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 ... |
Mon 5 - Wed 7 December 2022 Auckland, New ZealandSAS 2022 with SPLASH 2022Welcome 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 StatesSAS 2021 with SPLASH 2021Welcome 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 ConferenceSAS 2020 with SPLASH 2020Welcome 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. |
Manuel HermenegildoCo-chair
Technical University of Madrid (UPM) and IMDEA Software Institute
Spain
José MoralesCo-chair
IMDEA Software Institute
Spain
Marc ChevalierArtifact Evaluation Chair
Switzerland
Louis RustenholzPublicity Chair
Universidad Politécnica de Madrid (UPM) and IMDEA Software Institute
Spain