Paul Kelly

I lead the Software Performance Optimisation group within the Department of Computing, which in turn is part of the Programming Languages and Systems research section. I am co-Director of Imperial's Centre for Computational Methods in Science and Engineering, and also Director of Industrial Liaison for our Centre for Doctoral Training in High-performance Embedded and Distributed Systems (HiPEDS).

While I have worked in many areas of computer systems, the core of my current work is compiler technology. Much of my work aims to push the frontiers of compiler research through moving up the "food chain" - exploiting properties and opportunities special to particular classes of application. This has led me to engage deeply with collaborators in finite element methods, and computer vision.

Selected Publications

Journal Articles

• Luporini F, Lange M, Louboutin M, et al., 2020, Architecture and performance of Devito, a system for automated stencil computation, ACM Transactions on Mathematical Software, Vol:46, ISSN:0098-3500, Pages:1-24
• Mitchell L, Ham DA, McRae ATT, et al., 2017, Firedrake: automating the finite element method by composing abstractions, Acm Transactions on Mathematical Software, Vol:43, ISSN:1557-7295, Pages:1-27
• Kelly PHJ, Reguly IZ, Mudalige GR, et al., 2015, Acceleration of a Full-scale Industrial CFD Application with OP2, Ieee Transactions on Parallel and Distributed Systems, Vol:27, ISSN:1558-2183, Pages:1265-1278
• Luporini F, Varbanescu AL, Rathgeber F, et al., 2015, Cross-loop optimization of arithmetic intensity for finite element local assembly, Acm Transactions on Architecture and Code Optimization, Vol:11, ISSN:1544-3973
• Kelly PHJ, Russell FP, Wilkinson KA, et al., 2014, Optimised three-dimensional Fourier interpolation: An analysis of techniques and application to a linear-scaling density functional theory code, Computer Physics Communications, ISSN:1879-2944, Pages:8-19
• Collingbourne P, Cadar C, Kelly PHJ, 2014, Symbolic Crosschecking of Data-Parallel Floating-Point Code, IEEE Transactions on Software Engineering, Vol:40, ISSN:0098-5589, Pages:710-737
• Mudalige GR, Giles MB, Thiyagalingam J, et al., 2013, Design and Initial Performance of a High-level Unstructured Mesh Framework on Heterogeneous Parallel Systems, Parallel Computing, Vol:n/a, ISSN:0167-8191