Troels Henriksen
I am a PhD student 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.
I am employed as a PhD student at the Department of Computer Science at the University of Copenhagen. 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.
Links
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Purely Functional GPU Programming with Futhark | Saturday | H.2213 | HPC, Big Data and Data Science | 13:30 | 13:55 |