Last modified by Ludovic Henrio on 2024/02/08 17:15
Show last authors
1 Ce groupe résulte de la fusion des GT compil et Lahma du quinquennal précédent.
2
3 === Quelques mots-clés : ===
4
5 Compilation, analyse, langages pour le parallélisme, parallélisme
6
7 == Porteurs du GT ==
8
9 * Ludovic Henrio ([[ludovic.henrio@ens-lyon.fr)>>mailto:ludovic.henrio@ens-lyon.fr]]
10 * Frederic Dabrowski ([[frederic.dabrowski@univ-orleans.fr)>>mailto:frederic.dabrowski@univ-orleans.fr]]
11
12 En plus des 2 porteurs, le GT est également animé par:
13
14 * Kevin Martin
15 * Laure Gonnord
16 * Emmanuelle Saillard
17
18 == Animations ==
19
20 * (((
21 Une unique liste de diffusion mail. [[https:~~/~~/groupes.renater.fr/sympa/info/clap>>https://groupes.renater.fr/sympa/info/clap]]
22 )))
23 * (((
24 Les journées nationales "compil" qui font la force du groupe compil actuel sont maintenues, à une fréquence idéale de 1 an ou 18 mois, elles favorisent les sessions informelles plénières, en ajoutant éventuellement des sessions parallèles thématiquement plus resserrées
25 )))
26 * (((
27 Les événements ponctuels sont encouragés : réunions d'une journée à public et thématique plus restreints, organisées par des membres du groupe et soutenues par le groupe complet, avec diffusion sur la liste.
28 )))
29
30 == Equipes ==
31
32 La liste des équipes se trouve dans la page web mygdr: [[https:~~/~~/mygdr.hosted.lip6.fr/accueilGDR/7/10>>https://mygdr.hosted.lip6.fr/accueilGDR/7/10]]
33
34 N'hésitez pas à contacter les porteurs du GT pour toute infomraiton sur le groupe.
35
36 == Interactions ==
37
38 ==== avec les autres GT du GdR GPL : ====
39
40 * [[GT Debugging>>doc:Main.GTs.GT Debugging (proposition).WebHome]]
41 * [[GT LVP>>doc:Main.GTs.GT Langages et vérification de programmes (LVP).WebHome]]
42 * [[GT HIFI>>doc:Main.GTs.GT HiFi \: Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents.WebHome]]
43 * [[GT IDM>>doc:Main.GTs.GT Ingénierie Dirigée par les Modèles.WebHome]]
44
45 ==== avec les autres défis : ====
46
47 • Intégration du défi “compilateurs pour le calcul quantique”.
48 • Connexes : chaı̂ne de compilation formellement certifiée
49
50 ==== Interactions avec d'autres GdR : ====
51
52 [[GdR SOC2>>https://www.gdr-soc.cnrs.fr/]], axe "[[méthodes et outils>>https://www.gdr-soc.cnrs.fr/2017/09/08/methodes-et-outils/]]"
53
54 === Anciennes activités du groupe compilaiton ===
55
56 Un historique des activités du groupe compilaiton est disponnible sur cette page: [[http:~~/~~/clap.ens-lyon.fr/>>http://clap.ens-lyon.fr/]]
57
58 Cette page bn'est plus mise à jour pour l'instant.
59
60 == Proposition originale de création du groupe (update au 03/06/20) [[proposition GT CLAP>>attach:proposition_gt_CLAP.pdf]] ==
61
62 Quelques [[planches de présentation>>attach:GPL2021_CLAP.pdf]] lors de la réunion du 30/06/20
63
64 (pour les rédacteurs du groupe CLAP, dans le gitlab : [[https:~~/~~/gitlab.inria.fr/compilfr/compilfr-docs/GPL2021 )>>https://gitlab.inria.fr/compilfr/compilfr-docs]]
65
66 Pour toute demande, n'hésitez pas à contacter les animateurs du groupe.