-
Thomas Koehler
Towards Interactive Program Optimization with Guaranteed Numerical Accuracy
9 octobre 2025 - 09:00Salle de conférences IRMA
On one hand, compilers successfully automate many important optimizations. On the other hand, compilers often miss critical optimizations, especially when they are general-purpose. A striking example of this is how compilers typically fail to reason about approximating exact arithmetic with finite precision number representations. Due to such compiler limitations, high-performance code is still commonly optimized by hand and packaged into optimized libraries, which is time-consuming and error-prone.
In the first part of this talk, I will present, at a high level, my ongoing work aimed at replacing manual optimization with an interactive optimization process that combines human expertise with compiler automation. In the second part of this talk, I will dive deeper into one strand of this work, which is aimed at combining program optimization with guaranteed numerical accuracy.
About the speaker : Since one year, I am a CNRS researcher in the CAMUS / ICPS team of ICube, in Strasbourg, France. Before joining CNRS, I was a postdoctoral researcher in the same team for almost two years. I received my PhD from the School of Computing Science at the University of Glasgow, in Scotland, supervised by Michel Steuwer and Phil Trinder. I received my Master from Sorbonne Université in Paris, France.
https://thok.eu/
https://www.ins2i.cnrs.fr/fr/cnrsinfo/thomas-koehler-et-loptimisation-de-programmes