Implementation within the Jasmin framework of a new backend for generating WebAssembly code, INRIA Sophia Antipolis, 2026.
Supervised by Manuel Serrano and Benjamin Grégoire.
Development of a random well-typed program generator supporting polymorphism, IRIF, 2025.
Supervised by Gabriel Scherer. See GitHub and Report.
Implementation of a normalizing reduction machine for the lambda calculus, LMF, 2024.
Supervised by Thibaut Balabonski. See GitHub and Report.
Study on the completion of single-relation word rewriting systems, LIX, 2025.
Supervised by Samuel Mimram. See GitHub and Report.
Development of a compiler producing bytecode for the WebAssembly machine, LMF, 2024.
Supervised by Thibaut Balabonski. See GitHub and Report.