Note

La Version anglaise du site peut être plus à jour que cette version française.

Objectifs

L'analyse statique est reconnue comme un outil fondamental pour la vérification de programmes, la détection de bogues, la compilation optimisante, la compréhension de programmes et la maintenance de logiciels. La série des symposiums d'analyse statique est un évènement incontournable au cours duquel sont présentées les avancées de ce domaine, tant sur le plan théorique, que pratique et appliqué. Le 19ème symposium d'analyse statique, SAS 2012, se tiendra à Deauville. Les symposiums précédents se sont tenus à Venise , Perpignan , Los Angeles , Valence , Kongens Lyngby , Séoul , Londres, Verone, San Diego, Madrid, Paris, Santa Barbara, Pise, Aachen, Glasgow et Namur.

Thèmes

Le programme de SAS 2012 comportera des exposés invités ainsi que la présentation d'article sélectionnés par le comité de programme. Sont encouragées les soumission sur tous les aspects de l'analyse statique, ce qui inclus entre autre (cette liste est non limitative) :

les domaines abstraits l'interprétation abstraite
le test abstrait la détection de bogues
l'analyse de flots de données la vérification de modèles
les nouvelles applications la transformation de programmes
la vérification de programmes l'analyse de la sécurité
les cadres théoriques le vérification de types

Les soumissions peuvent concerner tout les paradigmes de programmation, par exemple la programmation concurrente, par contraintes, fonctionnelle, impérative, logique, orientée objet, par aspects, multi-cœurs, distribuée ou de processeurs graphiques. Les articles de synthèse présentant certains de ces thèmes sous un nouvel angle sont les bienvenus, ainsi que les articles présentant des applications ou des expériences industrielles.

Dates importantes

Soumission des résumés 16 mars 2012 (23h59 GMT)
Soumission des articles complets 23 mars 2012 (23h59 GMT)
26 mars 2012 (23h59 GMT)
Résultat 21 mai 2012
Version finale des articles 10 juin 2012
Conférence 11-13 septembre 2012

Exposés invités

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

Informations sur la soumission

Les articles doivent décrire des travaux orignaux, être écrits et présentés en anglais et ne doivent pas plagier des articles publiés ou soumis simultanément à un journal ou une conférence avec comité et actes. Les articles soumis seront jugés sur leur importance et leur adéquation au domaine, leur correction, leur originalité et leur clarté. Ils doivent préciser clairement le travail accompli et expliquer son importance vis à vis du domaine.

Les soumissions ne doivent pas excéder 15 pages au format Lecture Notes in Computer Science de Springer, à l'exclusion des annexes qui seront clairement identifiables. Les membres du comité de programme ne sont pas requis de lire les annexes et les articles devront être intelligible sans celles-ci.
[Springer logo]

Les articles doivent être soumis au format PDF de manière électronique sur le site de soumission EasyChair . Nous remercions Andrei Voronkov pour l'usage du système EasyChair.
[EasyChair logo]

Organisateurs

Direction du comité de programme

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

Membres du comité de programme

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

Comité de pilotage

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

Organisation locale

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

Évènements associés

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

Tenue de la conférence

SAS 2012 et ses évènements associés se tiendront à Deauville. Deauville est une station balnéaire très connue située sur la Manche. À 200 Km de Paris et 2h de trajet en train ou en voiture, c'est une des plages les plus proches et une destination de vacances très populaire. Deauville est connue pour sa plage, ses courses de chevaux, son casino. Le Festival du film américain, un des évènements culturels majeurs de Deauville, se tiendra juste avant SAS 2012.

SAS 2012 et ses évènements associés se tiendront à la Villa Le Cercle, gérée par le Centre International de Deauville (C.I.D). La Villa est située entre le casino et l'hôtel Royal Barrière, près du centre ville, à 20mn à pied de la garde et 100m de la plage.

Quelques liens pour plus d'information sur Deauville:

[CID logo]

Sponsors

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