- Rudi Schneider, Thomas Koehler, Michel Steuwer:
Slotted E-Graphs
EGRAPHS Workshop, PLDI Conference
2024-06 - Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler, Begatim Bytyqi, Damien Rouhling:
Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
SOAP Workshop, PLDI Conference
2024-06 - Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler:
Source-to-Source Optimizations Validated using Separation Logic
JFLA (Journées Francophones des Langages Applicatifs)
2024-01 - Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer:
Guided Equality Saturation
POPL (Symposium on Principles of Programming Languages)
2024-01 - Jackson Woodruff, Thomas Koehler, Alexander Brauckmann, Chris Cummins, Sam Ainsworth, Michael FP O'Boyle:
Rewriting History: Repurposing Domain-Specific CGRAs
arXiv
2023-09 - Thomas Koehler, Arthur Charguéraud, Begatim Bytyqi, Damien Rouhling, Yann Barsamian:
OptiTrust: an Interactive Optimization Framework
ARRAY Workshop, PLDI Conference
2023-03 - Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Xueying Qin, Sergei Gorlatch, Michel Steuwer:
Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies
CACM (Communications of the ACM Magazine)
2023-03 - Thomas Koehler:
A Domain-Extensible Compiler with Controllable Automation of Optimisations
PhD Thesis
2022-12 - Michel Steuwer, Thomas Koehler, Bastian Köpcke, Federico Pizzuti:
RISE & Shine: Language-Oriented Compiler Design
arXiv
2022-01 - 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
CGO (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
ICFP (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
DASIP (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
COMPAS (Conférence d'informatique en Parallélisme, Architecture et Système) @ Toulouse, France
2018-07