A Language for Describing Optimization Strategies. - Bastian Hagedorn; Johannes Lenfers; Thomas Koehler 005; Sergei Gorlatch; Michel Steuwer (CoRR, 2020)

Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies. - Bastian Hagedorn; Johannes Lenfers; Thomas Koehler 005; Xueying Qin; Sergei Gorlatch; Michel Steuwer (Proc. ACM Program. Lang., 2020)

Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs. - Thomas Koehler 005; Michel Steuwer (CGO, 2021)

Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings. - Thomas Koehler 005; Phil Trinder; Michel Steuwer (CoRR, 2021)

RISE & Shine: Language-Oriented Compiler Design. - Michel Steuwer; Thomas Koehler 005; Bastian Köpcke; Federico Pizzuti (CoRR, 2022)

A domain-extensible compiler with controllable automation of optimisations. - Thomas Koehler 005 (2022)

Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies. - Bastian Hagedorn; Johannes Lenfers; Thomas Koehler 005; Xueying Qin; Sergei Gorlatch; Michel Steuwer (Commun. ACM, 2023)

Interactive Source-to-Source Optimizations Validated using Static Resource Analysis. - Guillaume Bertholon; Arthur Charguéraud; Thomas Koehler 005; Begatim Bytyqi; Damien Rouhling (SOAP@PLDI, 2024)

Guided Equality Saturation. - Thomas Koehler 005; Andrés Goens; Siddharth Bhat; Tobias Grosser; Phil Trinder; Michel Steuwer (Proc. ACM Program. Lang., 2024)

Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs. - Rudi Schneider; Marcus Rossel; Amir Shaikhha; Andrés Goens; Thomas Koehler 005; Michel Steuwer (Proc. ACM Program. Lang., 2025)