publications:
- title: "Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming"
  author:
  - name: "Sebastian Ullrich"
    link: "https://pp.ipd.kit.edu/~ullrich/?lang=en"
  - name: "Leonardo de Moura"
    link: "https://researchr.org/alias/leonardo-de-moura"
  year: "2019"
  links:
    "url": "http://arxiv.org/abs/1908.05647"
  researchr: "https://researchr.org/publication/DBLP%3Ajournals-corr-abs-1908-05647"
  cites: 0
  citedby: 0
  journal: "CoRR"
  volume: "abs/1908.05647"
  kind: "article"
  key: "DBLP:journals-corr-abs-1908-05647"
- title: "Verified Construction of Static Single Assignment Form"
  author:
  - name: "Sebastian Ullrich"
    link: "https://pp.ipd.kit.edu/~ullrich/?lang=en"
  - name: "Denis Lohner"
    link: "https://researchr.org/alias/denis-lohner"
  year: "2016"
  doi: "http://afp.sourceforge.net/entries/Formal_SSA.shtml"
  links:
    doi: "http://afp.sourceforge.net/entries/Formal_SSA.shtml"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/afp/UllrichL16"
  researchr: "https://researchr.org/publication/UllrichL16"
  cites: 0
  citedby: 0
  journal: "afp"
  volume: "2016"
  kind: "article"
  key: "UllrichL16"
- title: "Counting immutable beans: reference counting optimized for purely functional programming"
  author:
  - name: "Sebastian Ullrich"
    link: "https://pp.ipd.kit.edu/~ullrich/?lang=en"
  - name: "Leonardo de Moura"
    link: "https://researchr.org/alias/leonardo-de-moura"
  year: "2019"
  doi: "https://doi.org/10.1145/3412932.3412935"
  links:
    doi: "https://doi.org/10.1145/3412932.3412935"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/0002M19"
  researchr: "https://researchr.org/publication/0002M19-1"
  cites: 0
  citedby: 0
  booktitle: "IFL"
  kind: "inproceedings"
  key: "0002M19-1"
- title: "Verified construction of static single assignment form"
  author:
  - name: "Sebastian Buchwald"
    link: "https://researchr.org/alias/sebastian-buchwald"
  - name: "Denis Lohner"
    link: "https://researchr.org/alias/denis-lohner"
  - name: "Sebastian Ullrich"
    link: "https://pp.ipd.kit.edu/~ullrich/?lang=en"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2892208.2892211"
  links:
    doi: "http://doi.acm.org/10.1145/2892208.2892211"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cc/BuchwaldLU16"
  researchr: "https://researchr.org/publication/BuchwaldLU16"
  cites: 0
  citedby: 0
  pages: "67-76"
  booktitle: "CC"
  kind: "inproceedings"
  key: "BuchwaldLU16"
- title: "Tabled Typeclass Resolution"
  author:
  - name: "Daniel Selsam"
    link: "https://researchr.org/alias/daniel-selsam"
  - name: "Sebastian Ullrich"
    link: "https://pp.ipd.kit.edu/~ullrich/?lang=en"
  - name: "Leonardo de Moura"
    link: "https://researchr.org/alias/leonardo-de-moura"
  year: "2020"
  links:
    "url": "https://arxiv.org/abs/2001.04301"
  researchr: "https://researchr.org/publication/DBLP%3Ajournals-corr-abs-2001-04301"
  cites: 0
  citedby: 0
  journal: "CoRR"
  volume: "abs/2001.04301"
  kind: "article"
  key: "DBLP:journals-corr-abs-2001-04301"
- title: "Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages"
  author:
  - name: "Sebastian Ullrich"
    link: "https://pp.ipd.kit.edu/~ullrich/?lang=en"
  - name: "Leonardo de Moura"
    link: "https://researchr.org/alias/leonardo-de-moura"
  year: "2020"
  doi: "https://doi.org/10.1007/978-3-030-51054-1_10"
  links:
    doi: "https://doi.org/10.1007/978-3-030-51054-1_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/0002M20"
  researchr: "https://researchr.org/publication/0002M20-2"
  cites: 0
  citedby: 0
  pages: "167-182"
  booktitle: "cade"
  kind: "inproceedings"
  key: "0002M20-2"
- title: "A metaprogramming framework for formal verification"
  author:
  - name: "Gabriel Ebner"
    link: "https://researchr.org/alias/gabriel-ebner"
  - name: "Sebastian Ullrich"
    link: "https://pp.ipd.kit.edu/~ullrich/?lang=en"
  - name: "Jared Roesch"
    link: "https://researchr.org/alias/jared-roesch"
  - name: "Jeremy Avigad"
    link: "https://researchr.org/alias/jeremy-avigad"
  - name: "Leonardo de Moura"
    link: "https://researchr.org/alias/leonardo-de-moura"
  year: "2017"
  doi: "http://doi.acm.org/10.1145/3110278"
  links:
    doi: "http://doi.acm.org/10.1145/3110278"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/EbnerURAM17"
  researchr: "https://researchr.org/publication/EbnerURAM17"
  cites: 0
  citedby: 0
  journal: "PACMPL"
  volume: "1"
  number: "ICFP"
  kind: "article"
  key: "EbnerURAM17"
- title: "The Lean 4 Theorem Prover and Programming Language"
  author:
  - name: "Leonardo de Moura"
    link: "https://researchr.org/alias/leonardo-de-moura"
  - name: "Sebastian Ullrich"
    link: "https://pp.ipd.kit.edu/~ullrich/?lang=en"
  year: "2021"
  doi: "https://doi.org/10.1007/978-3-030-79876-5_37"
  links:
    doi: "https://doi.org/10.1007/978-3-030-79876-5_37"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/Moura021"
  researchr: "https://researchr.org/publication/Moura021"
  cites: 0
  citedby: 0
  pages: "625-635"
  booktitle: "cade"
  kind: "inproceedings"
  key: "Moura021"