Leonardo de Moura -

Not registered as user yet

Name:Leonardo de Moura

Affiliation:Microsoft Research, n.n.

Personal website:http://leodemoura.github.io/

Contributions

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