TSI numéro spécial ANALYSE STATIQUE et COMPILATION (2e appel)

TSI numéro spécial ANALYSE STATIQUE et COMPILATION (2e appel)

[Sandrine Blazy]

[-- Attachment #1: Type: text/plain, Size: 3601 bytes --]

[Veuillez nous excusez pour les réceptions multiples éventuelles.
N'hésitez pas à diffuser largement cet appel.]

                     Technique et Science Informatiques (TSI)

                 2e 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: 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 (voir http:// 
tsi.e-revues.com/appel.jsp).
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 apres 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


[-- Attachment #2: Type: text/html, Size: 15531 bytes --]