I am a PhD student at the Software Technology Group. I am interested in programming languages, type systems, and differentiable programming.
Timon Böhler
Doctoral Researcher
| timon.boehler@tu-... | |
| Phone | +49 6151 16-25402 |
| Office | S2|02 B209 Hochschulstr. 10 64289 Darmstadt |
| Socials |
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
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