Benot Montagu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ESOP | Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. | Pierre Lermusiaux, Benot Montagu |
| 2022 | SAS | Lifting Numeric Relational Domains to Algebraic Data Types. | Santiago Bautista, Thomas P. Jensen, Benot Montagu |
| 2021 | PLDI | Trace-based control-flow analysis. | Benot Montagu, Thomas P. Jensen |
| 2011 | SOSP | Preliminary design of the SAFE platform. | Andr DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benot Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan |
| 2009 | POPL | Modeling abstract types in modules with open existential types. | Benot Montagu, Didier Rmy |