- Thomas Koehler:
A Domain-Extensible Compiler with Controllable Automation of Optimisations
PhD Thesis
2022-12 - Thomas Koehler, Phil Trinder, Michel Steuwer:
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings
arXiv
2021-11 - Thomas Koehler, Michel Steuwer:
Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs
International Symposium on Code Generation and Optimization
2021-02 - Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Xueying Qin, Sergei
Gorlatch, Michel Steuwer:
Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies
International Conference on Functional Programming
2020-08 - Andrea Petreto, Arthur Hennequin, Thomas Koehler, Thomas Romera, Yohan Fargeix, Boris Gaillard, Manuel Bouyer, Quentin Meunier, Lionel Lacassagne:
Energy and Execution Time Comparison of Optical Flow Algorithms on SIMD and GPU Architectures
Conference on Design and Architectures for Signal and Image Processing @ Porto, Portugal
2018-08 - Andrea Petreto, Arthur Hennequin, Thomas Koehler, Thomas Romera, Yohan Fargeix, Boris Gaillard, Manuel Bouyer, Quentin Meunier, Lionel Lacassagne:
Comparaison de la consommation énergétique et du temps d'exécution d'un algorithme de traitement d'images optimisé sur des architectures SIMD et GPU
Conférence d'informatique en Parallélisme, Architecture et Système @ Toulouse, France
2018-07