Sebastian Ullrich

13 papers A 1B 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2024 B conf
Lean: Past, Present, and Future (Invited Talk).
FSCD
Sebastian Ullrich
2023 — —
An Extensible Theorem Proving Frontend.
Sebastian Ullrich
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 J jnl
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.
Log. Methods Comput. Sci.
Sebastian Ullrich, Leonardo de Moura
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
Tabled Typeclass Resolution.
CoRR
Daniel Selsam, Sebastian Ullrich, Leonardo de Moura
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
2017 J jnl
A metaprogramming framework for formal verification.
Proc. ACM Program. Lang.
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura
2016 J jnl
Verified Construction of Static Single Assignment Form.
Arch. Formal Proofs
Sebastian Ullrich, Denis Lohner
2016 B conf
Verified construction of static single assignment form.
CC
Sebastian Buchwald, Denis Lohner, Sebastian Ullrich