5 citations · 11 across the 5 of their papers we have counts for
5 papers
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…
Row-Polymorphic Types for Strategic Rewriting
Rongxiao Fu, Xueying Qin, Ornela Dardha +1
We present a type system for strategy languages that express program transformations as compositions of rewrite rules. Our row-polymorphic type system assists compiler engineers to…
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…
Strategy Preserving Compilation for Parallel Functional Code
Robert Atkey, Michel Steuwer, Sam Lindley +1
Graphics Processing Units (GPUs) and other parallel devices are widely available and have the potential for accelerating a wide class of algorithms. However, expert programming ski…
Patterns and Rewrite Rules for Systematic Code Generation (From High-Level Functional Patterns to High-Performance OpenCL Code)
Michel Steuwer, Christian Fensch, Christophe Dubach
Computing systems have become increasingly complex with the emergence of heterogeneous hardware combining multicore CPUs and GPUs. These parallel systems exhibit tremendous computa…