5 citations · 11 across the 5 of their papers we have counts for
3 papers · 1 filter
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…