Xavier Leroy -

Registered user since Thu 19 Oct 2017

Name:Xavier Leroy

Country:France

Affiliation:Collège de France

Personal website:https://xavierleroy.org/

Contributions

POPL 2023	Committee Member in Program Committee within the POPL-track Panelist of Panel: Next 50 Years of POPL within the POPL-track
CoqPL 2022	Committee Member in Program Committee within the CoqPL-track
OCaml 2021	Author of 25 years of OCaml within the OCaml 2021-track
CC 2021	Committee Member in Program Committee within the CC Research Papers-track
POPL 2021	Author of Verified Code Generation for the Polyhedral Model within the POPL-track
PriSC 2021	Committee Member in Program Committee within the PriSC 2021-track
PLMW 2020	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 2020	Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
OCaml 2019	Author of Invited Talk within the OCaml 2019-track
PERR 2019	Committee Member in Program Committee within the PERR-track
POPL 2018	Committee Member in Program Committee within the Research Papers-track
PriSC 2018	Committee Member in Program Committee within the PriSC 2018-track
PLDI 2017	Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track
POPL 2017	ERC member in External Review Committee within the POPL-track
PLMW	Author of Theorem Provers are a PL Researcher's Best Friend within the PLMW-track