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: "Archive of Formal Proofs"
  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 '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019"
  editor:
  - name: "Jurriën Stutterheim"
    link: "https://researchr.org/alias/jurri%C3%ABn-stutterheim"
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  publisher: "ACM"
  isbn: "978-1-4503-7562-7"
  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: "Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016"
  editor:
  - name: "Ayal Zaks"
    link: "https://researchr.org/alias/ayal-zaks"
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  publisher: "ACM"
  isbn: "978-1-4503-4241-4"
  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: "Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II"
  editor:
  - name: "Nicolas Peltier"
    link: "https://researchr.org/alias/nicolas-peltier"
  - name: "Viorica Sofronie-Stokkermans"
    link: "https://researchr.org/alias/viorica-sofronie-stokkermans"
  volume: "12167"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-51054-1"
  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: "Proceedings of the ACM on Programming Languages"
  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: "Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings"
  editor:
  - name: "André Platzer"
    link: "https://researchr.org/alias/andr%C3%A9-platzer"
  - name: "Geoff Sutcliffe"
    link: "https://researchr.org/alias/geoff-sutcliffe"
  volume: "12699"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-79876-5"
  kind: "inproceedings"
  key: "Moura021"