Leonardo De Moura -

Not registered as user yet

Name: Leonardo De Moura

Affiliation: Microsoft Research, n.n.

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

Contributions

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