Benoît Montagu -

Registered user since Wed 17 Jun 2020

Name:Benoît Montagu

Country:France

Affiliation:Inria

Personal website:http://people.irisa.fr/Benoit.Montagu/

Contributions

ML 2022	Chair in Organizing Committee within the ML-track
OCaml 2022	Committee Member in Program Committee within the OCaml 2022-track
ML 2021	Session Chair of Language & Library Design (part of ML 2021) Committee Member in Program Committee within the ML 2021-track
PLDI 2021	Author of Trace-Based Control-Flow Analysis within the PLDI-track
NSAD 2020	Author of Numeric Domains Meet Algebraic Data Types within the NSAD-track Committee Member in Program Committee within the NSAD-track
ICFP 2020	Author of Stable Relations and Abstract Interpretation of Higher-Order Programs within the ICFP Program-track