Invited Speakers
Patrick Cousot, Ecole Normale Superieure & Courant Institute of Mathematical sciences, NYU
Jerome Feret, Ecole Normale Superieure
Daniel Kaestner, AbsInt
John Mitchell, Stanford
Sriram Rajamani, Microsoft Research India
Objectives
Static Analysis is increasingly 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 presentation of theoretical, practical, and application advances in the area. The Eighteenth International Static Analysis Symposium (SAS 2011) will be held in Venice, Italy. Previous symposia were held in Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Venezia, Pisa, Paris, Aachen, Glasgow, and Namur.
Topics
The technical program for SAS 2011 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to:
| abstract domains | abstract interpretation | |
| abstract testing | bug detection | |
| data flow analysis | model checking | |
| new applications | program transformation | |
| program verification | security analysis | |
| theoretical frameworks | type checking |
Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Survey papers, that present some aspect of the above topics with a new coherence, and application papers, that describe experience with industrial applications, are also welcomed.
Submission Information
- Paper submissions should not exceed 15 pages in LNCS format, excluding bibliography and well-marked appendices. Program committee members are not required to read the appendices, and thus papers must be intelligible without them.
- Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings.
- Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant.
- The proceedings will be published by Springer-Verlag's Lecture Notes in Computer Science series.
Organizers
General Chairs
| Gilberto Filè | University of Padova, Italy | |
| Mooly Sagiv | Tel Aviv University, Israel |
Program Chair
| Eran Yahav | Technion, Israel |
Program Committee
| Anindya Banerjee | IMDEA Software Institute, Spain | |
| Michele Bugliesi | Universita Ca' Foscari, Italy | |
| Byron Cook | Microsoft Research, UK | |
| Radhia Cousot | École normale supérieure & CNRS, France | |
| Roberto Giacobazzi | University of Verona, Italy | |
| Sumit Gulwani | Microsoft Research, USA | |
| Chris Hankin | Imperial College London, UK | |
| Naoki Kobayashi | Tohoku University, Japan | |
| Viktor Kuncak | EPFL, Switzerland | |
| Ondrej Lhotak | University of Waterloo, Canada | |
| Matthieu Martel | Université de Perpignan, France | |
| Antoine Mine | École normale supérieure & CNRS, France | |
| George Necula | UC Berkeley, USA | |
| Ganesan Ramalingam | Microsoft Research, India | |
| Francesco Ranzato | University of Padova, Italy | |
| Thomas Reps | University of Wisconsin, USA | |
| Noam Rinetzky | Queen Mary University of London, UK | |
| Helmut Seidl | University of Munich, Germany | |
| Zhendong Su | University of California, Davis, USA | |
| Hongseok Yang | University of Oxford, UK |
Organizing Committee
| Alberto Carraro (Univ. Cà Foscari) |
| Nicoletta Cocco (Univ. Cà Foscari) |
| Sabina Rossi (Univ. Cà Foscari, Chair) |
| Silvia Crafa (Univ. of Padova) |
Steering Committee
| Patrick Cousot | École Normale Supérieure, France & New York University, USA | |
| Radhia Cousot | École normale supérieure & CNRS, France | |
| Roberto Giacobazzi | University of Verona, Italy | |
| Gilberto Filè | University of Padova, Italy | |
| Manuel Hermenegildo | IMDEA Software Institute, Spain | |
| David Schmidt | Kansas State University, USA |
Affiliated Events
- NSAD 2011: The Third Workshop on Numerical and Symbolic Abstract Domains
- SASB 2011: Second Workshop on Static Analysis and Systems Biology
- TAPAS 2011:Tools for Automatic Program AnalysiS
Venue
|
NSAD 2011, SAS 2011, and TAPAS 2011 will take place at Please note that there are two entrances to the building. If you are coming from Piazzale Roma or the Train Station by foot, you turn right into "Calle della Saonera" and enter from the side which is the official address door no. 3825/e. If you arrive by boat your turn into "Calle Larga Foscari" and enter through a courtyard on the other side, door no. 3859.
SASB 2011 will take place at |
