conf.researchr.org / Leonardo De Moura
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 2020Author of Sealing Pointer-Based Optimizations Behind Pure Functions within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
PLDI 2020Presenter of Lean 4 within the Sponsors-track
APLAS 2019Author of Mimalloc: Free List Sharding in Action within the Research Papers-track
TACAS 2019Committee Member in Program Committee within the TACAS 2019-track
ICFP 2017Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track
POPL 2017Author of The Lean Theorem Prover within the Tutorials-track
CPP 2016Author of Dependent Type Practice within the CPP-track