Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xavier Leroy
conf.researchr.org general profile
CC 2021 profile
ETAPS 2019 profile
ICFP 2019 profile
ICFP 2021 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
POPL 2025 profile
Registered user since Thu 19 Oct 2017
Name:
Xavier Leroy
Country:
France
Affiliation:
Collège de France
Personal website:
https://xavierleroy.org/
Contributions
2025
POPL
Associate Chair in Program Committee within the POPL-track
2024
CoqPL
Author of Well-founded recursion done right within the CoqPL 2024-track
N40AI
Invited Speaker of Mechanizing Abstract Interpretation within the N40AI 2024-track
2023
POPL
Committee Member in Program Committee within the POPL-track
Panelist of Panel: Next 50 Years of POPL within the POPL-track
2022
CoqPL
Committee Member in Program Committee within the CoqPL-track
2021
OCaml
Author of 25 years of OCaml within the OCaml 2021-track
CC
Committee Member in Program Committee within the CC Research Papers-track
POPL
Author of Verified Code Generation for the Polyhedral Model within the POPL-track
PriSC
Committee Member in Program Committee within the PriSC 2021-track
2020
PLMW
Invited Speaker in Invited speakers within the PLMW 2020-track
Author of Theorem provers are a P.L. researcher's best friend within the PLMW 2020-track
POPL
Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
2019
OCaml
Author of Invited Talk within the OCaml 2019-track
PERR
Committee Member in Program Committee within the PERR-track
2018
POPL
Committee Member in Program Committee within the Research Papers-track
PriSC
Committee Member in Program Committee within the PriSC 2018-track
2017
PLDI
Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track
POPL
ERC member in External Review Committee within the POPL-track
2016
PLMW
Author of Theorem Provers are a PL Researcher's Best Friend within the PLMW-track
Share
x
Sat 21 Dec 14:51
