Debootstrapping without Archeology - Stacked Implementations in Camlboot. - Nathanaëlle Courant; Julien Lepiller; Gabriel Scherer (Art Sci. Eng. Program., 2022)

Chamelon : A Delta-Debugger for OCaml. - Milla Valnet; Nathanaëlle Courant; Guillaume Bury; Pierre Chambart; Vincent Laviron (FM (2), 2024)

Towards an efficient and formally-verified convertibility checker. (Vers un vérificateur de preuves Coq efficace et formellement prouvé). - Nathanaëlle Courant (2024)