Benoît Montagu

12 papers A* 2A 1B 1Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
An input-output relational domain for algebraic data types and functional arrays.
Formal Methods Syst. Des.
Santiago Bautista, Thomas P. Jensen, Benoît Montagu
2024 — conf
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation.
ESOP (2)
Pierre Lermusiaux, Benoît Montagu
2024 J jnl
The Salto Project: Static Analysis of OCaml Programs by Abstract Interpretation.
ERCIM News
Pierre Lermusiaux, Benoît Montagu
2022 B conf
Lifting Numeric Relational Domains to Algebraic Data Types.
SAS
Santiago Bautista, Thomas P. Jensen, Benoît Montagu
2021 A* conf
Trace-based control-flow analysis.
PLDI
Benoît Montagu, Thomas P. Jensen
2020 — conf
Numeric domains meet algebraic data types.
NSAD@SAS
Santiago Bautista, Thomas P. Jensen, Benoît Montagu
2020 J jnl
Stable relations and abstract interpretation of higher-order programs.
Proc. ACM Program. Lang.
Benoît Montagu, Thomas P. Jensen
2019 J jnl
Inferring frame conditions with static correlation analysis.
Proc. ACM Program. Lang.
Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer, Benoît Montagu
2013 A conf
A Theory of Information-Flow Labels.
CSF
Benoît Montagu, Benjamin C. Pierce, Randy Pollack
2011 — conf
Preliminary design of the SAFE platform.
PLOS@SOSP
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
2010 — —
Programming with first-class modules in a core language with subtyping, singleton kinds and open existential types. (Programmer avec des modules de première classe dans un langage noyau pourvu de sous-typage, sortes singletons et types existentiels ouverts).
Benoît Montagu
2009 A* conf
Modeling abstract types in modules with open existential types.
POPL
Benoît Montagu, Didier Rémy