Sign in
Thomas Koehler
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Optimization Strategies
High Reliability
Information Retrieval
Scientific Computing
Top Venues
Proc. ACM Program. Lang.
Commun. ACM
</>
Publications
</>
Thomas Koehler
,
Andrés Goens
,
Siddharth Bhat
,
Tobias Grosser
,
Phil Trinder
,
Michel Steuwer
Guided Equality Saturation.
Proc. ACM Program. Lang.
8 (POPL) (2024)
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.
Commun. ACM
66 (3) (2023)