- Local Time Stepping for the Finite Volume Method in ExaHyPE 2 — Bachelor's thesis, TU Munich
- Cooperative Concurrency: Formalization and Implementation via Algebraic Effects and Handlers — Programming language theory project
- Detecting Flaky Failures in Continuous Integration using Predictive Modeling — Software quality seminar paper
- Efficient Algorithms: Line Segment Intersection — Computational geometry paper