CLAP

MLIR: The Good, the Bad and the Ugly

Journée sur MLIR le mardi 17 octobre 2023 à Rennes.

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

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

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

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

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

Séminaire CLAP - 23/09/21

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/

S'abonner à RSS - CLAP