Thomas Koehler

According to our database, Thomas Koehler authored at least 9 papers between 2020 and 2024.

Collaborative distances:

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

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