Nathanaël Courant

According to our database, Nathanaël Courant authored at least 4 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Verified code generation for the polyhedral model.

Nathanaël Courant, Xavier Leroy

Proc. ACM Program. Lang., 2021

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

The Correctness of a Code Generator for a Functional Language.

Nathanaël Courant, Antoine Séré, Natarajan Shankar

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2017

Precise Widening Operators for Proving Termination by Abstract Interpretation.

Nathanaël Courant, Caterina Urban

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017