About |
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. |
Call for Papers |
The 27th Static Analysis Symposium, SAS 2020, will be held from November 18th to November 20th in Chicago, Illinois, United States. 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. TopicsThe technical program for SAS 2020 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to:
Submit electronically via the EasyChair submission page. PapersSubmissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming.
ArtifactsAs in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. The goal of the artifact submissions is to strengthen our field’s scientific approach to evaluations and reproducibility of results. The virtual machines will be archived on a permanent Static Analysis Symposium website to provide a record of past experiments and tools, allowing future research to better evaluate and contrast existing work. Artifact submission is optional. More information can be found on the Call for Artifacts. Review ProcessSAS 2020 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors’ names or affiliations as they initially review a paper. The authors’ names will then be revealed to the reviewers only once their reviews have been submitted. To facilitate this process, submitted papers must adhere to the following:
Authors will be able to read reviews and respond to them as appropriate during the author response period. Radhia Cousot AwardThe program committee will select a 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. |
Summary |
SAS 2020 : Static Analysis Symposium will take place in Chicago, Illinois, United States. It’s a 3 days event starting on Nov 18, 2020 (Wednesday) and will be winded up on Nov 20, 2020 (Friday). SAS 2020 falls under the following areas: VERIFICATION, ABSTRACT INTERPRETATION, AUTOMATED DEDUCTION, SECURITY, etc. Submissions for this Symposium can be made by Apr 24, 2020. Authors can expect the result of submission by Jun 26, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Sep 15, 2020 to the official website of the Symposium. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the SAS 2020
|
Credits and Sources |
[1] SAS 2020 : Static Analysis Symposium |