30th Static Analysis Symposium
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 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
Keynote![Loris D'Antoni](https://conf.researchr.org/getProfileImage/lorisdantoni/46c02799-dcfd-43b2-b99d-3bc5bf708729/avatar.jpg?1711471930000)
![Loris D'Antoni](https://conf.researchr.org/getProfileImage/lorisdantoni/46c02799-dcfd-43b2-b99d-3bc5bf708729/avatar.jpg?1711471930000)
Verifying Infinitely Many Programs at Once
Loris D'Antoni
Keynote![Daniel Kaestner](https://conf.researchr.org/getProfileImage/danielkastner/dca569aa-ada0-4c92-a3b9-0170eb3f74de/avatar.jpg?1711905976000)
![Daniel Kaestner](https://conf.researchr.org/getProfileImage/danielkastner/dca569aa-ada0-4c92-a3b9-0170eb3f74de/avatar.jpg?1711905976000)
Abstract Interpretation in Industry - Experience and Lessons Learned
Daniel Kaestner
Keynote![Bor-Yuh Evan Chang](https://conf.researchr.org/getProfileImage/boryuhevanchang/8cf39897-8496-4610-9e3d-04f8dc9d2bf1/avatar.jpg?1711457148000)
![Bor-Yuh Evan Chang](https://conf.researchr.org/getProfileImage/boryuhevanchang/8cf39897-8496-4610-9e3d-04f8dc9d2bf1/avatar.jpg?1711457148000)
Goal-Directed Abstract Interpretation and Event-Driven Frameworks
Bor-Yuh Evan Chang
RemoteKeynote![Gagandeep Singh](https://conf.researchr.org/getProfileImage/gagandeepsingh/75ce36aa-f721-41a3-b91d-409bdb86d6c6/avatar.jpg?1711477040000)
![Gagandeep Singh](https://conf.researchr.org/getProfileImage/gagandeepsingh/75ce36aa-f721-41a3-b91d-409bdb86d6c6/avatar.jpg?1711477040000)