Sebastian Ullrich

According to our database, Sebastian Ullrich authored at least 10 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Lean: Past, Present, and Future (Invited Talk).

Sebastian Ullrich

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

An Extensible Theorem Proving Frontend.

Sebastian Ullrich

PhD thesis, 2023

2022

'do' unchained: embracing local imperativity in a purely functional language (functional pearl).

Sebastian Ullrich, Leonardo de Moura

Proc. ACM Program. Lang., 2022

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.

Sebastian Ullrich, Leonardo de Moura

Log. Methods Comput. Sci., 2022

2021

The Lean 4 Theorem Prover and Programming Language.

Leonardo de Moura, Sebastian Ullrich

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Tabled Typeclass Resolution.

Daniel Selsam, Sebastian Ullrich, Leonardo de Moura

CoRR, 2020

2019

Counting immutable beans: reference counting optimized for purely functional programming.

Sebastian Ullrich, Leonardo de Moura

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2017

A metaprogramming framework for formal verification.

Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura

Proc. ACM Program. Lang., 2017

2016

Verified Construction of Static Single Assignment Form.

Sebastian Ullrich, Denis Lohner

Arch. Formal Proofs, 2016

Verified construction of static single assignment form.

Sebastian Buchwald, Denis Lohner, Sebastian Ullrich

Proceedings of the 25th International Conference on Compiler Construction, 2016