Seminar and reading group

2021

• 13 Janvier
  (GdL) Laure Gonnord :
  «Contrôle sûr de chaînes d’obfuscation logicielle» (thèse de Nicolas Szlifierski)
• 20 Janvier
  (GdL) Matthieu Moy :
  “Methodology for Code-Optimization of Memory Data-Layouts for High-Performance-System Architectures with Complex Memory Hierarchies” (thèse de Riyane Sid Lakhdar)
• 27 Janvier
  (SEM) Gabriel Radanne :
  «Une introduction aux GADT»
• 03 Février
  (GdL) Laure Gonnord :
  “A Modern Compiler for the French Tax Code” (Merigoux et al., CC’21)
  (GdL) Paul Ianetta :
  “Origami Programming” (based on Gibbons’ “The fun of programming”)
• 10 Février
  (SEM) Yannick Zakowski :
  «Une brève introduction à l’assistant de preuve Coq» (Ressource)
• 17 Février
  (SEM) Christophe Alias :
  “Data-aware process networks” (CC’21)
• 24 Février
  (SEM) Every CASH member :
  «Mon thème de recherche en 3 minutes»
• 03 Mars
  (GdL) Amaury Maillé :
  “Bibliothèques dynamiques et linking”
  (GdL) Yannick Zakowski :
  “egg: Fast and extensible equality saturation” (POPL’21)
• 10 Mars
  (GdL) Amaury Maillé :
  “Valueness and References in C++ Part I: A Look at The Past”
• 17 Mars
  (SEM) Gabriel Radanne :
  «Modules»
• 24 Mars
  (GdL) Gabriel Radanne :
  “Retrieving library functions by unifying types modulo linear isomorphism” (Rittri, RAIRO’93)
  (GdL) Ludovic Henrio :
  “Combining SLiVER with CADP to Analyze Multi-agent Systems” (Stephano et al., COORDINATION’20)

2020

• 14 Octobre
  (GdL) Ludovic Henrio :
  These de Pierre Leca “Combining active object and BSP programs”   
• 21 Octobre
  (SEM) Christophe Alias :
  «La compilation polyédrique en 30 minutes»
• 28 Octobre
  (MISC) Ludovic Henrio + Laure Gonnord :
  Présentations du GtD CLAP au sein du GdR GPL
  (SEM) Yannick Zakowski :
  “A quick tour of the Vellvm project, a verified LLVM IR in Coq” (Site du projet)
• 04 Novembre
  (SEM) Laure Gonnord :
  «L’interprétation abstraite en 30 minutes»
• 18 Novembre
  (SEM) Christophe Alias :
  “On the verification of polyhedral program transformations” (CADO’20)
• 25 Novembre
  (SEM) Julien Braine :
  “Data abstractions for fun”
• 02 Décembre
  (SEM) Julien Emmanuel :
  “Simulation of the Portal 4 protocol”
  (SEM) Amaury Maillé :
  “PromisePlus : Flexile synchronization for parallel computations on arrays”
• 09 Décembre
  (GdL) Yannick Zakowski :
  “Verified Code Generation for the Polyhedral Model” (Courant and Leroy, POPL’21) 
• 16 Décembre
  (SEM) Gabriel Radanne :
  «Une introduction aux types linéaires»