Appel à propositions d'articles

numéro thématique de la revue TSI

Appel à propositions d'articles sur le thème:
APPLICATION DES MÉTHODES FORMELLES À L'ANALYSE STATIQUE ET LA COMPILATION

Date limite de soumission: 30 novembre 2008




Ce numéro spécial vise à faire le point sur les travaux de recherche et les techniques fondés sur les méthodes formelles améliorant la conception sûre d'analyses statiques et de compilateurs.

Les méthodes formelles permettent de spécifier des systèmes de plus en plus complexes. Il est désormais envisageable de vérifier formellement un compilateur optimisant et réaliste, ou encore de concevoir des analyses statiques entièrement automatiques. Ceci est rendu possible grâce à des progrès récents accomplis dans différents domaines utilisés par l'analyse statique et la compilation. Citons par exemple la sémantique formelle des langages de programmation, les modèles de mémoire pour la concurrence, l'interprétation abstraite, les formalismes logiques pour la preuve de programmes, la mécanisation du raisonnement dans les assistants à la preuve.

L'objectif de ce numéro thématique est de faire le point des travaux dans le domaine de la conception formelle d'analyses statiques et de compilateurs, en abordant notamment les thèmes suivants:

  • interprétation abstraite,
  • domaines abstraits,
  • analyses de pointeurs,
  • détection de bogues,
  • analyses fondées sur les types,
  • application des techniques de programmation par contraintes,
  • analyse de flot d'information,
  • compilateurs pour langages spécialisés,
  • compilateurs pour langages synchrones,
  • compilateurs pour systèmes hétérogènes distribués,
  • compilation à la volée,
  • interaction entre compilateur et architecture,
  • validation de traducteurs,
  • code auto-certifié,
  • gestion de la mémoire,
  • optimisations de programmes,
  • vérification logique de programmes.


  • Soumission

    TSI est une revue francophone; les articles doivent être rédigés en français sauf si _aucun_ des auteurs n'est francophone. Les articles seront lus par deux lecteurs de la rédaction de TSI et deux membres du comité de lecture. Les décisions seront prises sur la base de leurs avis et des discussions qui en découleront.

    Les propositions d'articles devront respecter les règles de présentation et de soumission usuelles de la revue TSI. Les articles peuvent apparaître dans 3 rubriques : article de recherche (entre 22 et 26 pages), de synthèse (jusqu'à 30 pages) ou d'application (jusqu'à 20 pages).

    La soumission se fait par envoi de l'article, au format PDF, par courrier électronique à Laurence Sourdillon - sourdillon@lavoisier.fr Si vous ne recevez pas de message confirmant sa bonne réception moins d'une semaine après envoi, nous vous demandons de nous contacter directement.

    Comité de lecture:

  • Yves Bertot, INRIA Sophia-Antipolis Méditerranée
  • Sandrine Blazy, ENSIIE, Évry
  • Arnaud Gotlieb, INRIA, Rennes - Bretagne Atlantique
  • Bertrand Jeannet, INRIA Rhône-Alpes, Grenoble
  • Benjamin Monate, CEA LIST, Saclay
  • Pierre-Etienne Moreau, INRIA Nancy - Grand Est
  • Dillon Pariente, Dassault Aviation, Saint-Cloud
  • Marc Pouzet, Université Paris-Sud, Orsay
  • Xavier Rival, ENS, Paris
  • Nadia Tawbi, Université Laval, Canada


  • Coordonateur: Sandrine Blazy (ENSIIE, laboratoire CEDRIC, Évry)