Benoît Montagu

According to our database, Benoît Montagu authored at least 12 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

An input-output relational domain for algebraic data types and functional arrays.

Santiago Bautista, Thomas P. Jensen, Benoît Montagu

Formal Methods Syst. Des., April, 2025

2024

The Salto Project: Static Analysis of OCaml Programs by Abstract Interpretation.

Pierre Lermusiaux, Benoît Montagu

ERCIM News, 2024

Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation.

Pierre Lermusiaux, Benoît Montagu

Proceedings of the Programming Languages and Systems, 2024

2022

Lifting Numeric Relational Domains to Algebraic Data Types.

Santiago Bautista, Thomas P. Jensen, Benoît Montagu

Proceedings of the Static Analysis - 29th International Symposium, 2022

2021

Trace-based control-flow analysis.

Benoît Montagu, Thomas P. Jensen

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Stable relations and abstract interpretation of higher-order programs.

Benoît Montagu, Thomas P. Jensen

Proc. ACM Program. Lang., 2020

Numeric domains meet algebraic data types.

Santiago Bautista, Thomas P. Jensen, Benoît Montagu

Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 2020

2019

Inferring frame conditions with static correlation analysis.

Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer, Benoît Montagu

Proc. ACM Program. Lang., 2019

2013

A Theory of Information-Flow Labels.

Benoît Montagu, Benjamin C. Pierce, Randy Pollack

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2011

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, Gregory Sullivan

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

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

PhD thesis, 2010

2009

Modeling abstract types in modules with open existential types.

Benoît Montagu, Didier Rémy

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009