• Sign in
  • Sign up
conf.researchr.org / Leonardo de Moura
  • 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
Leonardo de Moura

Not registered as user yet

Name:Leonardo de Moura
Country:United States
Affiliation:Microsoft Research
Personal website:http://leodemoura.github.io/

Contributions

CPP 2023 Committee Member in Program Committee within the CPP 2023-track
ICFP 2022 Author of 'do' Unchained: Embracing Local Imperativity in a Purely Functional Language within the ICFP Papers and Events-track
EGRAPHS 2022 Committee Member in Program Committee within the EGRAPHS 2022-track
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

Share
xTue 7 Feb 09:04
using conf.researchr.org (v1.58.0)
Support page
Sign Up