Follow
Thomas Koehler
Title
Cited by
Cited by
Year
Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
B Hagedorn, J Lenfers, T Koehler, X Qin, S Gorlatch, M Steuwer
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020
55*2020
Energy and execution time comparison of optical flow algorithms on SIMD and GPU architectures
A Petreto, A Hennequin, T Koehler, T Romera, Y Fargeix, B Gaillard, ...
2018 Conference on Design and Architectures for Signal and Image Processing …, 2018
252018
Using Enterprise Architecture to Attain Full Benefits from Corporate Big Data while Refurbishing Legacy Work Systems.
T Koehler, S Alter
CBI (Industrial Track), 1-11, 2016
122016
Towards a domain-extensible compiler: optimizing an image processing pipeline on mobile CPUs
T Koehler, M Steuwer
2021 IEEE/ACM International Symposium on Code Generation and Optimization …, 2021
112021
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings
T Koehler, P Trinder, M Steuwer
arXiv preprint arXiv:2111.13040, 2021
10*2021
RISE & shine: Language-oriented compiler design
M Steuwer, T Koehler, B Köpcke, F Pizzuti
arXiv preprint arXiv:2201.03611, 2022
92022
Meteorix: a cubesat mission dedicated to the detection of meteors
N Rambaux, P Keckhut, A Hauchecorne, D Galayko, G Guignan, ...
42nd COSPAR Scientific Assembly 42, B0. 2-23-18, 2018
82018
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
A Petreto, A Hennequin, T Koehler, T Romera, Y Fargeix, B Gaillard, ...
Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2018), 2018
42018
Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies
B Hagedorn, J Lenfers, T Koehler, X Qin, S Gorlatch, M Steuwer
Communications of the ACM 66 (3), 89-97, 2023
22023
SHINE &
T Koehler, M Steuwer
22012
A domain-extensible compiler with controllable automation of optimisations
T Koehler
arXiv preprint arXiv:2212.12035, 2022
12022
Sketch-Guided Equality Saturation
T Koehler, P Trinder, M Steuwer
CoRR, 2022
12022
Guided Equality Saturation
T Koehler, A Goens, S Bhat, T Grosser, P Trinder, M Steuwer
Proceedings of the ACM on Programming Languages 8 (POPL), 1727-1758, 2024
2024
Source-to-Source Optimizations Validated using Separation Logic
G Bertholon, A Charguéraud, T Koehler
35es Journées Francophones des Langages Applicatifs (JFLA 2024), 2024
2024
Rewriting History: Repurposing Domain-Specific CGRAs
J Woodruff, T Koehler, A Brauckmann, C Cummins, S Ainsworth, ...
arXiv preprint arXiv:2309.09112, 2023
2023
OptiTrust: an Interactive Optimization Framework
T Koehler, A Charguéraud, B Bytyqi, D Rouhling, YA Barsamian
ARRAY 2023-Workshop-PLDI 2023, 2023
2023
Towards Image Processing on Embedded Hardware with Lift
T Kœhler
The system can't perform the operation now. Try again later.
Articles 1–17