SAS 2022: 29th Static Analysis Symposium Auckland, New Zealand, December 5-10, 2022 |
Conference website | https://2022.splashcon.org/home/sas-2022 |
Submission link | https://easychair.org/conferences/?conf=sas2022 |
Submission deadline | May 4, 2022 |
The 28th Static Analysis Symposium, SAS 2022, will be co-located with SPLASH2022 in Auckland, New Zealand.
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.
Important Dates
- Full paper submission: Wednesday, May 4th, 2022 (Anywhere on Earth)
- Artifact submission: Wednesday, May 18th, 2022 (anywhere on earth)
- Notification: Friday, July 15th, 2022
- Final version due: Friday, September 16th, 2022
- Conference: Monday, December 5th, 2022 - Wednesday, December 7th, 2022
Paper Submission
All paper submissions will be judged on the basis of significance, relevance,correctness, originality, and clarity.
Submission link: https://easychair.org/conferences/?conf=sas2022
We welcome regular papers as well as papers focusing on any of the following:
- Experience with static analysis tools, Industrial Reports, and Case Studies
- Tool papers
- Brief announcements of work in progress
- Well-motivated discussion of new questions or new areas.
We do not impose a page limit for submitted papers but we encourage brevity as reviewers have a limited time that they can spend on each paper. With the exception of experience papers, all other papers will follow a lightweight double-blind reviewing process.
Radhia Cousot Award
The program committee will select an accepted regular paper for the Radhia Cousot Young Researcher Best Paper Award in memory of Radhia Cousot and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences.
Artifacts
As in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional. Artifact evaluation will be concurrent with paper review.
Contact
In case of questions, please contact the co-chairs Gagandeep Singh <ggnds@illinois.edu> and Caterina Urban <caterina.urban@inria.fr>.