LaMHA - Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications
Responsables :
- 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.
prochaines manifestations
Journée commune avec le groupe Compilation au printemps (détails à venir)manifestations récentes
- Journée commune LaMHA+LTP le 18 octobre 2019 à Créteil : programme ici
- Journée d'automne LaMHA le 13 décembre 2018 à Jussieu : programme ici
- Journée commune LaMHA+LTP le 11 octobre 2017 à Jussieu : programme ici
- Deux sessions communes LaMHA+COMPIL aux
journées
GDR-GPL à Montpellier
du 13 au 16
juin 2017 : programme des sessions
- Journée de printemps 2017 le 27 mars, à Orléans.
- Le groupe de travail LaMHA s'est intégré au programme de la Onzième rencontre de la communauté française de compilation qui a eu lieu du 7 au 9 septembre 2016, à Aussois.
- Session LaMHA
aux journées
GDR-GPL de Besançon du 7 au 10
juin 2016 : programme de la
session
- Journée d'automne 2015 le 26 novembre 2015, à
Paris (Jussieu)
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 |
|---|---|---|
|
|
CBM - Centre de Biologie Moléculaire CNRS (UPR), Orléans |
Permanent
|
|
DPC (Distributed & Parallel Computing) |
Huawei/FRC Paris |
|
| DREAM | Institut Pascal, UMR6602 UBP/CNRS |
Permanent |
| Serena | INRIA Rocquencourt |
Permanents
|
| LMV | LIFO - Laboratoire d'Informatique Fondamentale d'Orléans Université d'Orléans (EA 4022) |
Permanent :
Doctorants :
|
| PAMDA |
Permanent:
Doctorants
|
|
| LACL - Laboratoire d'Algorithmique Complexité et Logique Université Paris Est Créteil (UPEC) |
Permanents |
|
| ASCOLA (aspects, composition et langages) | LINA - Laboratoire d'Informatique de Nantes Atlantique Université de Nantes, Ecole des Mines de Nantes, CNRS (UMR) |
Permanents
|
| CASH |
LIP |
Permanents
|
| Algorithmes, Programmes et Résolution (APR) | LIP6, Université Pierre et Marie Curie |
Permanents :
Doctorants :
|
| ParSys | LRI - Laboratoire de Recherche en Informatique, Université Pari-Sud, CNRS (UMR) |
Permanents :
|
| SCALE | Nice Sophia-Antipolis/CNRS |
Permanents
|
| Nomadic Labs |
|
Anciennes manifestations
- Session LaMHA
aux journées
GDR-GPL de Besançon du 7 au 10
juin 2016 : programme de la
session
- Journée d'automne 2015 le 26 novembre 2015, à
Paris (Jussieu)
- Session LaMHa aux journées GDR-GPL de Bordeaux du 9 au 12 juin 2015
- Session LaMHa aux journées GDR-GPL de Paris du 11 au 13 juin 2014
- Session LaMHa aux journées GDR-GPL de Nancy les 3,4 et 5 avril 2013.
- Journées communes LTP-LAC-LAMHA à Orléans les 25 et 26 octobre 2012.
- Session LaMHa aux journées GDR-GPL de Rennes le 20 juin 2012: Programme et résumé des présentations.
Conférences, ateliers associés et projets au groupe
Conférences
- International Workshops on High-Level Parallel Programming and Applications HLPP (2001, 2003, 2005, 2010, 2011, 2013, 2014, 2015,2016)
- International Workshops on Practical Aspects of High-Level Parallel Programming PAPP (2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2016)
- International Workshop on High-level programming for heterogeneous and hierarchical parallel systems HLPGPU (hosted by HiPEAC 2012)
- International Workshop on Security and Performance in Cloud Computing SPCLOUD (2011, 2012).
Projets
Projets terminés
- EU Framework VI Project IST-510255 EmBounded ;
- ARC, projet Moprosco 2005-2006.
- ACI GRID, projet Caraml ;
- ACI Jeunes Chercheurs, projet Propac .
- AIMA TIGREDOC 2011-2012.
- Projet HPIAF EXQIM-LIFO-LACL 2010-2012.
- ANR/JST PaPDAS - Parallel Program Development with Algorithmic Skeletons (http://traclifo.univ-orleans.fr/PaPDAS).
- CG45 SPEED - Système de Programmation et d'Exécution Efficace de coDe sur architectures parallèles hétérogènes (http://traclifo.univ-orleans.fr/SPEED)
- CG45 INEx - Informatique en Nuages: Expérimentations et vérification (http://traclifo.univ-orleans.fr/INEX)