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
ICFP 2024 profile
ICFP/SPLASH 2025 profile
PLDI 2021 profile
POPL 2026 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
2026
POPL
Industrial Relations Co-Chair in Organizing Committee
2025
ICFP
Artifact Evaluation Co-Chair in Organizing Committee
Artifact Evaluation Co-Chair in Artifact Evaluation Committe within the ICFP Artifacts-track
2024
ICFP
Artifact Evaluation Co-Chair in Organizing Committee
Artifact Evaluation Co-Chair in Artifact Evaluation Committe within the Artifact Evaluation-track
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 14 Jun 07:10
