Ph.D. Thesis

I started my Ph.D. thesis in october 2021 and completed the dissertation in september 2024. I have been supervised by Jean-Christophe Filliâtre in the Formal Methods Laboratory (LMF) and by Pierre Chambart at OCamlPro.

My work was about the compilation of garbage-collected languages to WebAssembly, and especially OCaml. I also worked on efficient cross-language symbolic execution (C, Rust and Wasm). This led me to write two software: Wasocaml (an OCaml to WasmGC compiler) and Owi (a parallel symbolic execution engine for Wasm/C/Rust and a Wasm toolkit). I also published some articles related to my work:

• Wasocaml: compiling OCaml to WebAssembly (pre-print) ;
• Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly (accepted for publication in The Programming Journal);
• Cross-Language Symbolic Runtime Annotation Checking (submitted for publication);
• Smt.ml: A Multi-Backend Fronted for SMT Solvers in OCaml (submitted for publication).

Dissertation

The first version of my dissertation is available here. A second version will be published after the defense.

Defense

I defended my Ph.D. on monday the 16th of december 2024. The defense took place at 2pm in the amphitheater of the building 660, avenue des sciences, 91190 Gif-sur-Yvette. See on the map. Add to your calendar.

My jury consisted of:

• Roberto Di Cosmo (Chair)
• Julia Lawall (Reviewer & Examiner)
• Manuel Serrano (Reviewer & Examiner)
• Delphine Demange (Examiner)
• Joël Falcou (Examiner)
• Delphine Longuet (Examiner)

My slides are available here.