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
2023
CPP
Committee Member in Program Committee within the CPP 2023-track
2022
ICFP
Author of 'do' Unchained: Embracing Local Imperativity in a Purely Functional Language within the ICFP Papers and Events-track
EGRAPHS
Committee Member in Program Committee within the EGRAPHS 2022-track
WITS
Committee Member in Program Committee within the WITS 2022-track
VMCAI
PC Member in Program Committee within the VMCAI 2022-track
2021
PLDI
Author of Perceus: Garbage Free Reference Counting with Reuse within the PLDI-track
2020
ICFP
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
Presenter of Lean 4 within the Sponsors-track
2019
APLAS
Author of Mimalloc: Free List Sharding in Action within the Research Papers-track
TACAS
Committee Member in Program Committee within the TACAS 2019-track
2017
ICFP
Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track
POPL
Author of The Lean Theorem Prover within the Tutorials-track
2016
CPP
Author of Dependent Type Practice within the CPP-track
Share
x
Thu 21 Nov 11:52