Proposition de Groupe de Travail pour le GDR GPL

Titre du groupe

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

Responsable(s)

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'apparation 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:

Equipes participantes

Nom de l'équipe Laboratoire Membres
Parallélisme Réalité virtuelle et Vérification de systèmes (PRV) LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Université d'Orléans (EA 4022)
F. Loulergue (PR), G. Hains (PR), M. Bamha (MC), M. Exbrayat (MC), Radia Benheddi (Doc.), Mohamad Al Hajj Hassan (Doc.)
Systèmes communicants LACL - Laboratoire d'Algorithmique Complexité et Logique
Université Paris XII, CNRS (FRE)
F. Pommereau (MC), F. Gava (ATER), P. Courtois (Doc.), L. Gesbert (Doc.), P.-N. Huynh (Doc.)
Gestion de résumés et d'information multimédia (ATLAS-GRIM) LINA - Laboratoire d'Informatique de Nantes Atlantique
Université de Nantes, Ecole des Mines de Nantes, CNRS (FRE)
Julien Cohen (MC)
Simulation moléculaire - méthodologie et calcul intensif CBM - Centre de Biologie Moléculaire
CNRS (UPR), Orléans
Gerald Kneller (PR), Konrad Hinsen (CR), Paolo Calligari (Doc.)
Thème Programmation PPS - Preuves Programmes et Systèmes
Université Denis Diderot, CNRS (UMR)
Emmanuel Chailloux (MC), Grégoire Henry (Doc.), Roberto Di Cosmo (PR), Li Zheng (Doc.)
Systèmes de Perception (thème : architectures et méthodes) LASMEA - Laboratoire des Sciences et Matériaux pour l'Electronique et d'Automatique
Université Clermont 2, CNRS (UMR 6602)
J. Sérot (PR), J. Falcou (Doc.)
Algorithmique et ordonnancement pour plates-formes hétérogènes distribuées (GRAAL) LIP - Laboratoire d'Informatique du Parallélisme
École Normale Supérieure de Lyon, CNRS (UMR 5668)
A. Benoit (MC)
Estime INRIA Rocquencourt F. Clément (CR), P. Weis (DR)

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.

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

Conférences

Projets

Page Web

LaMHa