GDR GPL : groupe de travail LaMHA : Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée, de grilles de calcul et 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
-
...
Participants
Mohamad AL HAJJ HASSAN
Mostafa BAMHA
Radia BENHEDDI
Matthieu EXBRAYAT
Gaétan HAINS
Frédéric LOULERGUE (Responsable)
Page web de l'action
http://frederic.loulergue.eu/research/lamha.html