Research

Preprints

• Choreographies First, Session Types Later: Decoupling Deadlock-Freedom from Endpoint Projection.
  Phillip Schuster, David Richter, Marius Müller, Jonathan I. Brachthäuser, Mira Mezini.
  preprint

• Verified Search For Inverse Functions, with an Application to Normalizing Flows.
  David Richter, Timon Böhler, Benedict Smit, Pascal Weisenburger, Mira Mezini.
  preprint

Publications

• DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types.
  Timon Böhler, Tobias Reinhard, David Richter, Mira Mezini.
  OOSPLA 2026 | paper | artifact | arxiv

• Compiling with Arrays.
  David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini.
  ECOOP 2024 | paper | artifact | github | arxiv
  🏅 Distinguished Paper

• Incrementalizing Polynomial Functors.
  Timon Böhler, David Richter, Mira Mezini.
  FTFJP 2024 | paper | artifact

• A Direct-Style Effect Notation for Sequential and Parallel Programs.
  David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini.
  ECOOP 2023 | paper | artfact | github | arxiv
  🏅 Distinguished Paper | 🏅 Distinguished Artifact

• Using Rewrite Strategies for Efficient Functional Automatic Differentiation.
  Timon Böhler, David Richter, Mira Mezini.
  FTfJP 2023 | paper | arxiv

• Prisma: A tierless language for enforcing contract-client protocols in decentralized apps.
  David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini.
  TOPLAS 2023 | paper | github | arxiv
  ECOOP 2022 | extended abstract | artifact

• Multiparty Languages: the Choreographic and Multitier Cases (Pearl).
  Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger.
  ECOOP 2021 | paper | video
  🏅 Distinguished Paper

• Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks.
  David Richter, Ragnar Mogk.
  REBLS 2019 | pdf

• From Debugging Towards Live Tuning of Reactive Applications.
  Ragnar Mogk, Pascal Weisenburger, Julian Haas, David Richter, Guido Salvaneschi, Mira Mezini.
  LIVE 2018 | pdf

Projects

• drx. Dynamic reactive programming without memory-leaks.
• bibcleany. Clean bibtex files by looking for matches on dblp.
• citet-without-natbib. LIPIcs doesnt allow citet, (e.g., \cref) so heres a preprocessor to do so nevertheless.
• Scala-Js-Games Fork. A fork of scala-js-games.
• beautiful-tucan. Inofficial week schedule for computer science students at TU Darmstadt.

Also, involved with REScala. Reactive programming in Scala.

See also

• DBLP
• Google Scholar
• researchr.org