posted by user: jyotirmoy || 4660 views || tracked by 15 users: [display]

SAS 2011 : Static Analysis Symposium

FacebookTwitterLinkedInGoogle


Conference Series : Static Analysis Symposium
 
Link: http://sas2011.cs.technion.ac.il/
 
When Sep 14, 2011 - Sep 16, 2011
Where Venice, Italy
Abstract Registration Due Mar 11, 2011
Submission Deadline Mar 18, 2011
Notification Due May 9, 2011
Final Version Due Jun 10, 2011
Categories    formal verification   static analysis
 

Call For Papers

The 18th International Static Analysis Symposium
Venice, Italy

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.

Important Dates
Submission (abstract) 11 March 2011, 23h59 (GMT)
Submission (full paper) 18 March 2011, 23h59 (GMT)
Notification 9 May 2011
Camera-ready 10 June 2011
Early Registration TBA
Conference 14-16 September 2011

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 IBM Research and 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
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 Queen Mary University of London, UK

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

Related Resources

ICCQ 2021   IEEE International Conference on Code Quality
SAS 2020   Static Analysis Symposium, SAS 2020
IDA 2021   19th Symposium on Intelligent Data Analysis
ISSTA 2021   International Symposium on Software Testing and Analysis
IDA 2020   The 18th International Symposium on Intelligent Data Analysis (IDA 2020)
SANER 2021   The 28th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering
ICIAP 2021   ICIAP2021 -21th International Conference on Image Analysis and Processing
VSC @IEEE WETICE 2020   Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2020
Big Data Analytics in Sustainable City 2021   IS04: Big Data Analytics in Sustainable and Smart City
FDAE_AI_BDA 2020   Special Issue on Forensics Data Analytics Enhancement via Artificial Intelligences and Big Data Analytics