Seminar and reading group

2025

• 13/01 (Double Seminar)
  – Alec Sadler: “Automatic Specialization of Polyhedral Programs on Sparse Structures”
  – Quentin Vermande: “Décomposition Algébrique Cylindrique en Coq/Rocq”
• 03/02 (Seminar)
  Alessandro Bruni
  “Taming Differentiable Logics with Coq Formalisation”

2024

• 30/01
  (Seminar) Basile Pesin
  “On the Vélus compiler”
• 12/02
  (GdL)
  Alec Sadler: “A Polyhedral Compilation Library with Explicit Disequality Constraint”
  Hugo Thievenaz: “Easy Counting and Ranking for Simple Loops”
• 19/02
  (Seminar) Sébastien Michelland
  “A compiler- and language-based approach to fighting fault injection attacks”
• 26/02
  (Seminar) Yann Hamdaoui
  “The Uncanny Valley of Programmable Configuration Languages”
• 11/03
  (Seminar) Emmanuel Arrighi
  “Dowsing for types”
• 18/03
  (Seminar) Thaïs Baudon
  “Rebuilding Algebraic Data Types from Mangled Memory Layouts”
• 25/03
  (Seminar) Léon Frenot
  “Reducing the Overhead of Exact Profiling by Reusing Affine Variables”
• 08/04
  (Reading Group) Wenke Du
  “Retrofitting Parallelism onto OCaml”
• 13/05
  (Seminar) Emma Nardino
  “A model for call/CC and delimited continuations in Guarded Interaction Trees”
• 03/06
  (Seminar) Yannick Zakowski
  “A Two-Phase Infinite/Finite Low-Level Memory Model”
• 24/06
  (Seminar) Nicolas Chappe
  “Executable semantics based on Choice Trees for a concurrent subset of LLVM IR”
• 08/07
  (Seminar) Thomas Koehler
  “Towards Safe Interactive Optimization Across Layers”
• 15/07
  (Seminar) Noah Loutchmia
  “Using a parametricity translation to build functors”
• 29/07
  (Seminar) Wenke DU
  “A Distributed Actor Library for OCaml 5”
• 11/09
  (Seminar) Jacques Garrigue
  “Mechanized monadic equational reasoning for ML references”
• 23/09
  (Seminar) Quentin Vermande
  “La Décomposition Algébrique Cylindrique formalisée”
• 21/10
  (Seminar) Basile Clément
  “Snapshottable stores”
• 29/11
  (Séminaire) Cyril Cohen
  “Trocq: Proof Transfer for Free, With or Without Univalence”

2023

• 01/02
  (Seminar) Bruno Ferres
  “Using Model Checking for Electrical Rule Checking of Integrated Circuits at Transistor Level”
• 01/03
  (Répétition de soutenance) Julien Emmanuel
  “Un simulateur pour le calcul haute performance : modélisation multi-niveau de l’interconnect BXI pour prédire les performances d’applications MPI”
• 19/04
  (Seminar) Frédéric Bour
  “LRGrep: engineering error messages for LR parsers”
• 03/05
  (Seminar) Yannick Zakowski (after Sébastien Michelland’s work)
  “Verified Monadic Abstract Interpretation”
• 10/05
  (Seminar) Matthieu Lemerre
  “SSA translation is an abstract interpretation”
• 21/06
  (Séminaire) Guillaume Salagnac
  “Forth, un langage pour la frugalité ?”
• 12/07
  (Séminaire) Sébastien Michelland
  “Basic Block Jails: A Combined Software/Hardware Countermeasure Against Fetch Skip Attacks”
• 30/08
  (Séminaire) Amaury Maille
  “ZHL: A DSL and runtime for typesafe dynamic program extension”
• 26/10
  (Séminaire) Pierre Chambart
  “Flambda 2 Types: An abstract domain for static analysis of functional programs”
• 15/11
  (Double seminar)
  Ludovic Henrio: “Refinements for Open Automata”
  Nicolas Chappe: “FicWebBoard: une plateforme d’apprentissage de la programmation pour des étudiants de niveaux hétérogènes”
• 21/11
  (Seminar) Clément Blaudeau
  “A Conceptual Framework for Safe Object Initialization”

2022

• 10/01
  (Cash Seminar)
  “Architectures matérielles et logicielles pour l’accélération du deep learning sur multiprocesseur évolutif embarqué”
• 17/01
  (GdL) Ludovic Henrio
  “OpenMP et DSParLib”
• 31/01
  (Seminar) Sébastien Michelland
  “Verified Abstract Monadic Interpreter”
• 07/02
  (Reading Group) Laure Gonnord
  “Undecidability of Context-Sensitive Data-Dependence Analysis”
• 07/03
  (Seminar) Charles Paperman
  “Vectorization for automata-ish computation”
• 14/03
  (Seminar) Bruno Ferres
  “Utilisation de langages de construction matérielle pour une exploration flexible d’espace de conception sur FPGA” (PhD defense rehearsal)
• 21/03
  (Seminar) Nicolas Chappe
  “An Optimised Flow for Futures: From Theory to Practice”
• 28/03
  (Reading Group) Yannick Zakowski
  “An Introduction to Programming with Algebraic Effects”
• 04/04
  (Seminar)
  Thaïs Baudon: “Knit&Frog: Pattern matching compilation for custom memory representations”
  Hugo Thievenaz: “A dynamic method for array contraction”
• 25/04
  (Seminar) Bruno Ferres
  “Electrical Rule Checks at Transistor Level”
• 16/05
  (Presentation de la MMI)
  “De la médiation informatique”
• 23/05
  (Seminar) Christophe Alias
  “Affine Multibanking for High-Level Synthesis”
• 04/07
  (Seminar) Pauline Garelli
  “Type indexing in OCaml for function search in a large ecosystem”
• 11/07
  (Seminar) Oussama Oulkaid
  “Applying Formal Verification Techniques to Circuit Electric Verification”
• 05/09
  (Seminar) Yannick Zakowski
  “Choice Trees — Representing Nondeterministic, Recursive, and Impure Programs in Coq”
• 12/09
  (Seminar) Thaïs Baudon
  “Analysing Parallel Complexity of Term Rewriting”
• 17/10
  (Seminar) Ludovic Henrio and Gabriel Radanne
  “Safe concurrent abstractions for multicore OCaml”
• 24/10
  (Seminar) Basile Clément
  “Fast and correct – Validation of a Tensor Compiler”

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»