This workshop will cover design and implementation of Halide, a domain-specific language and compiler for image processing and stencil computation, for people interested in using and building on it as a highly configurable code generator. As a language now in widespread production use, Halide is an interesting and high-impact platform for research on program transformation and code generation; as a language with explicit algebraic control over a wide range of loop synthesis and code generation strategies, it is a powerful backend for other languages and systems, especially those including stencil computation.

Topics:

• The Halide programming model
• Halide’s model of scheduling for loop synthesis
• Examples of program transformation and synthesis via Halide schedules
• Code generation in Halide
• Mapping to the GPU and heterogeneous parallel execution via Halide schedules
• Hands-on session with Halide, focussed on scheduling and code generation