We stand with Ukraine  

Sebastian Ullrich

Orcid: 0000-0002-2777-8117

Affiliations:
  • Karlsruhe Institute of Technology (KIT), Germany


According to our database1, Sebastian Ullrich authored at least 9 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
An Extensible Theorem Proving Frontend.
[BibTeX]
[DOI]
Sebastian Ullrich
PhD thesis, 2023

2022
'do' unchained: embracing local imperativity in a purely functional language (functional pearl).
[BibTeX]
[DOI]
Sebastian Ullrich
,
Leonardo de Moura
Proc. ACM Program. Lang., 2022

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.
[BibTeX]
[DOI]
Sebastian Ullrich
,
Leonardo de Moura
Log. Methods Comput. Sci., 2022

2021
The Lean 4 Theorem Prover and Programming Language.
[BibTeX]
[DOI]
Leonardo de Moura
,
Sebastian Ullrich
Proceedings of the Automated Deduction - CADE 28, 2021

2020
Tabled Typeclass Resolution.
[BibTeX]
[DOI]
Daniel Selsam
,
Sebastian Ullrich
,
Leonardo de Moura
CoRR, 2020

2019
Counting immutable beans: reference counting optimized for purely functional programming.
[BibTeX]
[DOI]
Sebastian Ullrich
,
Leonardo de Moura
Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2017
A metaprogramming framework for formal verification.
[BibTeX]
[DOI]
Gabriel Ebner
,
Sebastian Ullrich
,
Jared Roesch
,
Jeremy Avigad
,
Leonardo de Moura
Proc. ACM Program. Lang., 2017

2016
Verified Construction of Static Single Assignment Form.
[BibTeX]
[DOI]
Sebastian Ullrich
,
Denis Lohner
Arch. Formal Proofs, 2016

Verified construction of static single assignment form.
[BibTeX]
[DOI]
Sebastian Buchwald
,
Denis Lohner
,
Sebastian Ullrich
Proceedings of the 25th International Conference on Compiler Construction, 2016


  Loading...