COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer. - Paul Anderson 001; Chris Hankin; Paul H. J. Kelly; Peter Osmon; Malcolm J. Shute (PARLE (1), 1987)

The Feasibility of a General-purpose Parallel Computing using WSI. - Paul Anderson 001; Paul H. J. Kelly; Phil Winterbottom (PARLE (1), 1989)

Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract). - David Bolton; Chris Hankin; Paul H. J. Kelly (PARLE (1), 1989)

The feasibility of a general-purpose parallel computer using WSI. - Paul Anderson 001; Paul H. J. Kelly; Phil Winterbottom (Future Gener. Comput. Syst., 1990)

Parallel object-oriented descriptions of graph reduction machines. - David Bolton; Chris Hankin; Paul H. J. Kelly (Future Gener. Comput. Syst., 1990)

Design and Implementation of an Object-Oriented 64-bit Single Address Space Microkernel. - Kevin Murray 001; Tim Wilkinson; Peter Osmon; Ashley Saulsbury; Tom Stiemerling; Paul H. J. Kelly (USENIX Microkernels and Other Kernel Architectures Symposium, 1993)

Localtiy and False Sharing in Coherent-Cache Parallel Graph Reduction. - Andrew J. Bennett; Paul H. J. Kelly (PARLE, 1993)

Parallel Programming Using Skeleton Functions. - John Darlington; A. J. Field; Peter G. Harrison; Paul H. J. Kelly; David W. N. Sharp; Qian Wu (PARLE, 1993)

Angel: Resource Unification in a.64-bit Microkernel. - Kevin Murray 001; Tim Wilkinson; Tom Stiemerling; Paul H. J. Kelly (HICSS (2), 1994)

Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction. - Andrew J. Bennett; Paul H. J. Kelly (PARLE, 1994)

Derivation and performance of a pipelined transaction processor. - Andrew J. Bennett; Paul H. J. Kelly; Ross A. Paterson (SPDP, 1994)

Paragon specifications: Structure, analysis and implementation. - Paul Anderson 001; David Bolton; Paul H. J. Kelly (Future Gener. Comput. Syst., 1994)

Implementing functional languages : S Peyton Jones and D Lester Prentice-Hall UK (1992) 281 pp £22.95 ISBN 0 13 721952 0. - Paul H. J. Kelly (Inf. Softw. Technol., 1994)

A Lazy, Self-optimizing Parallel Matrix Library. - Simon Govier; Paul H. J. Kelly (Functional Programming, 1995)

Using Proxies to Reduce Controller Contention in Large Shared-Memory Multiprocessors. - Andrew J. Bennett; Paul H. J. Kelly; Jacob G. Refstrup; Sarah A. M. Talbot (Euro-Par, Vol. II, 1996)

Cautions, Machine-Independent Performance Tuning for Shared-Memory Multiprocessors. - Sarah A. M. Talbot; Andrew J. Bennett; Paul H. J. Kelly (Euro-Par, Vol. I, 1996)

Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. - Richard W. M. Jones; Paul H. J. Kelly (AADEBUG, 1997)

Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries (Extended Abstract). - Olav Beckmann; Paul H. J. Kelly (Euro-Par, 1997)

M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applictions. - Qian Wu; A. J. Field; Paul H. J. Kelly (Euro-Par, 1997)

Efficient shared-memory support for parallel graph reduction. - Andrew J. Bennett; Paul H. J. Kelly (Future Gener. Comput. Syst., 1997)

Data Distribution at Run-Time: Re-using Execution Plans. - Olav Beckmann; Paul H. J. Kelly (Euro-Par, 1998)

Reactive Proxies: A Flexible Protocol Extension to Reduce ccNUMA Node Controller Contention. - Sarah A. M. Talbot; Paul H. J. Kelly (Euro-Par, 1998)

Efficient Interprocedural Data Placement Optimisation in a Parallel Library. - Olav Beckmann; Paul H. J. Kelly (LCR, 1998)

A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs. - Olav Beckmann; Paul H. J. Kelly (LCPC, 1999)

Programming Languages, Models, and Methods. - Paul H. J. Kelly; Sergei Gorlatch; Scott B. Baden; Vladimir Getov (Euro-Par, 2000)

Adaptive Proxies: Handling Widely-Shared Data in Shared-Memory Multiprocessors (Research Note). - Sarah A. M. Talbot; Paul H. J. Kelly (Euro-Par, 2000)

Run-Time Fusion of MPI Calls in a Parallel C++ Library. - A. J. Field; Thomas L. Hansen; Paul H. J. Kelly (LCPC, 2000)

Topic 10: Parallel Programming: Models, Methods and Programming Languages. - Scott B. Baden; Paul H. J. Kelly; Sergei Gorlatch; Calvin Lin (Euro-Par, 2001)

Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence. - Andrew J. Bennett; Paul H. J. Kelly; Ross A. Paterson (J. Funct. Program., 2001)

THEMIS: Component Dependence Metadata in Adaptive Parallel Applications. - Paul H. J. Kelly; Olav Beckmann; Tony Field; Scott B. Baden (Parallel Process. Lett., 2001)

GILK: A Dynamic Instrumentation Tool for the Linux Kernel. - David J. Pearce 001; Paul H. J. Kelly; Tony Field; Uli Harder (Computer Performance Evaluation / TOOLS, 2002)

Optimising Shared Reduction Variables in MPI Programs. - A. J. Field; Paul H. J. Kelly; Thomas L. Hansen (Euro-Par, 2002)

Instant-Access Cycle-Stealing for Parallel Applications Requiring Interactive Response. - Paul H. J. Kelly; Susanna Pelagatti; M. Rossiter (Euro-Par, 2002)

Delayed Evaluation, Self-optimising Software Components as a Programming Model. - Peter Liniker; Olav Beckmann; Paul H. J. Kelly (Euro-Par, 2002)

Is Morton Layout Competitive for Large Two-Dimensional Arrays? - Jeyarajan Thiyagalingam; Paul H. J. Kelly (Euro-Par, 2002)

Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation. - Olav Beckmann; Alastair Houghton; Michael R. Mellor; Paul H. J. Kelly (Domain-Specific Program Generation, 2003)

Improving the Performance of Morton Layout by Array Alignment and Loop Unrolling: Reducing the Price of Naivety. - Jeyarajan Thiyagalingam; Olav Beckmann; Paul H. J. Kelly (LCPC, 2003)

Optimising Java RMI Programs by Communication Restructuring. - Kwok Cheung Yeung; Paul H. J. Kelly (Middleware, 2003)

Online Cycle Detection and Difference Propagation for Pointer Analysis. - David J. Pearce 001; Paul H. J. Kelly; Chris Hankin (SCAM, 2003)

Search strategies for Java bottleneck location by dynamic instrumentation. - Douglas J. Brear; Thibaut Weise; Tim Wiffen; Kwok Cheung Yeung; Sarah A. M. Bennett; Paul H. J. Kelly (IEE Proc. Softw., 2003)

MEProf: modular extensible profiling for Eclipse. - Marc Hull; Olav Beckmann; Paul H. J. Kelly (eTX, 2004)

Topic 10: Parallel Programming: Models, Methods and Programming Languages. - Paul H. J. Kelly; Sergei Gorlatch; Christoph W. Kessler; Daniel J. Quinlan (Euro-Par, 2004)

Overcoming barriers to restructuring in a modular visualisation environment. - Olav Beckmann; Anthony J. Field; Gerard Gorman; Andrew Huff; Marc Hull; Paul H. J. Kelly (LCR, 2004)

A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs. - David J. Pearce 001; Paul H. J. Kelly (WEA, 2004)

Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. - David J. Pearce 001; Paul H. J. Kelly; Chris Hankin (Softw. Qual. J., 2004)

A Domain-Specific Interpreter for Parallelizing a Large Mixed-Language Visualisation Application. - Karen Osmond; Olav Beckmann; Tony Field; Paul H. J. Kelly (LCPC, 2005)

Minimizing Associativity Conflicts in Morton Layout. - Jeyarajan Thiyagalingam; Olav Beckmann; Paul H. J. Kelly (PPAM, 2005)

Generative and Adaptive Methods in Performance Programming. - Paul H. J. Kelly; Olav Beckmann (Parallel Process. Lett., 2005)

Topic 4: Compilers for High Performance. - William Jalby; Oscar G. Plata; Barbara M. Chapman; Paul H. J. Kelly (Euro-Par, 2006)

Automatically translating a general purpose C++ image processing library for GPUs. - Jay L. T. Cornwall; Olav Beckmann; Paul H. J. Kelly (IPDPS, 2006)

Is Morton layout competitive for large two-dimensional arrays yet? - Jeyarajan Thiyagalingam; Olav Beckmann; Paul H. J. Kelly (Concurr. Comput. Pract. Exp., 2006)

Performance prediction of paging workloads using lightweight tracing. - Ariel Nahum Burton; Paul H. J. Kelly (Future Gener. Comput. Syst., 2006)

A dynamic topological sort algorithm for directed acyclic graphs. - David J. Pearce 001; Paul H. J. Kelly (ACM J. Exp. Algorithmics, 2006)

A Declarative Framework for Analysis and Optimization. - Henry Falconer; Paul H. J. Kelly; David M. Ingram; Michael R. Mellor; Tony Field; Olav Beckmann (CC, 2007)

Explicit Dependence Metadata in an Active Visual Effects Library. - Jay L. T. Cornwall; Paul H. J. Kelly; Phil Parsonage; Bruno Nicoletti (LCPC, 2007)

Profiling with AspectJ. - David J. Pearce 001; Matthew Webster; Robert F. Berry; Paul H. J. Kelly (Softw. Pract. Exp., 2007)

Efficient field-sensitive pointer analysis of C. - David J. Pearce 001; Paul H. J. Kelly; Chris Hankin (ACM Trans. Program. Lang. Syst., 2007)

Inference of Session Types From Control Flow. - Peter Collingbourne; Paul H. J. Kelly (FESCA@ETAPS, 2008)

High-performance SIMT code generation in an active visual effects library. - Jay L. T. Cornwall; Lee W. Howes; Paul H. J. Kelly; Phil Parsonage; Bruno Nicoletti (Conf. Computing Frontiers, 2009)

Towards Metaprogramming for Parallel Systems on a Chip. - Lee W. Howes; Anton Lokhmotov; Alastair F. Donaldson; Paul H. J. Kelly (Euro-Par Workshops, 2009)

Deriving Efficient Data Movement from Decoupled Access/Execute Specifications. - Lee W. Howes; Anton Lokhmotov; Alastair F. Donaldson; Paul H. J. Kelly (HiPEAC, 2009)

A batch algorithm for maintaining a topological order. - David J. Pearce 001; Paul H. J. Kelly (ACSC, 2010)

Towards generating optimised finite element solvers for GPUs from high-level specifications. - Graham R. Markall; David A. Ham; Paul H. J. Kelly (ICCS, 2010)

Loop-Directed Mothballing: Power-gating execution units using fast analysis of inner loops. - C. A. Court; Paul H. J. Kelly (COOL Chips, 2011)

Design and Performance of the OP2 Library for Unstructured Mesh Applications. - Carlo Bertolli; Adam Betts; Gihan R. Mudalige; Mike B. Giles; Paul H. J. Kelly (Euro-Par Workshops (1), 2011)

Accelerating Anisotropic Mesh Adaptivity on nVIDIA's CUDA Using Texture Interpolation. - Georgios Rokos; Gerard Gorman; Paul H. J. Kelly (Euro-Par (2), 2011)

Symbolic crosschecking of floating-point and SIMD code. - Peter Collingbourne; Cristian Cadar; Paul H. J. Kelly (EuroSys, 2011)

Symbolic Testing of OpenCL Code. - Peter Collingbourne; Cristian Cadar; Paul H. J. Kelly (Haifa Verification Conference, 2011)

DESOLA: An active linear algebra library using delayed evaluation and runtime code generation. - Francis P. Russell; Michael R. Mellor; Paul H. J. Kelly; Olav Beckmann (Sci. Comput. Program., 2011)

Performance analysis of the OP2 framework on many-core architectures. - Mike B. Giles; Gihan R. Mudalige; Z. Sharif; Graham R. Markall; Paul H. J. Kelly (SIGMETRICS Perform. Evaluation Rev., 2011)

Mesh independent loop fusion for unstructured mesh applications. - Carlo Bertolli; Adam Betts; Paul H. J. Kelly; Gihan R. Mudalige; Mike B. Giles (Conf. Computing Frontiers, 2012)

Using domain-specific languages and access-execute descriptors to expand the parallel code synthesis design space: keynote talk. - Paul H. J. Kelly (FHPC@ICFP, 2012)

Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs. - Carlo Bertolli; Adam Betts; Nicolas Loriant; Gihan R. Mudalige; David Radford; David A. Ham; Mike B. Giles; Paul H. J. Kelly (LCPC, 2012)

An Analytical Study of Loop Tiling for a Large-Scale Unstructured Mesh Application. - Mike B. Giles; Gihan R. Mudalige; Carlo Bertolli; Paul H. J. Kelly; Endre László; I. Z. Reguly (SC Companion, 2012)

PyOP2: A High-Level Framework for Performance-Portable Simulations on Unstructured Meshes. - Florian Rathgeber; Graham R. Markall; Lawrence Mitchell; Nicolas Loriant; David A. Ham; Carlo Bertolli; Paul H. J. Kelly (SC Companion, 2012)

Performance Analysis and Optimization of the OP2 Framework on Many-Core Architectures. - Mike B. Giles; Gihan R. Mudalige; Z. Sharif; Graham R. Markall; Paul H. J. Kelly (Comput. J., 2012)

Guest Editorial: Computing Frontiers. - Hubertus Franke; Paul H. J. Kelly; Pedro Trancoso (Int. J. Parallel Program., 2012)

Improving communication latency with the write-only architecture. - Simon A. Spacey; Wayne Luk; Paul H. J. Kelly; Daniel Kuhn 001 (J. Parallel Distributed Comput., 2012)

Hybrid OpenMP/MPI Anisotropic Mesh Smoothing. - Gerard J. Gorman; James Southern; Patrick E. Farrell; M. D. Piggott; Georgios Rokos; Paul H. J. Kelly (ICCS, 2012)

Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. - Kevin Hammond; Paul H. J. Kelly (Sci. Comput. Program., 2012)

Predictive modeling and analysis of OP2 on distributed memory GPU clusters. - Gihan R. Mudalige; Mike B. Giles; Carlo Bertolli; Paul H. J. Kelly (SIGMETRICS Perform. Evaluation Rev., 2012)

Split tiling for GPUs: automatic parallelization using trapezoidal tiles. - Tobias Grosser; Albert Cohen 001; Paul H. J. Kelly; J. Ramanujam; P. Sadayappan; Sven Verdoolaege (GPGPU@ASPLOS, 2013)

Computationally unifying urban masterplanning. - David Birch; Paul H. J. Kelly; Anthony J. Field; Alvise Simondetti (Conf. Computing Frontiers, 2013)

SLAM++: Simultaneous Localisation and Mapping at the Level of Objects. - Renato F. Salas-Moreno; Richard A. Newcombe; Hauke Strasdat; Paul H. J. Kelly; Andrew J. Davison (CVPR, 2013)

Loop Chaining: A Programming Abstraction for Balancing Locality and Parallelism. - Christopher D. Krieger; Michelle Mills Strout; Catherine Olschanowsky; Andrew Stone; Stephen M. Guzik; Xinfeng Gao; Carlo Bertolli; Paul H. J. Kelly; Gihan R. Mudalige; Brian van Straalen; Samuel Williams 001 (IPDPS Workshops, 2013)

Parametric GPU Code Generation for Affine Loop Programs. - Athanasios Konstantinidis 001; Paul H. J. Kelly; J. Ramanujam; P. Sadayappan (LCPC, 2013)

Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. - Nathan Chong; Alastair F. Donaldson; Paul H. J. Kelly; Jeroen Ketema; Shaz Qadeer (OOPSLA, 2013)

Performance-Portable Finite Element Assembly Using PyOP2 and FEniCS. - Graham R. Markall; Florian Rathgeber; Lawrence Mitchell; Nicolas Loriant; Carlo Bertolli; David A. Ham; Paul H. J. Kelly (ISC, 2013)

A thread-parallel algorithm for anisotropic mesh adaptation. - Georgios Rokos; Gerard J. Gorman; James Southern; Paul H. J. Kelly (CoRR, 2013)

Parallel partitioning for distributed systems using sequential assignment. - Simon A. Spacey; Wayne Luk; Daniel Kuhn 001; Paul H. J. Kelly (J. Parallel Distributed Comput., 2013)

Design and initial performance of a high-level unstructured mesh framework on heterogeneous parallel systems. - Gihan R. Mudalige; Mike B. Giles; Jeyarajan Thiyagalingam; I. Z. Reguly; Carlo Bertolli; Paul H. J. Kelly; Anne E. Trefethen (Parallel Comput., 2013)

Optimized code generation for finite element local assembly using symbolic manipulation. - Francis P. Russell; Paul H. J. Kelly (ACM Trans. Math. Softw., 2013)

Generalizing Run-Time Tiling with the Loop Chain Abstraction. - Michelle Mills Strout; Fabio Luporini; Christopher D. Krieger; Carlo Bertolli; Gheorghe-Teodor Bercea; Catherine Olschanowsky; J. Ramanujam; Paul H. J. Kelly (IPDPS, 2014)

Dense planar SLAM. - Renato F. Salas-Moreno; Ben Glocker; Paul H. J. Kelly; Andrew J. Davison (ISMAR, 2014)

Multidisciplinary Engineering Models: Methodology and Case Study in Spreadsheet Analytics. - David Birch; Helen Liang; Paul H. J. Kelly; Glen Mullineux; Tony Field; Joan Ko; Alvise Simondetti (CoRR, 2014)

COFFEE: an Optimizing Compiler for Finite Element Local Assembly. - Fabio Luporini; Ana Lucia Varbanescu; Florian Rathgeber; Gheorghe-Teodor Bercea; J. Ramanujam; David A. Ham; Paul H. J. Kelly (CoRR, 2014)

Cross-Loop Optimization of Arithmetic Intensity for Finite Element Local Assembly. - Fabio Luporini; Ana Lucia Varbanescu; Florian Rathgeber; Gheorghe-Teodor Bercea; J. Ramanujam; David A. Ham; Paul H. J. Kelly (ACM Trans. Archit. Code Optim., 2014)

Symbolic Crosschecking of Data-Parallel Floating-Point Code. - Peter Collingbourne; Cristian Cadar; Paul H. J. Kelly (IEEE Trans. Software Eng., 2014)

A Fast and Scalable Graph Coloring Algorithm for Multi-core and Many-core Architectures. - Georgios Rokos; Gerard Gorman; Paul H. J. Kelly (Euro-Par, 2015)

Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. - Luigi Nardi; Bruno Bodin; M. Zeeshan Zia; John Mawer; Andy Nisbet; Paul H. J. Kelly; Andrew J. Davison; Mikel Luján; Michael F. P. O'Boyle; Graham D. Riley; Nigel P. Topham; Stephen B. Furber (ICRA, 2015)

Generating Optimized Fourier Interpolation Routines for Density Functional Theory Using SPIRAL. - Doru-Thom Popovici; Francis P. Russell; Karl A. Wilkinson; Chris-Kriton Skylaris; Paul H. J. Kelly; Franz Franchetti (IPDPS, 2015)

Thread Parallelism for Highly Irregular Computation in Anisotropic Mesh Adaptation. - Georgios Rokos; Gerard J. Gorman; Kristian Ejlebjerg Jensen; Paul H. J. Kelly (CoRR, 2015)

An Interrupt-Driven Work-Sharing For-Loop Scheduler. - Georgios Rokos; Gerard J. Gorman; Paul H. J. Kelly (CoRR, 2015)

Optimised three-dimensional Fourier interpolation: An analysis of techniques and application to a linear-scaling density functional theory code. - Francis P. Russell; Karl A. Wilkinson; Paul H. J. Kelly; Chris-Kriton Skylaris (Comput. Phys. Commun., 2015)

Integrating Algorithmic Parameters into Benchmarking and Design Space Exploration in 3D Scene Understanding. - Bruno Bodin; Luigi Nardi; M. Zeeshan Zia; Harry Wagstaff; Govind Sreekar Shenoy; Murali Krishna Emani; John Mawer; Christos Kotselidis; Andy Nisbet; Mikel Luján; Björn Franke; Paul H. J. Kelly; et al. (PACT, 2016)

Comparative design space exploration of dense and semi-dense SLAM. - M. Zeeshan Zia; Luigi Nardi; Andrew Jack; Emanuele Vespa; Bruno Bodin; Paul H. J. Kelly; Andrew J. Davison (ICRA, 2016)

Diplomat: Mapping of Multi-kernel Applications Using a Static Dataflow Abstraction. - Bruno Bodin; Luigi Nardi; Paul H. J. Kelly; Michael F. P. O'Boyle (MASCOTS, 2016)

A numbering algorithm for finite element on extruded meshes which avoids the unstructured mesh penalty. - Gheorghe-Teodor Bercea; Andrew T. T. McRae; David A. Ham; Lawrence Mitchell; Florian Rathgeber; Luigi Nardi; Fabio Luporini; Paul H. J. Kelly (CoRR, 2016)

GiMMiK - Generating bespoke matrix multiplication kernels for accelerators: Application to high-order Computational Fluid Dynamics. - Bartosz D. Wozniak; Freddie D. Witherden; Francis P. Russell; Peter E. Vincent; Paul H. J. Kelly (Comput. Phys. Commun., 2016)

Acceleration of a Full-Scale Industrial CFD Application with OP2. - István Z. Reguly; Gihan R. Mudalige; Carlo Bertolli; Michael B. Giles; Adam Betts; Paul H. J. Kelly; David Radford (IEEE Trans. Parallel Distributed Syst., 2016)

Application-oriented design space exploration for SLAM algorithms. - Sajad Saeedi 001; Luigi Nardi; Edward Johns; Bruno Bodin; Paul H. J. Kelly; Andrew J. Davison (ICRA, 2017)

Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications Using HyperMapper. - Luigi Nardi; Bruno Bodin; Sajad Saeedi 001; Emanuele Vespa; Andrew J. Davison; Paul H. J. Kelly (IPDPS Workshops, 2017)

Algebraic description and automatic generation of multigrid methods in SPIRAL. - Matthias Bolten; Franz Franchetti; Paul H. J. Kelly; Christian Lengauer; Marcus Mohr 001 (Concurr. Comput. Pract. Exp., 2017)

Automated Tiling of Unstructured Mesh Computations with Application to Seismological Modelling. - Fabio Luporini; Michael Lange 001; Christian T. Jacobs; Gerard J. Gorman; J. Ramanujam; Paul H. J. Kelly (CoRR, 2017)

Performance Portability in Extreme Scale Computing (Dagstuhl Seminar 17431). - Anshu Dubey; Paul H. J. Kelly; Bernd Mohr; Jeffrey S. Vetter (Dagstuhl Reports, 2017)

An Algorithm for the Optimization of Finite Element Integration Loops. - Fabio Luporini; David A. Ham; Paul H. J. Kelly (ACM Trans. Math. Softw., 2017)

Firedrake: Automating the Finite Element Method by Composing Abstractions. - Florian Rathgeber; David A. Ham; Lawrence Mitchell; Michael Lange 001; Fabio Luporini; Andrew T. T. McRae; Gheorghe-Teodor Bercea; Graham R. Markall; Paul H. J. Kelly (ACM Trans. Math. Softw., 2017)

Trends in Data Locality Abstractions for HPC Systems. - Didem Unat; Anshu Dubey; Torsten Hoefler; John Shalf; Mark James Abraham; Mauro Bianco; Bradford L. Chamberlain; Romain Cledat; H. Carter Edwards; Hal Finkel; Karl Fuerlinger; Frank Hannig; et al. (IEEE Trans. Parallel Distributed Syst., 2017)

SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. - Bruno Bodin; Harry Wagstaff; Sajad Saeedi 001; Luigi Nardi; Emanuele Vespa; John Mawer; Andy Nisbet; Mikel Luján; Steve B. Furber; Andrew J. Davison; Paul H. J. Kelly; Michael F. P. O'Boyle (ICRA, 2018)

Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications. - Bruno Bodin; Luigi Nardi; Harry Wagstaff; Paul H. J. Kelly; Michael F. P. O'Boyle (ISPASS, 2018)

Towards In-Situ Vortex Identification for Peta-Scale CFD Using Contour Trees. - Marius K. Koch; Paul H. J. Kelly; Peter E. Vincent (LDAV, 2018)

Investigating automatic vectorization for real-time 3D scene understanding. - Alexandru Nica; Emanuele Vespa; Pablo González de Aledo; Paul H. J. Kelly (WPMVP@PPoPP, 2018)

Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality. - Sajad Saeedi 001; Bruno Bodin; Harry Wagstaff; Andy Nisbet; Luigi Nardi; John Mawer; Nicolas Melot; Oscar Palomar; Emanuele Vespa; Tom Spink; Cosmin Gorgovan; Andrew M. Webb; et al. (CoRR, 2018)

Loop Optimization (Dagstuhl Seminar 18111). - Sebastian Hack; Paul H. J. Kelly; Christian Lengauer (Dagstuhl Reports, 2018)

Navigating the Landscape for Real-Time Localization and Mapping for Robotics and Virtual and Augmented Reality. - Sajad Saeedi 001; Bruno Bodin; Harry Wagstaff; Andy Nisbet; Luigi Nardi; John Mawer; Nicolas Melot; Oscar Palomar; Emanuele Vespa; Tom Spink; Cosmin Gorgovan; Andrew M. Webb; et al. (Proc. IEEE, 2018)

Efficient Octree-Based Volumetric SLAM Supporting Signed-Distance and Occupancy Mapping. - Emanuele Vespa; Nikolay Nikolov; Marius Grimm; Luigi Nardi; Paul H. J. Kelly; Stefan Leutenegger (IEEE Robotics Autom. Lett., 2018)

Adaptive-Resolution Octree-Based Volumetric SLAM. - Emanuele Vespa; Nils Funk; Paul H. J. Kelly; Stefan Leutenegger (3DV, 2019)

SLAMBench 3.0: Systematic Automated Reproducible Evaluation of SLAM Systems for Robot Vision Challenges and Scene Understanding. - Mihai Bujanca; Paul Gafton; Sajad Saeedi 001; Andy Nisbet; Bruno Bodin; Michael F. P. O'Boyle; Andrew J. Davison; Paul H. J. Kelly; Graham D. Riley; Barry Lennox; Mikel Luján; Steve B. Furber (ICRA, 2019)

Characterizing Visual Localization and Mapping Datasets. - Sajad Saeedi 001; Eduardo D. C. Carvalho; Wenbin Li 002; Dimos Tzoumanikas; Stefan Leutenegger; Paul H. J. Kelly; Andrew J. Davison (ICRA, 2019)

Pangloss: a novel Markov chain prefetcher. - Philippos Papaphilippou; Paul H. J. Kelly; Wayne Luk (CoRR, 2019)

AUKE: Automatic Kernel Code Generation for an Analogue SIMD Focal-Plane Sensor-Processor Array. - Thomas Debrunner; Sajad Saeedi 001; Paul H. J. Kelly (ACM Trans. Archit. Code Optim., 2019)

Automated Tiling of Unstructured Mesh Computations with Application to Seismological Modeling. - Fabio Luporini; Michael Lange 001; Christian T. Jacobs; Gerard J. Gorman; J. Ramanujam; Paul H. J. Kelly (ACM Trans. Math. Softw., 2019)

Scalable Uncertainty for Computer Vision With Functional Variational Inference. - Eduardo D. C. Carvalho; Ronald Clark; Andrea Nicastro; Paul H. J. Kelly (CVPR, 2020)

BIT-VO: Visual Odometry at 300 FPS using Binary Features from the Focal Plane. - Riku Murai; Sajad Saeedi 001; Paul H. J. Kelly (IROS, 2020)

Cain: Automatic Code Generation for Simultaneous Convolutional Kernels on Focal-plane Sensor-processors. - Edward Stow; Riku Murai; Sajad Saeedi 001; Paul H. J. Kelly (LCPC, 2020)

AnalogNet: Convolutional Neural Network Inference on Analog Focal Plane Sensor Processors. - Matthew Z. Wong; Benoît Guillard; Riku Murai; Sajad Saeedi 001; Paul H. J. Kelly (CoRR, 2020)

Abstracting spreadsheet data flow through hypergraph redrawing. - David Birch; Nicolai Stawinoga; Jack Binks; Bruno Nicoletti; Paul H. J. Kelly (CoRR, 2020)

Lossy Checkpoint Compression in Full Waveform Inversion. - Navjot Kukreja; Jan Hückelheim; Mathias Louboutin; John Washbourne; Paul H. J. Kelly; Gerard J. Gorman (CoRR, 2020)

Tensor Computations: Applications and Optimization (Dagstuhl Seminar 20111). - Paolo Bientinesi; David A. Ham; Furong Huang; Paul H. J. Kelly; Christian Lengauer; Saday Sadayappan (Dagstuhl Reports, 2020)

A study of vectorization for matrix-free finite element methods. - Tianjiao Sun; Lawrence Mitchell; Kaushik Kulkarni; Andreas Klöckner; David A. Ham; Paul H. J. Kelly (Int. J. High Perform. Comput. Appl., 2020)

Architecture and Performance of Devito, a System for Automated Stencil Computation. - Fabio Luporini; Mathias Louboutin; Michael Lange 001; Navjot Kukreja; Philipp A. Witte; Jan Hückelheim; Charles Yount; Paul H. J. Kelly; Felix J. Herrmann; Gerard J. Gorman (ACM Trans. Math. Softw., 2020)

PathBench: A Benchmarking Platform for Classical and Learned Path Planning Algorithms. - Alexandru-Iosif Toma; Hao-Ya Hsueh; Hussein Ali Jaafar; Riku Murai; Paul H. J. Kelly; Sajad Saeedi 001 (CRV, 2021)

Demonstrating custom SIMD instruction development for a RISC-V softcore. - Philippos Papaphilippou; Paul H. J. Kelly; Wayne Luk (FPL, 2021)

Simodense: a RISC-V softcore optimised for exploring custom SIMD instructions. - Philippos Papaphilippou; Paul H. J. Kelly; Wayne Luk (FPL, 2021)

Temporal blocking of finite-difference stencil operators with sparse "off-the-grid" sources. - George Bisbas; Fabio Luporini; Mathias Louboutin; Rhodri Nelson; Gerard J. Gorman; Paul H. J. Kelly (IPDPS, 2021)

Extending the RISC-V ISA for exploring advanced reconfigurable SIMD instructions. - Philippos Papaphilippou; Paul H. J. Kelly; Wayne Luk (CoRR, 2021)

Systematic comparison of path planning algorithms using PathBench. - Hao-Ya Hsueh; Alexandru-Iosif Toma; Hussein Ali Jaafar; Edward Stow; Riku Murai; Paul H. J. Kelly; Sajad Saeedi 001 (Adv. Robotics, 2022)

Compiling CNNs with Cain: focal-plane processing for robot navigation. - Edward Stow; Abrar Ahsan; Yingying Li; Ali Babaei; Riku Murai; Sajad Saeedi 001; Paul H. J. Kelly (Auton. Robots, 2022)

A Robot Web for Distributed Many-Device Localisation. - Riku Murai; Joseph Ortiz; Sajad Saeedi 001; Paul H. J. Kelly; Andrew J. Davison (CoRR, 2022)

Tensor Computations: Applications and Optimization (Dagstuhl Seminar 22101). - Paolo Bientinesi; David A. Ham; Furong Huang; Paul H. J. Kelly; P. Sadayappan; Edward Stow (Dagstuhl Reports, 2022)

Convolutional kernel function algebra. - Edward Stow; Paul H. J. Kelly (Frontiers Comput. Sci., 2022)

Identification and Classification of Off-Vertex Critical Points for Contour Tree Construction on Unstructured Meshes of Hexahedra. - Marius K. Koch; Paul H. J. Kelly; Peter E. Vincent (IEEE Trans. Vis. Comput. Graph., 2022)

Precise event sampling-based data locality tools for AMD multicore architectures. - Muhammad Aditya Sasongko; Milind Chabbi; Paul H. J. Kelly; Didem Unat (Concurr. Comput. Pract. Exp., 2023)

Automated MPI code generation for scalable finite-difference solvers. - George Bisbas; Rhodri Nelson; Mathias Louboutin; Paul H. J. Kelly; Fabio Luporini; Gerard Gorman (CoRR, 2023)

Precise Event Sampling on AMD Versus Intel: Quantitative and Qualitative Comparison. - Muhammad Aditya Sasongko; Milind Chabbi; Paul H. J. Kelly; Didem Unat (IEEE Trans. Parallel Distributed Syst., 2023)

High-frame rate homography and visual odometry by tracking binary features from the focal plane. - Riku Murai; Sajad Saeedi 001; Paul H. J. Kelly (Auton. Robots, 2023)

A shared compilation stack for distributed-memory parallelism in stencil DSLs. - George Bisbas; Anton Lydike; Emilien Bauer; Nick Brown 002; Mathieu Fehr; Lawrence Mitchell; Gabriel Rodriguez-Canal; Maurice Jamieson; Paul H. J. Kelly; Michel Steuwer; Tobias Grosser (ASPLOS (3), 2024)

Gaussian Splatting SLAM. - Hidenobu Matsuki; Riku Murai; Paul H. J. Kelly; Andrew J. Davison (CVPR, 2024)

PCQ: Parallel Compact Quantum Circuit Simulation. - Shuang Liang 012; Yuncheng Lu; Ce Guo; Wayne Luk; Paul H. J. Kelly (FCCM, 2024)

Distributed Simultaneous Localisation and Auto-Calibration Using Gaussian Belief Propagation. - Riku Murai; Ignacio Alzugaray; Paul H. J. Kelly; Andrew J. Davison (IEEE Robotics Autom. Lett., 2024)

A Robot Web for Distributed Many-Device Localization. - Riku Murai; Joseph Ortiz; Sajad Saeedi G.; Paul H. J. Kelly; Andrew J. Davison (IEEE Trans. Robotics, 2024)

Automated MPI-X Code Generation for Scalable Finite-Difference Solvers. - George Bisbas; Rhodri Nelson; Mathias Louboutin; Fabio Luporini; Paul H. J. Kelly; Gerard Gorman (IPDPS, 2025)

Versatile Cross-platform Compilation Toolchain for Schrödinger-style Quantum Circuit Simulation. - Yuncheng Lu; Shuang Liang 012; Hongxiang Fan; Ce Guo; Wayne Luk; Paul H. J. Kelly (CoRR, 2025)