| A theory of information-flow labels B Montagu, BC Pierce, R Pollack 2013 IEEE 26th Computer Security Foundations Symposium, 3-17, 2013 | 47 | 2013 |
| Modeling abstract types in modules with open existential types B Montagu, D Rémy ACM SIGPLAN Notices 44 (1), 354-365, 2009 | 32 | 2009 |
| Preliminary design of the SAFE platform A DeHon, B Karel, TF Knight Jr, G Malecha, B Montagu, R Morisset, ... Proceedings of the 6th Workshop on Programming Languages and Operating …, 2011 | 26 | 2011 |
| Stable relations and abstract interpretation of higher-order programs B Montagu, T Jensen Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020 | 11 | 2020 |
| Trace-based control-flow analysis B Montagu, T Jensen Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 8 | 2021 |
| Numeric domains meet algebraic data types S Bautista, T Jensen, B Montagu Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and …, 2020 | 8 | 2020 |
| Inferring frame conditions with static correlation analysis OF Andreescu, T Jensen, S Lescuyer, B Montagu Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 7 | 2019 |
| Lifting Numeric Relational Domains to Algebraic Data Types S Bautista, T Jensen, B Montagu International Static Analysis Symposium, 104-134, 2022 | 6 | 2022 |
| Experience report: Mechanizing Core Fy using the locally nameless approach B Montagu | 3 | 2010 |
| Lifting Numeric Relational Domains to Algebraic Data Types (extended version) S Bautista, T Jensen, B Montagu Centre Inria de l'Université de Rennes; Univ Rennes, 2023 | 2 | 2023 |
| Programming with first-class modules in a core language with subtyping, singleton kinds and open existential types B Montagu Ecole Polytechnique X, 2010 | 2 | 2010 |
| Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation (Extended Version) P Lermusiaux, B Montagu Research report, Inria (Jan 2024), https://inria. hal. science/hal-04410771, 2024 | 1 | 2024 |
| Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation P Lermusiaux, B Montagu European Symposium on Programming, 391-420, 2024 | 1 | 2024 |
| 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 … B Montagu École Polytechnique, Palaiseau, France, 2010 | 1 | 2010 |
| Programmer avec des modules de première classe dans un langage noyau pourvu de sous-typage, sortes singletons et types existentiels ouverts| Theses. fr B Montagu Palaiseau, Ecole polytechnique, 2010 | 1 | 2010 |
| Types abstraits et types existentiels ouverts B Montagu, D Rémy Actes des deuxièmes journées nationales du Groupement De Recherche CNRS du …, 0 | 1 | |
| The Salto Project: Static Analysis of OCaml Programs by Abstract Interpretation B Montagu, P Lermusiaux ERCIM News, 24, 2024 | | 2024 |
| An input–output relational domain for algebraic data types and functional arrays S Bautista, T Jensen, B Montagu Formal Methods in System Design, 1-74, 2024 | | 2024 |
| The Design and Implementation of an Abstract Interpreter for OCaml Programs B Montagu ML Family Workshop, 2023 | | 2023 |
| Preliminary design of the SAFE platform B Montagu, R Morisset, G Morrisett | | 2011 |
Thomas JensenDirecteur de recherche INRIA Rennes and IRISAVerified email at inria.fr
