Talks

2025

• Dagstuhl Seminar 25241 - Utilising and Scaling the WebAssembly Semantics
  • 📍 Leibniz-Zentrum für Informatik - Dagstuhl (Germany)
• <Programming> 2025
  • 📍 Faculty of Mathematics and Physics, Charles University - Prague (Czech Republic)
• 15th MirageOS hack retreat
  • 📍 Priscilla Queen of the Medina - Marrakech (Morocco)
• PPS Seminar
  • 📍 Université Paris Cité - Paris (France)
• Wasm Research Day 2025 organized by the WebAssembly Research Center (remote)
  • 📍 Fastly - San Francisco (U.S.)
  • 🎥 video
• JFLA 2025
  • 📍 Domaine de Roiffé - Roiffé (France)

2024

• PhD defense
  • 📍 Université Paris-Saclay - Gif-sur-Yvette (France)
• LVP day of the LVP working group of the GdR GPL
  • 📍 Université Paris Cité - Paris (France)
• OUPS (OCaml UserS in Paris)
  • 📍 Sorbonne Université - Paris (France)

2023

• Wasm Research Day organized by the WebAssembly Research Center
  • 📍 Google Kontorhaus - Munich (Germany)
  • 🎥 video
• IFL'23
  • 📍 Universidade do Minho - Braga (Portugal)
• Foundations of WebAssembly (Dagstuhl Seminar 23101)
  • 📍 Leibniz-Zentrum für Informatik - Dagstuhl (Germany)

2022

• JFLA 2022
  • 📍 Domaine d'Essendiéras - Saint-Médard-d'Excideuil (France)