Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Leonardo de Moura
conf.researchr.org general profile
APLAS 2019 profile
ETAPS 2019 profile
ICFP 2017 profile
ICFP 2020 profile
ICFP 2022 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
POPL 2016 profile
POPL 2017 profile
POPL 2022 profile
POPL 2023 profile
Not registered as user yet
Name:
Leonardo de Moura
Country:
United States
Affiliation:
Microsoft Research
Personal website:
http://leodemoura.github.io/
Contributions
CPP 2023
Committee Member in Program Committee within the CPP 2023-track
ICFP 2022
Author of 'do' Unchained: Embracing Local Imperativity in a Purely Functional Language within the ICFP Papers and Events-track
EGRAPHS 2022
Committee Member in Program Committee within the EGRAPHS 2022-track
WITS 2022
Committee Member in Program Committee within the WITS 2022-track
VMCAI 2022
PC Member in Program Committee within the VMCAI 2022-track
PLDI 2021
Author of Perceus: Garbage Free Reference Counting with Reuse within the PLDI-track
ICFP 2020
Author of Sealing Pointer-Based Optimizations Behind Pure Functions within the ICFP Program-track
Committee Member in External Review Committee within the ICFP Program-track
PLDI 2020
Presenter of Lean 4 within the Sponsors-track
APLAS 2019
Author of Mimalloc: Free List Sharding in Action within the Research Papers-track
TACAS 2019
Committee Member in Program Committee within the TACAS 2019-track
ICFP 2017
Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track
POPL 2017
Author of The Lean Theorem Prover within the Tutorials-track
CPP 2016
Author of Dependent Type Practice within the CPP-track
Share
x
Tue 7 Feb 09:04