COMPILATION

MLIR: The Good, the Bad and the Ugly

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

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.

Quatorzième rencontre de la communauté française de compilation

Lieu et Dates Importantes

  • Lieu : Village Vacances “La Vieille Perrotine” , 140 Route des Allards 17310 St Pierre d’Oléron
  • Dates : 18 au 20 mai 2020
  • La date limite pour les inscriptions: TBD

Organisatrices

Programme

à venir..

13ièmes journées de Compilation - du 30 janvier au 1 février 2019, Dammarie Les Lys

Les treizièmes rencontres de la communauté française de compilation auront lieu au Bois du Lys  du mercredi 30 janvier 2019 au vendredi 1er février 2019.

Les organisateurs locaux de cette édition sont Corinne Ancourt et Claire Medrala.

Journée "When compilation meets WCET analysis"

Le groupe compilation du GDR GPL et le GDR SOC^2 (axe calcul embarqué hautes performances) organisent une journée "When compilation meets WCET analysis", à Paris, le 23 novembre 2017.

Plus de détails sur la page 

http://compilfr.ens-lyon.fr/wcet-compil-2017/

Bourses Ecole d’Été Temps Réel 2017

Grâce au soutien du GDR GPL, deux bourses ont pu être financées afin de permettre aux doctorants d'assister à l’école d’été ETR 2017. Parmi les candidats qui ont répondu à notre appel, Hui ZHAO (U. Nice Sophia-Antipolis) et Aymen GAMMOUDI (U. Rennes 1/U. Carthage) ont été retenus.

Nous félicitons Hui et Aymen !
Les organisateurs d'ETR 2017

 

Pages

S'abonner à RSS - COMPILATION