• Sign in
  • Sign up
conf.researchr.org / Leonardo De Moura
  • APLAS 2019 profile
  • ETAPS 2019 profile
  • ICFP 2017 profile
  • ICFP 2020 profile
  • PLDI 2020 profile
  • POPL 2016 profile
  • POPL 2017 profile
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

Share
xWed 27 Jan 14:27
using conf.researchr.org (v1.40.2)
Support page
Sign Up