BSc Thesis Defense by Anna Sofie Kiehn and Henrik Urms – University of Copenhagen

BSc Thesis Defense by Anna Sofie Kiehn and Henrik Urms

Compiling TAIL to Futhark - An adventure in compiling functional data-parallel constructs

Abstract

We present an implementation independent scheme for compiling a subset of the intermediate array language TAIL to the functional programming language Futhark, preserving the data parallelism of the host language by using built-in data parallel functions in the target language to express the TAIL operations. We also present an implementation of the compilation scheme using this implementation to demonstrate the usefulness of compiling TAIL to Futhark by comparing the execution time of selected benchmarks on sequential back-ends to both languages. 

Supervisor: Martin Elsman

Censor: Mads Rosendahl, RUC