Détail d'une fiche   Version PDF

PARA (SR0270OR)

Parallélisme

PARA →  MOSCOVA (SR0075PR)


Statut: Terminée

Responsable : Jean-jacques Lévy

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Réseaux et systèmes
Thème : Programmation distribuée et temps réel

Période : 01/01/1987 -> 31/12/1999
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de Paris
Localisation : Rocquencourt
Code structure Inria :

Numéro RNSR : 198722080L
N° de structure Inria: SR0270OR

Présentation

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 industrielles et internationales

  • Collaboration au projet Esprit Confer (notre projet est le site coordinateur).