[Veuillez nous excuser pour les réceptions multiples éventuelles.
N'hésitez pas à diffuser largement cet appel.]
Extension de la date limite de soumission au
************** 15 février 2009 ****************
----------------------------------------------------------------------------------------
Technique et Science Informatiques (TSI)
Appel à propositions d'articles sur le thème
APPLICATION DES MÉTHODES FORMELLES À
L'ANALYSE STATIQUE ET LA COMPILATION
Coordonateur: Sandrine Blazy (ENSIIE, laboratoire CEDRIC, Évry)
Date limite de soumission: 15 février 2009
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
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
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