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

  • Emmanuel Chailloux - LIP6, Sorbonne Université
  • Sylvain Jubertie - LIFO, Université d'Orléans

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

DPC (Distributed & Parallel Computing) 

Huawei/FRC Paris

  • Gaétan Hains
DREAM  Institut Pascal, UMR6602 UBP/CNRS
Serena INRIA Rocquencourt
  • François Clément
  • Pierre Weis
LMV LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Université d'Orléans (EA 4022)
PAMDA
  • Sylvain Jubertie

Spécification et Vérification de Systèmes

LACL - Laboratoire d'Algorithmique Complexité et Logique
Université Paris Est Créteil (UPEC)
ASCOLA (aspects, composition et langages) LINA - Laboratoire d'Informatique de Nantes Atlantique
Université de Nantes, Ecole des Mines de Nantes, CNRS (UMR)
Avalon
Cash team

LIP

Algorithmes, Programmes et Résolution (APR) LIP6, Sorbonne Université
  • Emmanuel Chailloux
ParSys LRI - Laboratoire de Recherche en Informatique, Université Pari-Sud, CNRS (UMR)
  • Joël Falcou
SCALE Nice Sophia-Antipolis/CNRS
Nomadic Labs
Nomadic Labs
  • Mathias Bourgoin
  • Julien Tesson

Anciennes manifestations

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

Conférences