Current PhD Researchers
- Valéran Maytie: Optimizing LLMs via Sketch-Guided Polyhedral Compilation
Supervised together with Cedric Bastoul since October 2025 - Nicole Heinimann: Machine Learning for Equality Saturation
Co-supervised together with Michel Steuwer at TU Berlin since May 2024 - Rudi Schneider: Dealing with Binders in Equivalence Graphs
Co-supervised together with Michel Steuwer at TU Berlin since February 2024
Current Master Interns
- Julien François De Castelnau: Source-to-source Transformations for GPU Code Generation
Supervised together with Arthur Charguéraud since September 2025
Past Master Interns
- Valéran Maytie: Optimizing Programs with Sketch-Guided Polyhedral Compilation
Supervised together with Christophe Alias from Inria CASH from March 2025 to August 2025 - Erwan Tanguy-Legac: Combining Rise with OptiTrust: Reusing Memory after Functional Rewriting
Co-supervised together with Michel Steuwer at TU Berlin from April 2025 to July 2025 - Simon Björklund: Numerical Analysis and Optimization of Functional Array Programs
Co-supervised together with Eva Darulova at Uppsala University from January 2025 to June 2025 - Filip von Knorring: Exploring Accuracy and Performance Trade-offs in Functional Array Programs
Co-supervised together with Eva Darulova at Uppsala University from January 2025 to June 2025