Séminaire interdisciplinaire ITI IRMIA++

Le prochain séminaire interdisciplinaire de l’ITI IRMIA++ aura lieu le jeudi 9 octobre à 9h et sera animé par Thomas Koehler.

Ce séminaire, donné en anglais, sera un moment privilégié d’échanges entre membres de l’ITI et se poursuivra autour d’une pause conviviale avec thé, café et gâteaux.

Informations (en anglais) sur l’orateur et sa présentation ci-dessous.

Title : Towards Interactive Program Optimization with Guaranteed Numerical Accuracy

Abstract : 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.