PARA a été arrêté le 31/12/1999
Il a été remplacé par MOSCOVA
Présentation de l’équipe-projet
Les recherches portent sur les aspects théoriques et pratiques de la compilation des langages fonctionnels sur des machines multiprocesseurs.
Axes de recherche
- Études théoriques : nous considérons les différents niveaux d'une compilation comme des systèmes de réécriture de termes du premier ordre, et étudions les propriétés de confluence et d'adéquation de ces systèmes.
- Études pratiques : plusieurs implantations du langage ML ont été produites sur machines Sequent, Encore et Kendal Square à mémoires partagées avec les modèles des futurs Multi-Lisp, ou sur des machines à réductions de graphe de LML. À terme, notre projet s'intéresse à l'analyse de dépendances sur les programmes (ce qui permettra de synthétiser le parallélisme) et à l'amélioration des performances dans la compilation des langages fonctionnels pour machines parallèles.
Relations internationales et industrielles
- Collaboration au projet Esprit Confer (notre projet est le site coordinateur).
Responsable scientifique
Jean-Jacques LEVY
+33 1 39 63 56 89
Jean-Jacques.Levy@inria.fr
Secrétariat : +33 1 39 63 57 19
