Leonardo de Moura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | grind: An SMT-Inspired Tactic for Lean 4 (Short Paper - System Description). | Kim Morrison, Leonardo de Moura |
| 2021 | CADE | The Lean 4 Theorem Prover and Programming Language. | Leonardo de Moura, Sebastian Ullrich |
| 2021 | PLDI | Perceus: garbage free reference counting with reuse. | Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen |
| 2020 | CADE | Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages. | Sebastian Ullrich, Leonardo de Moura |
| 2019 | APLAS | Mimalloc: Free List Sharding in Action. | Daan Leijen, Benjamin Zorn, Leonardo de Moura |
| 2019 | ICLR | Learning a SAT Solver from Single-Bit Supervision. | Daniel Selsam, Matthew Lamm, Benedikt Bnz, Percy Liang, Leonardo de Moura, David L. Dill |
| 2016 | CADE | Congruence Closure in Intensional Type Theory. | Daniel Selsam, Leonardo de Moura |
| 2016 | ISAIM | Formalizing Mathematics using the Lean Theorem Prover. | Leonardo de Moura |