Sunday, June 3, 2012
Greetings from Oxford
I'm Luke Cartey, a 3rd year DPhil (PhD) student at the University of Oxford, working with Oege de Moor, my supervisor. My area of interest is language support for high-performance graphics cards - especially how we can generate efficient GPU programs from domain-specific languages.
I'm attending PLDI to present our paper, co-authored with Rune Lyngsoe, on "Synthesising Graphics Card Programs from DSLs". Working closely with Rune, a bioinformatician, we have come up with a high-level functional language for describing recursive problems in bioinformatics. This language can be augmented with a number of embedded extensions to support different applications.
In the paper we show how we can analyse this language to automatically identify and generate a parallel graphics card implementation that performs at a similar level to hand-coded GPU applications. The key to our technique is to keep our language simple, thus making it feasible to analyse the recursive dependencies. We use the polyhedral model to generate efficient code.
I'll be presenting our talk on Monday 11th June, in Session 2B - please do come along and find out more about our work!