5 citations · 11 across the 5 of their papers we have counts for
6 papers
Source-to-Source Transformations for GPU Code Generation
Julien de Castelnau, Thomas Koehler, Arthur Charguéraud +1
GPUs have become essential in modern high performance computing, but programming them correctly remains a significant challenge. This difficulty arises from subtle concurrency bugs…
Rewriting History: Repurposing Domain-Specific CGRAs
Jackson Woodruff, Thomas Koehler, Alexander Brauckmann +3
Coarse-grained reconfigurable arrays (CGRAs) are domain-specific devices promising both the flexibility of FPGAs and the performance of ASICs. However, with restricted domains come…
A Domain-Extensible Compiler with Controllable Automation of Optimisations
Thomas Koehler
In high performance domains like image processing, physics simulation or machine learning, program performance is critical. Programmers called performance engineers are responsible…
RISE & Shine: Language-Oriented Compiler Design
Michel Steuwer, Thomas Koehler, Bastian Köpcke +1
The trend towards specialization of software and hardware - fuelled by the end of Moore's law and the still accelerating interest in domain-specific computing, such as machine lear…
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs
Thomas Koehler, Phil Trinder, Michel Steuwer
Generating high-performance code for diverse hardware and application domains is challenging. Functional array programming languages with patterns like map and reduce have been suc…
A Language for Describing Optimization Strategies
Bastian Hagedorn, Johannes Lenfers, Thomas Koehler +2
Optimizing programs to run efficiently on modern parallel hardware is hard but crucial for many applications. The predominantly used imperative languages - like C or OpenCL - force…