STATIC ANALYSIS

Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of International Static Analysis Symposia (SAS) serves as the primary venue for presentation of theoretical, practical, and application advances in the area... Contributions to the technical program for Static Analysis Symposia typically consist of invited lectures and presentations of refereed papers... Since 2013 SAS is encouraging authors to submit a virtual machine image containing any artifacts and evaluations presented in papers. The goal of the artifact submissions is to strengthen adherence to the scientific approach in the evaluations and reproducibility of results in our field.

Primary location: Rennes France