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

  • Neural-Guided Equation Discovery.
    Jannis Brugger, Mattia Cerrato, David Richter, Cedric Derstroff, Daniel Maninger, Mira Mezini, Stefan Kramer.
    arxiv

Publications

  • Extended Abstract: From Pattern Unification Towards Pattern Matching Unification.
    David Richter, Timon Böhler.
    TyDe 2026 @ FPW Paris | arxiv

  • Mechanizing Choreographic Programs and Hoare Logic with State Transformers.
    Timon Böhler, Simon Daniel, David Richter, Pascal Weisenburger, Mira Mezini.
    TyDe 2026 @ FPW Paris | arxiv

  • On Eliminating the Impossible with Dependent Types: Choreographic Libraries with Proof-Carrying Located Values.
    Simon Daniel, Timon Böhler, David Richter, Pascal Weisenburger, Mira Mezini.
    TyDe 2026 @ FPW Paris | arxiv

  • 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

  • Prompting Neural-Guided Equation Discovery Based on Residuals.
    Jannis Brugger, Viktor Pfanschilling, David Richter, Mira Mezini, Stefan Kramer.
    DS 2025 | 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 | github

  • 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