Espace de travail de la communauté du GDR Génie de la Programmation et du Logiciel (GPL)

Equipes du GDR GPL

Equipes du GDR (Carte interactive)

Equipes internationales avec les équipes du GDR collaborent dans le cadre du GDR

Equipes en entreprise ou dans les Institut de recherche technologique qui collaborent dans le cadre du GDR

Equipes version textuelle

Les laboratoires impliqués : 

• CEA List 
• CEDRIC
• CITI
• CRI
• CRIStAL
• DISP
• ENAC
• FEMSTO-ST
• ICube
• I3S
• IMT Lille Douai
• Institut Pascal
• IRISA
• IRIT
• LAAS
• LaBRI
• Lab-STICC
• LACL
• LCIS
• LGI2P
• LIAS
• LIG
• LIFO
• LIMOS
• LIP
• LIP6
• LIRMM
• LISTIC
• LIUPPA
• LMF
• LORIA
• LRI
• LS2N
• LTCI
• MICS
• ONERA
• SAMOVAR
• U2IS ENSTA
• VERIMAG

Groupes de Travail en construction du GDR GPL

Les grands défis portés par les équipes du GDR GPL

=> Document de synthèse 

• Vers des Logiciels Éco-responsables,  Le génie logiciel au défi de la sobriété écologique
• Combinatoire certifiée
• New Generation Debuggers
• La sécurité dans le développement logiciel
• Gestion de la co-évolution des logiciels partiellement générés pendant la phase d’évolution et de maintenance
• Défi en compilation et langages: du parallélisme oui, mais du parallélisme efficace et sûr!
• Safe and optimal component-based dynamic reconfiguration
• Quelle argumentation pour des systèmes de confiance ?
• Génie Logiciel et Intelligence Artificielle
• Chaîne de compilation formellement certifiée
• Vers plus de fiabilité sur les résultats de recherche en génie logiciel
• Méthodes formelles pour la conception, la programmation et la vérification de systèmes critiques émergents
• Permettre la programmation sans bug

Pour avoir tous les défis d'un coup, c'est ici (.zip) 

Visualisation des thématiques du GDR sous la forme d'un nuage de mots

Visualisation sous la forme d'un graphe des interactions entre les groupes