Nathanaël Courant

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 4

Top Topics

Code Generation

Object Identity

Integrity Constraints

Functional Language

Top Venues

Proc. ACM Program. Lang.

Publications

Nathanaël Courant, Xavier Leroy
Verified code generation for the polyhedral model. Proc. ACM Program. Lang. 5 (POPL) (2021)
Marc Beunardeau, Éric Brier, Noémie Cartier, Aisling Connolly, Nathanaël Courant, Rémi Géraud-Stewart, David Naccache, Ofer Yifrach-Stav
Optimal Covid-19 Pool Testing with a priori Information. CoRR (2020)
Nathanaël Courant, Antoine Séré, Natarajan Shankar
The Correctness of a Code Generator for a Functional Language. VMCAI (2020)
Nathanaël Courant, Caterina Urban
Precise Widening Operators for Proving Termination by Abstract Interpretation. TACAS (1) (2017)