SAS 2012

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

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.

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.

É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

Sponsors