Modeling abstract types in modules with open existential types. - Benoît Montagu; Didier Rémy (POPL, 2009)

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 (2010)

Preliminary design of the SAFE platform. - 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; et al. (PLOS@SOSP, 2011)

A Theory of Information-Flow Labels. - Benoît Montagu; Benjamin C. Pierce; Randy Pollack (CSF, 2013)

Inferring frame conditions with static correlation analysis. - Oana Fabiana Andreescu; Thomas P. Jensen; Stéphane Lescuyer; Benoît Montagu (Proc. ACM Program. Lang., 2019)

Numeric domains meet algebraic data types. - Santiago Bautista; Thomas P. Jensen; Benoît Montagu (NSAD@SAS, 2020)

Stable relations and abstract interpretation of higher-order programs. - Benoît Montagu; Thomas P. Jensen (Proc. ACM Program. Lang., 2020)

Trace-based control-flow analysis. - Benoît Montagu; Thomas P. Jensen (PLDI, 2021)

Lifting Numeric Relational Domains to Algebraic Data Types. - Santiago Bautista; Thomas P. Jensen; Benoît Montagu (SAS, 2022)

Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. - Pierre Lermusiaux; Benoît Montagu (ESOP (2), 2024)

The Salto Project: Static Analysis of OCaml Programs by Abstract Interpretation. - Pierre Lermusiaux; Benoît Montagu (ERCIM News, 2024)

An input-output relational domain for algebraic data types and functional arrays. - Santiago Bautista; Thomas P. Jensen; Benoît Montagu (Formal Methods Syst. Des., 2025)