Actualité CLAP

MLIR: The Good, the Bad and the Ugly

Portrait de Kevin.Martin
Soumis par Kevin.Martin le 25 Août, 2023 - 10:10
Journée sur MLIR le mardi 17 octobre 2023 à Rennes.

Journées communes 2023 des GT CLAP, HiFi et LVP

Soumis par Alain.Giorgetti le 9 Janvier, 2023 - 09:23

Les groupes de travail CLAP, HiFi et LVP du GDR GPL s'associent pour proposer des journées communes, du lundi 20 au mercredi 22 mars 2023, dans l'auditorium du bâtiment IMAG, à Grenoble. Toute l'information pour participer aux journées est ici : https://clap-hifi-lvp-2023.sciencesconf.org

 

Journée llvm pour les nuls

Portrait de Kevin.Martin
Soumis par Kevin.Martin le 22 Février, 2022 - 11:41
Journée commune GPL/SOC2 d’introduction à LLVM, intitulée LLVM pour les nuls. Elle sera composée d’une introduction au framework de compilation LLVM, suivie de 3 présentations de travaux basés sur LLVM. - 14h00 - 14h30 : LLVM : un framework de compilation, mais pas que... - 14h30 - 14h45 : Échanges et questions - 14h45 - 15h15 : MemorySSA : Représentation des flux de données en mémoire - 15h15 - 15h45 : Analyses statiques pour l’optimisation et la vérification des applications parallèles - 15h45 - 16h15 : instrumentation de programmes pour l'analyse de performances - 16h15 - 16h45 : Échanges et questions

Séminaire CLAP - 16/12/21 - recherche par types et Coq SydPaCC

Portrait de Kevin.Martin
Soumis par Kevin.Martin le 6 Décembre, 2021 - 11:10

Vous êtes cordialement invités à participer au séminaire CLAP le 16 décembre 2021 de 10h15 à 11h40. Le séminaire se fera en visio sur zoom (info de connexion ci-dessous). Vous êtes également conviés à un café CLAP de 10h à 10h15 sur gather.town (https://gather.town/app/7giEyr3CTKAwe3Or/cafeCLAP)

Au programme :
- 10h20-11h00 : Fast Indexing for Research by Types par Gabriel Radanne
- 11h00-11h40 : Automated and Verified Algorithmic Skeleton-based Parallelization of Functional Programs par Frederic Loulergue

Séminaire CLAP - 18/11/21 - Machine learning compiler and MLIR

Portrait de Kevin.Martin
Soumis par Kevin.Martin le 3 Novembre, 2021 - 13:57

Vous êtes cordialement invités à participer au séminaire CLAP le 18 novembre 2021 de 10h15 à 11h40. Le séminaire se fera en visio sur zoom (info de connexion ci-dessous). Vous êtes également conviés à un café CLAP de 10h à 10h15 sur gather.town (https://gather.town/app/7giEyr3CTKAwe3Or/cafeCLAP).  Les talks se feront en anglais.

Le programme :

Séminaire CLAP - 21/10

Portrait de Kevin.Martin
Soumis par Kevin.Martin le 18 Octobre, 2021 - 11:23

Séminaire CLAP - 23/09/21

Portrait de Kevin.Martin
Soumis par Kevin.Martin le 17 Septembre, 2021 - 12:16

Le séminaire CLAP du 23 septembre de 10h15 à 12h15 portera sur le thème "compilation et verification". Le séminaire se fera en visio sur zoom (cf ci-dessous pour les info de connexion). Vous êtes également conviés à un café CLAP de 10h à 10h15 sur gather.town (https://gather.town/app/7giEyr3CTKAwe3Or/cafeCLAP).  Les talks se feront en français.

Description du groupe CLAP

CLAP : Compilation, Langages, Analyses, Parallélisme

Responsables

  • Ludovic Henrio

  • Frédéric Dabrowski

Site web du groupe : https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20compilation/