Précédent : Présentation de l'avant-projet Remonter : Avant-projet A3 Suivant : Analyse de code

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