Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Benoît Montagu
conf.researchr.org general profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2022 profile
PLDI 2021 profile
SPLASH 2020 profile
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
Share
x
Thu 30 Jun 06:26