Troels Henriksen

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

Computers are all about computational performance. There is nothing your computer can do that a human could not also do. The only advantage of the computer is that it does it much faster (and cheaper). However, modern computers are difficult to program if we actually want to take advantage of their potential. There are a variety of reasons for that: the need for significant amounts of parallelism, performance booby traps that must be avoided, and the memory wall. The situation … Read more


Schedule:

  • Friday, Aug 17th, 2018, 13:00 (CEST) - Friday, Aug 17th, 2018, 14:00 (CEST)