Nathanaëlle Courant

According to our database, Nathanaëlle Courant authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

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

Nathanaëlle Courant

PhD thesis, 2024

Chamelon : A Delta-Debugger for OCaml.

Milla Valnet, Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron

Proceedings of the Formal Methods - 26th International Symposium, 2024

2022

Debootstrapping without Archeology - Stacked Implementations in Camlboot.

Nathanaëlle Courant, Julien Lepiller, Gabriel Scherer

Art Sci. Eng. Program., 2022