Troels Henriksen

Hacks on Futhark. Gotta go fast.

Troels Henriksen is assistant professor at the University of Copenhagen where he teaches students about things that are beautiful (functional programming) and tries to make things that are beautiful also go fast (by writing compilers for functional programming languages).

Futhark: A High-Performance Purely Functional Array Language

We give a presentation of the purely functional array language Futhark, supporting regular nested data-parallelism.

We demonstrate its application to two complicated problems, computing cluster means and Sobol sequences, and demonstrate how Futhark permits the programmer to express simultaneously all degrees of parallelism and efficient sequential code, giving freedom to the optimising compiler in how to organise the generated code.

We also evaluate the performance of the Futhark compiler on several benchmarks running on two different GPUs.

Slides
Video ←Back