Equipe de recherche PARA

Parallélisme

  • Responsable : Jean-Jacques Levy
  • Centre(s) de recherche : Paris - Rocquencourt
  • Domaine : Réseaux et systèmes
  • Thème : Programmation distribuée et temps réel

Présentation de l'équipe

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).

Mots-clés : Parallélisme Parallélisme asynchrone Programmation fonctionnelle Ordonnancement d'instructions Architecture multiprocesseur Concurrence Lambda-calcul Ramasse-miettes

Siège et centres de recherche Inria

Accès direct

Social