Static Analysis is increasingly recognized as a fundamental tool<br>for program verification, bug detection, compiler optimization,<br>program understanding, and software maintenance. The series of<br>Static Analysis Symposia has served as the primary venue for pre–<br>sentation of theoretical, practical, and application advances in<br>the area. The Nineteenth International Static Analysis Symposium,<br>SAS 2012, will be held in Deauville, France. Previous symposia<br>were held in Venice, Perpignan, Los Angeles, Valencia, Kongens<br>Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa<br>Barbara, Pisa, Aachen, Glasgow, and Namur.<br>Topics<br>The technical program for SAS 2012 will consist of invited<br>lectures and presentations of refereed papers. Contributions are<br>welcomed on all aspects of static analysis, including, but not<br>limited to:<br>abstract domains abstract interpretation<br>abstract testing bug detection<br>data flow analysis model checking<br>new applications program transformation<br>program verification security analysis<br>theoretical frameworks type checking<br>Submissions can address any programming paradigm, including<br>concurrent, constraint, functional, imperative, logic, object–<br>oriented, aspect, multi–core, distributed, and GPU programming.<br>Survey papers, that present some aspect of the above topics<br>with a new coherence, and application papers, that describe<br>experience with industrial applications, are also welcomed.<br>
Abbrevation
SAS
City
Deauville
Country
France
Deadline Paper
Start Date
End Date
Abstract