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 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.

Important Dates

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

Invited Speakers

Gilles Barthe IMDEA Software Institute, Spain
Dino Distefano Queen Mary University of London & Monoidics, UK
Shriram Krishnamurthi Brown University , USA
Jens Palsberg University of California, Los Angeles, USA

Submission Information

Paper submission is now closed.

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.

Paper submissions should not exceed 15 pages in Springer's Lecture Notes in Computer Science format, excluding bibliography and well-marked appendices. Please take a look at the information for LNCS authors at Springer. Program committee members are not required to read the appendices, and thus papers must be intelligible without them.

Papers must be submitted electronically in PDF format only through the EasyChair submission website. We thank Andrei Voronkov for making EasyChair available to us.
[EasyChair logo]


The accepted articles will be published by Springer in Volume 7460 of the Lecture Notes in Computer Science series, as part of the ARCoSS subline.

[Springer logo] [LNCS logo]


Program Chairs

Antoine Miné CNRS & École normale supérieure, France
David Schmidt Kansas State University, USA

Program Committee

Elvira Albert Complutense University of Madrid, Spain
Patrick Cousot École normale supérieure, France & New York University, 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 Via Domitia, 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 École normale supérieure, France & New York University, USA
Radhia Cousot CNRS & École 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

Local Arrangement

Antoine Miné CNRS & École normale supérieure, France


Affiliated Events

  • NSAD 2012: The 4th Workshop on Numerical and Symbolic Abstract Domains
    10 September
  • SASB 2012: The 3rd Workshop on Static Analysis and Systems Biology
    10 September
  • TAPAS 2012: The 3rd Workshop on Tools for Automatic Program AnalysiS
    14 September

Symposium Venue

Villa Le Cercle
1 rue Le Marois
14800 Deauville

Registration is now open!

Travel and local information are available.

SAS 2012 and its affiliated events will take place in Deauville, France. Deauville is a famous seaside resort on the English Channel. At only 200 Km from Paris, and 2h by car or train (departing several times a day from Gare Saint Lazare), it is one of the nearest beach and a popular holiday destination. Deauville is well known for its beach, its race-courses, and its casino. One of the main cultural event, the Deauville American Film Festival, will take place just before SAS 2012.

SAS 2012 and its affiliated events will be held at the Villa Le Cercle, managed by the Centre International de Deauville (C.I.D). The Villa is situated between the casino and the Royal Barrière Hotel, near the city center, at 20mn walking distance from the train station, and 100m from the beach.

Some links for more information:

[CID logo]


[CNRS logo] [INRIA logo] [ENS logo]
[QR code]
Web design © Antoine Miné 2011-2012
Crédits photos: OT Deauville - Patrice Le Bris