Available Master Topics
- Optimizing Programs with Sketch-Guided Polyhedral Compilation
updated on 2024-09-26 - Exploring Accuracy and Performance Trade-offs in Functional Array Programs
updated on 2024-09-25 - Numerical Analysis and Optimization of Functional Array Programs
updated on 2024-09-25
Current PhD Students
- Rudi Schneider: Dealing with Binders in Equivalence Graphs
Co-supervised together with Michel Steuwer at TU Berlin since February 2024 - Nicole Heinimann: Machine Learning for Equality Saturation
Co-supervised together with Michel Steuwer at TU Berlin since May 2024