Thomas Koehler

According to our database, Thomas Koehler authored at least 12 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Source-to-Source Transformations for GPU Code Generation.

Julien de Castelnau, Thomas Koehler, Arthur Charguéraud, Clément Pit-Claudel

CoRR, May, 2026

Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation.

Marcus Rossel, Rudi Schneider, Thomas Koehler, Michel Steuwer, Andrés Goens

Proc. ACM Program. Lang., 2026

2025

Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs.

Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andrés Goens, Thomas Koehler, Michel Steuwer

Proc. ACM Program. Lang., 2025

2024

Guided Equality Saturation.

Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer

Proc. ACM Program. Lang., January, 2024

Interactive Source-to-Source Optimizations Validated using Static Resource Analysis.

Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler, Begatim Bytyqi, Damien Rouhling

Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2024

2023

Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies.

Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Xueying Qin, Sergei Gorlatch, Michel Steuwer

Commun. ACM, March, 2023

2022

A domain-extensible compiler with controllable automation of optimisations.

Thomas Koehler

PhD thesis, 2022

RISE & Shine: Language-Oriented Compiler Design.

Michel Steuwer, Thomas Koehler, Bastian Köpcke, Federico Pizzuti

CoRR, 2022

2021

Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings.

Thomas Koehler, Phil Trinder, Michel Steuwer

CoRR, 2021

Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs.

Thomas Koehler, Michel Steuwer

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

2020

Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies.

Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Xueying Qin, Sergei Gorlatch, Michel Steuwer

Proc. ACM Program. Lang., 2020

A Language for Describing Optimization Strategies.

Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Sergei Gorlatch, Michel Steuwer

CoRR, 2020