Paul Kelly

Towards cross-domain domain-specific compiler architecture

Domain-specific languages enable the compiler to understand more about what you are trying to do.  If we get it right, DSLs enable us, at the same time, both to boost programmer productivity and also to automate sophisticated domain-specific optimisations that would be hard to do by hand - yet are essential to achieving efficient use of the hardware.  DSLs are power tools for performance programming.  This talk will offer some of our experience in building DSLs that deliver productivity, performance and performance portability.  DSLs enable us to find the right representation for a program so that complex optimisations turn out to be easy. This is compiler architecture.  This talk will try to map out how to design domain-specific compiler architecture to expose and build on representations that are common across different DSLs.

back to overview

Watch Recording



Paul H J Kelly leads the Software Performance Optimisation research group in the Department of Computing at Imperial College London. He has worked in architecture, cache coherency, operating systems, static analysis and algorithms; his main research focus is compiler technology - automated delivery of domain-specific performance optimisations, in particular in computational science and robot vision.  He graduated with a BSc in Computer Science at University College London in 1983, and with a PhD at Westfield College, University of London, in 1987.  He has been on the faculty at Imperial since 1989.