Precise Widening Operators for Proving Termination by Abstract Interpretation. - Nathanaël Courant; Caterina Urban (TACAS (1), 2017)

The Correctness of a Code Generator for a Functional Language. - Nathanaël Courant; Antoine Séré; Natarajan Shankar (VMCAI, 2020)

Optimal Covid-19 Pool Testing with a priori Information. - Marc Beunardeau; Éric Brier; Noémie Cartier; Aisling Connolly; Nathanaël Courant; Rémi Géraud-Stewart; David Naccache; Ofer Yifrach-Stav (CoRR, 2020)

Verified code generation for the polyhedral model. - Nathanaël Courant; Xavier Leroy (Proc. ACM Program. Lang., 2021)