ECOOP 2024
David Richter
Hi!
I am interested in programming language theory and practice, and correct and efficient compilers for domain-specific languages using functional programming and strong types. Usually, I write Lean proofs or Scala programs.
You can find my email at my university page, or in any of my published papers.
TU Darmstadt
Research Projects
My work develops functional domain-specific languages together with their compilers, and proves the guarantees that matter (preserved semantics and parallelism, deadlock freedom, sound incremental updates), mostly mechanized in Lean or Coq. The four projects below apply this approach to different domains. See Publications for the full list, and the CV for courses and supervised theses.
Choreographic Programming
Write a whole distributed system as one script, and let the compiler split it up.
Array & Differentiable Programming
Compilers for machine learning: derive and prove what ML frameworks hard-code.
Incremental & Reactive Programming
Compilers that turn plain functional code into computations that redo only what changed.
Effects & Type Theory
Notations and type checkers that let programmers write what they mean, and still check it.
Collaborators
Timon Böhler
Jonathan I. Brachthäuser
Jannis Brugger
Mattia Cerrato
Simon Daniel
Cedric Derstroff
Sebastian Faust
Saverio Giallorenzo
Julian Haas
Iurii Khosoi
Stefan Kramer
David Kretzler
Daniel Maninger
Mira Mezini
Ragnar Mogk
Fabrizio Montesi
Marius Müller
Marco Peressotti
Viktor Pfanschilling
Tobias Reinhard
Guido Salvaneschi
Phillip Schuster
Benedict Smit
Pascal Weisenburger
Awards
ECOOP 2024
🏅 Distinguished Paper, Compiling with Arrays
ECOOP 2023
🏅 Distinguished Paper & Distinguished Artifact, A Direct-Style Effect Notation for Sequential and Parallel Programs
ECOOP 2021
🏅 Distinguished Paper, Multiparty Languages: the Choreographic and Multitier Cases
Academic Service
TOPLAS'26
Reviewer, ACM Transactions on Programming Languages and Systems
CP'26
Program Committee, Choreographic Programming Workshop
ECOOP'24
Extended Review Committee and Artifact Evaluation Committee.
🏅 Distinguished Artifact Reviewer
ECOOP'23
Scala'20
Publicity Chair, 11th ACM SIGPLAN Scala Symposium