| The Lean 4 Theorem Prover and Programming Language (System Description) L de Moura, S Ullrich Proceedings of the 28th International Conference on Automated Deduction, 2021 | 230* | 2021 |
| A Metaprogramming Framework for Formal Verification G Ebner, S Ullrich, J Roesch, J Avigad, L de Moura Proceedings of the ACM on Programming Languages 1 (ICFP), 34, 2017 | 121 | 2017 |
| Counting immutable beans: Reference counting optimized for purely functional programming S Ullrich, L de Moura Proceedings of the 31st Symposium on Implementation and Application of …, 2019 | 37 | 2019 |
| Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages S Ullrich, L de Moura Logical Methods in Computer Science 18, 2022 | 32 | 2022 |
| Tabled typeclass resolution D Selsam, S Ullrich, L de Moura arXiv preprint arXiv:2001.04301, 2020 | 28 | 2020 |
| Simple Verification of Rust Programs via Functional Purification S Ullrich Karlsruhe Institute of Technology, 2016 | 26 | 2016 |
| Verified construction of static single assignment form S Buchwald, D Lohner, S Ullrich Proceedings of the 25th International Conference on Compiler Construction, 67-76, 2016 | 14 | 2016 |
| An Extensible Theorem Proving Frontend SA Ullrich Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2023, 2023 | 7 | 2023 |
| ‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language (Functional Pearl) S Ullrich, L de Moura Proceedings of the ACM on Programming Languages 6 (ICFP), 512–539, 2022 | 6 | 2022 |
| The Lean reference manual J Avigad, G Ebner, S Ullrich | 3 | 2017 |
| Verified Construction of Static Single Assignment Form S Ullrich, D Lohner Archive of Formal Proofs, 2016 | 2 | 2016 |
| Lean: Past, Present, and Future (Invited Talk) S Ullrich 9th International Conference on Formal Structures for Computation and …, 2024 | | 2024 |
| Beyond notations: Hygienic macro expansion for theorem proving languages S Ullrich, L de Moura International Joint Conference on Automated Reasoning, 167-182, 2020 | | 2020 |
Leonardo de MouraAmazon Web ServicesVerified email at amazon.com
