posted by user: garganti || 4172 views || tracked by 11 users: [display]

SAS 2012 : The 19th International Static Analysis Symposium


Conference Series : Static Analysis Symposium
When Sep 11, 2012 - Sep 13, 2012
Where Deauville, France
Abstract Registration Due Mar 16, 2012
Submission Deadline Mar 23, 2012
Notification Due May 21, 2012
Categories    static analysis

Call For Papers


S A S 2 0 1 2

The 19th International Static Analysis Symposium

11-13 September 2012, Deauville, France

(my apologies for multiple postings)

Important dates

Abstract submission 16 March 2012 (23h59 GMT)
Full paper submission 23 March 2012 (23h59 GMT)
Notification 21 May 2012
Camera-ready 10 June 2012
Conference 11-13 September 2012


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 pre-
sentation of theoretical, practical, and application advances in
the area. The Nineteenth International Static Analysis Symposium,
SAS 2012, will be held in Deauville, France. Previous symposia
were held in Venice, Perpignan, Los Angeles, Valencia, Kongens
Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa
Barbara, Pisa, Aachen, Glasgow, and Namur.


The technical program for SAS 2012 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, object-
oriented, aspect, multi-core, distributed, and GPU 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

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, rele-
vance, correctness, originality, and clarity. They should
clearly identify what has been accomplished and why it is sig-

Paper submissions should not exceed 15 pages in Springer's
Lecture Notes in Computer Science LNCS format, excluding bibliog-
raphy and well-marked appendices. Program committee members
are not required to read the appendices, and thus papers must
be intelligible without them.

Program Chairs

Antoine Miné (CNRS & Ecole normale supérieure, France)
David Schmidt (Kansas State University, USA)

Program Committee

Elvira Albert (Complutense University of Madrid, Spain)
Patrick Cousot (Ecole normale supérieure, France & NYU, USA)
Pietro Ferrara (ETH Zurich, Switzerland)
Gilberto Filè (University of Padova, Italy)
Chris Hankin (Imperial College London, UK)
Suresh Jagannathan (Purdue University, USA)
Matthieu Martel (Université de Perpignan, France)
Matthew Might (University of Utah, USA)
Anders Møller (Aarhus University, Denmark)
David Monniaux (CNRS, Verimag, France)
Markus Müller-Olm (Universität Münster, Germany)
Andreas Podelski (University of Freiburg, Germany)
G. Ramalingam (Microsoft Research, India)
Sriram Sankaranarayanan (University of Colorado Boulder, USA)
Francesca Scozzari (Università di Chieti-Pescara, Italy)
Manu Sridharan (IBM Research, USA)
Thomas Wies (New York University, USA)
Eran Yahav (Technion, Israel)
Kwangkeun Yi (Seoul National University, Korea)

Steering Committee

Patrick Cousot (Ecole normale supérieure, France & NYU, USA)
Radhia Cousot (CNRS & Ecole normale supérieure, 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: The 4th Workshop on Numerical and Symbolic Abstract Domains
10 September 2012

SASB: The 3rd Workshop on Static Analysis and Systems Biology
10 September 2012

TAPAS: The 3rd Workshop on Tools for Automatic Program AnalysiS
14 September 2012


SAS 2012 and affiliated events will take place in Deauville,
France, at la Villa Le Cercle, at 20mn walking time from the
train station and 100m from the beach. Deauville is at only 200km
from Paris and 2h by train (departing several times a day from
Gare Saint Lazare). Deauville is famous for its beach, its race-
courses, its casino, and the American Film Festival (held just
before the conference).


Related Resources

sas 2022   29th Static Analysis Symposium
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
Edited Book in Springer-Verlag 2022   Call for Book Chapters-Machine Learning and Deep Learning for Time Series Processing and Analysis
MDA AI&PR 2023   MDA AI&PR 2023 : 18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biomet
Mathematics (MDPI) 2022   Mathematics Special Issue - Analysis and Mathematical Modeling of Control Engineering and Path Planning
SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
ICGDA 2023   2023 6th International Conference on Geoinformatics and Data Analysis (ICGDA 2023)
RECI 2022   The Second International Workshop on Reliability Engineering and Computational Intelligence
ICGDA--Ei 2023   2023 6th International Conference on Geoinformatics and Data Analysis (ICGDA 2023)
MLMHCIHCAMCI 2022   Machine Learning Methods in High-Content Imaging and High-Content Analysis for Molecular and Cellular Imaging