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;
- Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly.
Dissertation
The first version of my dissertation is available here. A second version will be published after the defense.
Defense
I will publicly defend my Ph.D. in december. I'll publish more informations later.