CLAP

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

  • Kevin Martin

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

S'abonner à RSS - CLAP