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
ICFP 2023 profile
PLDI 2021 profile
SPLASH 2020 profile
SPLASH 2022 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
2023
ML
Author of The Design and Implementation of an Abstract Interpreter for OCaml Programs: A Preliminary Report on the Salto Analyser within the ML-track
Committee Member in Program Committee within the ML-track
OCaml
Committee Member in Program Committee within the OCaml 2023-track
Session Chair of Session 1 (part of OCaml 2023)
2022
SPLASH
Session Chair of SAS Papers 2 (part of COVID Time Papers In Person)
Author of Stable relations and abstract interpretation of higher-order programs within the COVID Time Papers In Person-track
Static Analysis Symposium
Author of Lifting Numeric Relational Domains to Algebraic Data Types within the SAS-track
OCaml
Session Chair of Applications & Teaching (part of OCaml 2022)
Committee Member in Program Committee within the OCaml 2022-track
ML
Session Chair of Language Design (part of ML)
Chair in Organizing Committee within the ML-track
2021
ML
Session Chair of Language & Library Design (part of ML 2021)
Committee Member in Program Committee within the ML 2021-track
PLDI
Author of Trace-Based Control-Flow Analysis within the PLDI-track
2020
NSAD
Author of Numeric Domains Meet Algebraic Data Types within the NSAD-track
Committee Member in Program Committee within the NSAD-track
ICFP
Author of Stable Relations and Abstract Interpretation of Higher-Order Programs within the ICFP Program-track
Share
x
Sat 9 Dec 02:52
