Benoît Montagu

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 5

Top Topics

Abstract Interpretation

Relational Domains

Functional Programs

Top Venues

Proc. ACM Program. Lang.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Pierre Lermusiaux, Benoît Montagu
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. ESOP (2) (2024)
Santiago Bautista, Thomas P. Jensen, Benoît Montagu
Lifting Numeric Relational Domains to Algebraic Data Types. SAS (2022)
Benoît Montagu, Thomas P. Jensen
Trace-based control-flow analysis. PLDI (2021)
Benoît Montagu, Thomas P. Jensen
Stable relations and abstract interpretation of higher-order programs. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer, Benoît Montagu
Inferring frame conditions with static correlation analysis. Proc. ACM Program. Lang. 3 (POPL) (2019)
Benoît Montagu, Benjamin C. Pierce, Randy Pollack
A Theory of Information-Flow Labels. CSF (2013)
André DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan
Preliminary design of the SAFE platform. PLOS@SOSP (2011)
Benoît Montagu, Didier Rémy
Modeling abstract types in modules with open existential types. POPL (2009)