Description du groupe LaMHA

LaMHA - Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications

Responsable(s) :

  • Joël Falcou – LRI, Université Paris-Sud
  • Julien Tesson – LACL, Université de Paris-Est

Thématique scientifique

Avec l'émergence des grappes de PC, les architectures parallèles se sont répandues. Néanmoins, le logiciel parallèle n'a pas encore atteint le même niveau de souplesse, de fonctionnalité et de rapport qualité/prix que le logiciel séquentiel. Cette situation a des causes techniques profondes qui ont été étudiées par les chercheurs en informatique depuis plus de deux décennies. La programmation classique, dite séquentielle, utilise depuis longtemps des techniques et outils de programmation de haut niveau. Ce sont eux qui ont permis la création de l'immense variété de logiciels dont nous disposons aujourd'hui, et ce sont eux qui ont rendu ces logiciels viables économiquement. L'apparition des grilles de calcul amène de nouveaux défis. Le groupe LaMHa a pour objectif l'élaboration de langages et modèles de haut-niveau pour la programmation parallèle, distribuées et de grille de calcul et leur utilisation pour le développement d'applications.

Les principaux thèmes abordés dans le groupe LaMHa sont :

  • Sémantiques et implantations de langages déclaratifs pour la programmation parallèle,
    distribuée et de grilles de calcul ;
  • Patrons algorithmiques et méthodes constructives ;
  • Certification formelle des programmes et compilateurs ;
  • Modèles de coûts de haut-niveau des programmes parallèles et sur grilles de calcul(BSP, LogP, CGM, et dérivés) ;
  • Applications utilisant des approches de haut-niveau.

Manifestations récentes


Mode de fonctionnement - Organisation des activités du groupe

Des rencontres de deux (ou une) journée(s), en moyenne une fois par an. Elles se compléteront par des visites ``inter-équipes'' de chercheurs et de thésards, chaque fois que cela semble souhaitable sur le plan scientifique.

Equipes participantes :

Nom de l'équipe Laboratoire Membres


Biophysique théorique, simulation moléculaire, et calcul scientifique

CBM - Centre de Biologie Moléculaire
CNRS (UPR), Orléans

Permanent

DPC (Distributed & Parallel Computing) 

Huawei/FRC Paris

  • Gaétan Hains
DREAM  Institut Pascal, UMR6602 UBP/CNRS

Permanent

Serena INRIA Rocquencourt

Permanents

  • François Clément (CR),
  • Pierre Weis (DR)
LMV LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Université d'Orléans (EA 4022)

Permanent :

Doctorants :

  • Allan Blanchard
  • Sylvain Dailler

Autres chercheurs :

  • Thomas Pinsard
PAMDA

Permanent:

  • BAMHA Mostafa
  • BOURGOIN Mathias
  • JUBERTIE Sylvain
  • LIMET Sébastien
  • MELIN Emmanuel
  • ROBERT Sophie

Doctorants

  • BOURGEOIS Kévin
    Solutions de parallélisme implicite pour des problèmes géographiques intégrant de gros volumes de données hétérogènes
  • SORNET Gauthier
    Programmation parallèle multi-niveaux en calcul scientifique : Application aux Geosciences.

Spécification et Vérification de Systèmes

LACL - Laboratoire d'Algorithmique Complexité et Logique
Université Paris Est Créteil (UPEC)

Permanents

Doctorants

ASCOLA (aspects, composition et langages) LINA - Laboratoire d'Informatique de Nantes Atlantique
Université de Nantes, Ecole des Mines de Nantes, CNRS (UMR)

Permanents

  • Hervé Grall (MC)
Avalon

LIP

Permanents

Doctorants

  • Richard Jérôme
    Conception d’un modèle de composant logiciels avec ordonnancement de tâche pour architecture parallèle à base de many-coeurs, application au code Gysela 5D

  • Lanore Vincent
    Adaptation and dynamicity in component models for scientific applications

Autres chercheurs

Algorithmes, Programmes et Résolution (APR) LIP6, Université Pierre et Marie Curie

Permanents :

  • Emmanuel Chailloux (PR)
  • Jean-Luc Lamotte (PR)
  • Philippe Trébuchet (MC)
  • Binh-Minh Xui-Buan (CR)

Doctorants :

  • Rémy El Sibaie
  • Steven Varoumas
  • Vincent Botbol
    Analyse statique de programmes parallèles avec variables numériques

ParSys LRI - Laboratoire de Recherche en Informatique, Université Pari-Sud, CNRS (UMR)

Permanents :

  • Joël Falcou (MC)
SCALE Nice Sophia-Antipolis/CNRS

Permanents

Doctorants

  • Justine Rochas

    Programming models and middleware support for distributed and concurrent applications

Thème Programmation PPS - Preuves Programmes et Systèmes
Université Denis Diderot, CNRS (UMR)
Roberto Di Cosmo (PR), Grégoire Henry (Doc.), Li Zheng (Doc.)

Anciennes manifestations

Conférences, ateliers associés et projets au groupe

Conférences

Projets

Projets terminés