I am a PhD student at the Software Technology Group. I am interested in programming languages, type systems, and differentiable programming.

Publications

2024

Compiling with arrays (artifact).
Richter, Böhler, Weisenburger, Mezini, DARTS (2). 10.4230/darts.10.2.18

Compiling with arrays.
Richter, Böhler, Weisenburger, Mezini, ECOOP. 10.4230/lipics.ecoop.2024.33

Incrementalizing polynomial functors.
Böhler, Richter, Mezini, FTFJP. 10.1145/3678721.3686231

Stg-tud/ainf-compiling-with-arrays.
Richter, Böhler, Weisenburger, Mezini, 11. 10.4230/artifacts.22453

2023

A direct-style effect notation for sequential and parallel programs (artifact).
Richter, Böhler, Weisenburger, Mezini, DARTS (2). 10.4230/darts.9.2.17

A direct-style effect notation for sequential and parallel programs.
Richter, Böhler, Weisenburger, Mezini, ECOOP. 10.4230/lipics.ecoop.2023.25

Using rewrite strategies for efficient functional automatic differentiation.
Böhler, Richter, Mezini, FTFJP. 10.1145/3605156.3606456