Thomas Koehler

Orcid: 0000-0001-8461-8075

Affiliations:

INRIA, Strasbourg, France
University of Glasgow, UK (PhD)

According to our database¹, Thomas Koehler authored at least 10 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

2024

Guided Equality Saturation.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2024

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Commun. ACM, March, 2023

2022

A domain-extensible compiler with controllable automation of optimisations.

[BibT_eX]

[DOI]

Thomas Koehler

PhD thesis, 2022

RISE & Shine: Language-Oriented Compiler Design.

[BibT_eX]

[DOI]

CoRR, 2022

2021

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

[BibT_eX]

[DOI]

Thomas Koehler

Phil Trinder

Michel Steuwer

CoRR, 2021

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

A Language for Describing Optimization Strategies.

[BibT_eX]

[DOI]

CoRR, 2020

Thomas Koehler

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...