Inria / Raweb 2002
Project: A3

Analyse Avancée Appliquée à l'optimisation des codes

• Members
• Overall Objectives
  • (Sans Titre)
• Scientific Foundations
  • Introduction
  • Analyse de code
  • Parallélisme d'instructions
• Application Domains
  • (Sans Titre)
• Software
  • DiST : un outil pour la simulation distribuée de processeurs
  • Tuareg : un environnement très complet pour la programmation en Objective Caml sous Emacs
  • DigLC2 : un simulateur « au niveau des portes logiques » pour le processeur LC-2
  • CLooG : Code de parcours des points entiers d'un polyèdre
  • PipLib
  • PiLo : pipeline logiciel
  • LoRA : allocation de registres dans les boucles
  • TOPS : pipeline logiciel source à source
  • SAREQ : test d'équivalence de systèmes d'équations de récurrence
• New Results
  • Analyse sémantique des programmes
  • Optimisation des performances des programmes
  • Réseaux de processus : modélisation,ordonnancement
• Contracts and Grants with Industry
  • Projet Sandra
• Other Grants and Activities
  • Actions nationales
  • Actions européennes
  • Actions internationales
  • Visites et invitations de chercheurs
• Dissemination
  • Animation de la communauté scientifique
  • Enseignement universitaire
  • Participation à des colloques, séminaires, invitations
• Bibliography
  • Major publications
  • Year Publications
  • References in notes