• Sign in
  • Sign up
conf.researchr.org / Benoît Montagu
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • PLDI 2021 profile
  • SPLASH 2020 profile
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

Share
xThu 30 Jun 06:26
using conf.researchr.org (v1.56.1)
Support page
Sign Up