I am a postdoc at the University of Copenhagen, where I work on data-parallel functional programming. My main work is on the language Futhark, which is available under a free software license. My work focuses on issues related to the interplay between high-level abstractions and their efficient realisation on concrete hardware. Specifically, I believe that functional programming provides a useful high-level vocabulary for expressing parallel computation, but that most existing functional languages are hampered in their performance potential by features that inhibit efficient code. I study how a high-level functional language can be designed from the ground up for efficient compilation to parallel code on efficient but "hostile" (in the sense of being hard to program) parallel hardware. Concretely, I have developed a small functional array language, Futhark and an optimising compiler that generates fairly efficient GPU code.
URLs for Troels Henriksen
No URLs found.
Events for Troels Henriksen
Futhark is a data-parallel programming language that has been invented to ease the programming of massively parallel computers, mostly notably GPUs. Futhark is a purely functional language, and so cannot in principle interact with the outside world at all. Since people like being able to write programs that actually do things, this presents a challenge. I will talk about how Futhark is actually usable in practice, and show what the programming experience is actually like with some live ha… Read more
- Aug. 13, 2019, 4 p.m. - Aug. 13, 2019, 5 p.m.