Talks

A Capability Type System for OCaml. OCaml Workshop 2026. video · slides
Principia Softwarica: Plan 9 Code Explained. IWP9 (International Workshop on Plan 9), 2026. video
Goken: The Plan 9 Toolchain Reborn. IWP9, 2026. video
Semgrep, A Polyglot Customizable Bug-Finding Tool. Strumenta virtual meetup, January 2023. video
Semgrep, a fast, lightweight, polyglot static analysis tool to find bugs. OCaml Workshop 2021 (ICFP 2021). video · paper
Pfff: PHP Program Analysis at Facebook. OCaml Workshop 2013. slides
Codemap, Google Maps for Source Code. Linux Plumbers Conference, September 2011, Santa Rosa, CA. session
pfff_visual demo (CodeMap on a polyglot codebase). caml-list announcement, September 2010. video part 1 · video part 2
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. ERCIM workshop on software evolution, Lille, April 2006. slides
The Parts-of-files File System. CFSE (Conférence Française de Systèmes d’Exploitation), 2003. slides — an earlier French-conference version of the work later published at USENIX ATC 2005 (see Academia)
A Logic File System. USENIX Annual Technical Conference, 2003. slides (see Academia for the paper)