- Thomas Koehler, Phil Trinder, Michel Steuwer:
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex
Optimizations in Languages with Bindings
arXiv
2021-11 arXiv library
- 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 20mn video
IEEE
library
- 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 ACM library
- 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 HAL archives
- 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 HAL archives