RA 1997
Suivant : Composition de l'équipe

Avant-projet A3

Analyse Avancée de code Appliquée à l'optimisation

Rapport d'activité 1996

Page de présentation du projet - Rapport d'activité au format PostScript

Localisation : Rocquencourt

Mots-clés : analyse statique de code, interprétation abstraite, parallélisme, hiérarchie mémoire, optimisation de code, allocation de registres, pipeline logiciel, analyse d'alias, pointeurs, ordonnancement d'instructions

• Composition de l'équipe
• Présentation de l'avant-projet
• Actions de recherche
  • Analyse de code
    • Interprétation abstraite interprocédurale sur des domaines numériques relationnels
    • Complexité de l'analyse d'échappement (escape analysis ) et garbage-collection statique
    • Analyse de flot de données pour des langages à tableaux
  • Parallélisme d'instructions
    • Approche exacte pour l'optimisation des boucles avec contraintes de registres
    • Allocation de registres et déroulage de boucles
    • Couplage ordonnancement et allocation de registres
    • Pipeline logiciel à haut niveau
• Actions nationales et internationales
  • Actions nationales
  • Actions internationales
    • Europe de l'ouest
    • Europe de l'est
    • Amérique
• Diffusion des résultats
  • Actions d'enseignement
  • Participation à des colloques
  • Conférences invitées, tutoriels, cours, etc.
• Références
• Abstract