Leonardo de Moura

27 papers A* 1A 3B 2C 1Misc 1Journal 14Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
CSLib: The Lean Computer Science Library.
CoRR
Clark W. Barrett, Swarat Chaudhuri, Fabrizio Montesi, Jim Grundy, Pushmeet Kohli, Leonardo de Moura, Alexandre Rademaker, Sorrachai Yingchareonthawornchai
2022 J jnl
'do' unchained: embracing local imperativity in a purely functional language (functional pearl).
Proc. ACM Program. Lang.
Sebastian Ullrich, Leonardo de Moura
2022 B ed.
13th International Conference on Interactive Theorem Proving, ITP 2022, Haifa, Israel, August 7-10, 2022
ITP
June Andronick, Leonardo de Moura
2022 J jnl
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.
Log. Methods Comput. Sci.
Sebastian Ullrich, Leonardo de Moura
2021 A* conf
Perceus: garbage free reference counting with reuse.
PLDI
Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen
2021 A conf
The Lean 4 Theorem Prover and Programming Language.
CADE
Leonardo de Moura, Sebastian Ullrich
2020 — conf
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.
IJCAR (2)
Sebastian Ullrich, Leonardo de Moura
2020 J jnl
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.
CoRR
Sebastian Ullrich, Leonardo de Moura
2020 J jnl
Preface: Selected Extended Papers of CADE 2017.
J. Autom. Reason.
Leonardo de Moura
2020 J jnl
Sealing Pointer-Based Optimizations Behind Pure Functions.
CoRR
Daniel Selsam, Simon Hudon, Leonardo de Moura
2020 J jnl
Sealing pointer-based optimizations behind pure functions.
Proc. ACM Program. Lang.
Daniel Selsam, Simon Hudon, Leonardo de Moura
2020 J jnl
Tabled Typeclass Resolution.
CoRR
Daniel Selsam, Sebastian Ullrich, Leonardo de Moura
2020 J jnl
Universal Policies for Software-Defined MDPs.
CoRR
Daniel Selsam, Jesse Michael Han, Leonardo de Moura, Patrice Godefroid
2019 J jnl
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming.
CoRR
Sebastian Ullrich, Leonardo de Moura
2019 — conf
Counting immutable beans: reference counting optimized for purely functional programming.
IFL
Sebastian Ullrich, Leonardo de Moura
2019 — conf
Learning a SAT Solver from Single-Bit Supervision.
ICLR (Poster)
Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill
2019 B conf
Mimalloc: Free List Sharding in Action.
APLAS
Daan Leijen, Benjamin Zorn, Leonardo de Moura
2018 J jnl
Learning a SAT Solver from Single-Bit Supervision.
CoRR
Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill
2018 — conf
Programming Z3.
SETSS
Nikolaj S. Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph M. Wintersteiger
2017 J jnl
A metaprogramming framework for formal verification.
Proc. ACM Program. Lang.
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura
2017 A ed.
Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
CADE
Leonardo de Moura
2017 J jnl
Congruence Closure in Intensional Type Theory.
CoRR
Daniel Selsam, Leonardo de Moura
2016 A conf
Congruence Closure in Intensional Type Theory.
IJCAR
Daniel Selsam, Leonardo de Moura
2016 Misc conf
Formalizing Mathematics using the Lean Theorem Prover.
ISAIM
Leonardo de Moura
2016 C ed.
Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
CICM
Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de Moura, Frank Wm. Tompa
2015 — ed.
4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014
PAAR@IJCAR
Stephan Schulz, Leonardo de Moura, Boris Konev
2012 J jnl
Solving non-linear arithmetic.
ACM Commun. Comput. Algebra
Dejan Jovanovic, Leonardo de Moura