Paul H. J. Kelly

189 papers A* 13A 11B 6C 2Misc 4Journal 88Unranked 64

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Advancing Full-Stack Acceleration for SchröDinger-Style Quantum Simulation. HPCA Shuang Liang, Yuncheng Lu, Ce Guo, Paul H. J. Kelly, Wayne Luk, Hongxiang Fan
2025	A	`conf`	Automated MPI-X Code Generation for Scalable Finite-Difference Solvers. IPDPS George Bisbas, Rhodri Nelson, Mathias Louboutin, Fabio Luporini, Paul H. J. Kelly, Gerard Gorman
2025	A*	`conf`	Versatile Cross-platform Compilation Toolchain for Schrödinger-style Quantum Circuit Simulation. DAC Yuncheng Lu, Shuang Liang, Hongxiang Fan, Ce Guo, Wayne Luk, Paul H. J. Kelly
2025	J	`jnl`	Versatile Cross-platform Compilation Toolchain for Schrödinger-style Quantum Circuit Simulation. CoRR Yuncheng Lu, Shuang Liang, Hongxiang Fan, Ce Guo, Wayne Luk, Paul H. J. Kelly
2024	J	`jnl`	A Robot Web for Distributed Many-Device Localization. IEEE Trans. Robotics Riku Murai, Joseph Ortiz, Sajad Saeedi G., Paul H. J. Kelly, Andrew J. Davison
2024	—	`conf`	A shared compilation stack for distributed-memory parallelism in stencil DSLs. ASPLOS (3) George Bisbas, Anton Lydike, Emilien Bauer, Nick Brown, Mathieu Fehr, Lawrence Mitchell, Gabriel Rodriguez-Canal, Maurice Jamieson, Paul H. J. Kelly, Michel Steuwer, Tobias Grosser
2024	J	`jnl`	A shared compilation stack for distributed-memory parallelism in stencil DSLs. CoRR George Bisbas, Anton Lydike, Emilien Bauer, Nick Brown, Mathieu Fehr, Lawrence Mitchell, Gabriel Rodriguez-Canal, Maurice Jamieson, Paul H. J. Kelly, Michel Steuwer, Tobias Grosser
2024	J	`jnl`	Distributed Simultaneous Localisation and Auto-Calibration Using Gaussian Belief Propagation. IEEE Robotics Autom. Lett. Riku Murai, Ignacio Alzugaray, Paul H. J. Kelly, Andrew J. Davison
2024	J	`jnl`	Distributed Simultaneous Localisation and Auto-Calibration using Gaussian Belief Propagation. CoRR Riku Murai, Ignacio Alzugaray, Paul H. J. Kelly, Andrew J. Davison
2024	A*	`conf`	Gaussian Splatting SLAM. CVPR Hidenobu Matsuki, Riku Murai, Paul H. J. Kelly, Andrew J. Davison
2024	Misc	`conf`	PCQ: Parallel Compact Quantum Circuit Simulation. FCCM Shuang Liang, Yuncheng Lu, Ce Guo, Wayne Luk, Paul H. J. Kelly
2023	J	`jnl`	Automated MPI code generation for scalable finite-difference solvers. CoRR George Bisbas, Rhodri Nelson, Mathias Louboutin, Paul H. J. Kelly, Fabio Luporini, Gerard Gorman
2023	J	`jnl`	Gaussian Splatting SLAM. CoRR Hidenobu Matsuki, Riku Murai, Paul H. J. Kelly, Andrew J. Davison
2023	J	`jnl`	High-frame rate homography and visual odometry by tracking binary features from the focal plane. Auton. Robots Riku Murai, Sajad Saeedi, Paul H. J. Kelly
2023	J	`jnl`	Precise Event Sampling on AMD Versus Intel: Quantitative and Qualitative Comparison. IEEE Trans. Parallel Distributed Syst. Muhammad Aditya Sasongko, Milind Chabbi, Paul H. J. Kelly, Didem Unat
2023	J	`jnl`	Precise event sampling-based data locality tools for AMD multicore architectures. Concurr. Comput. Pract. Exp. Muhammad Aditya Sasongko, Milind Chabbi, Paul H. J. Kelly, Didem Unat
2022	J	`jnl`	A Robot Web for Distributed Many-Device Localisation. CoRR Riku Murai, Joseph Ortiz, Sajad Saeedi, Paul H. J. Kelly, Andrew J. Davison
2022	J	`jnl`	Compiling CNNs with Cain: focal-plane processing for robot navigation. Auton. Robots Edward Stow, Abrar Ahsan, Yingying Li, Ali Babaei, Riku Murai, Sajad Saeedi, Paul H. J. Kelly
2022	J	`jnl`	Convolutional kernel function algebra. Frontiers Comput. Sci. Edward Stow, Paul H. J. Kelly
2022	J	`jnl`	Identification and Classification of Off-Vertex Critical Points for Contour Tree Construction on Unstructured Meshes of Hexahedra. IEEE Trans. Vis. Comput. Graph. Marius K. Koch, Paul H. J. Kelly, Peter E. Vincent
2022	J	`jnl`	Systematic Comparison of Path Planning Algorithms using PathBench. CoRR Hao-Ya Hsueh, Alexandru-Iosif Toma, Hussein Ali Jaafar, Edward Stow, Riku Murai, Paul H. J. Kelly, Sajad Saeedi
2022	J	`jnl`	Systematic comparison of path planning algorithms using PathBench. Adv. Robotics Hao-Ya Hsueh, Alexandru-Iosif Toma, Hussein Ali Jaafar, Edward Stow, Riku Murai, Paul H. J. Kelly, Sajad Saeedi
2022	J	`jnl`	Tensor Computations: Applications and Optimization (Dagstuhl Seminar 22101). Dagstuhl Reports Paolo Bientinesi, David A. Ham, Furong Huang, Paul H. J. Kelly, P. Sadayappan, Edward Stow
2021	J	`jnl`	Cain: Automatic Code Generation for Simultaneous Convolutional Kernels on Focal-plane Sensor-processors. CoRR Edward Stow, Riku Murai, Sajad Saeedi, Paul H. J. Kelly
2021	B	`conf`	Demonstrating custom SIMD instruction development for a RISC-V softcore. FPL Philippos Papaphilippou, Paul H. J. Kelly, Wayne Luk
2021	J	`jnl`	Extending the RISC-V ISA for exploring advanced reconfigurable SIMD instructions. CoRR Philippos Papaphilippou, Paul H. J. Kelly, Wayne Luk
2021	—	`conf`	PathBench: A Benchmarking Platform for Classical and Learned Path Planning Algorithms. CRV Alexandru-Iosif Toma, Hao-Ya Hsueh, Hussein Ali Jaafar, Riku Murai, Paul H. J. Kelly, Sajad Saeedi
2021	J	`jnl`	PathBench: A Benchmarking Platform for Classical and Learned Path Planning Algorithms. CoRR Alexandru-Iosif Toma, Hao-Ya Hsueh, Hussein Ali Jaafar, Riku Murai, Paul H. J. Kelly, Sajad Saeedi
2021	B	`conf`	Simodense: a RISC-V softcore optimised for exploring custom SIMD instructions. FPL Philippos Papaphilippou, Paul H. J. Kelly, Wayne Luk
2021	A	`conf`	Temporal blocking of finite-difference stencil operators with sparse "off-the-grid" sources. IPDPS George Bisbas, Fabio Luporini, Mathias Louboutin, Rhodri Nelson, Gerard J. Gorman, Paul H. J. Kelly
2020	J	`jnl`	A study of vectorization for matrix-free finite element methods. Int. J. High Perform. Comput. Appl. Tianjiao Sun, Lawrence Mitchell, Kaushik Kulkarni, Andreas Klöckner, David A. Ham, Paul H. J. Kelly
2020	J	`jnl`	Abstracting spreadsheet data flow through hypergraph redrawing. CoRR David Birch, Nicolai Stawinoga, Jack Binks, Bruno Nicoletti, Paul H. J. Kelly
2020	J	`jnl`	AnalogNet: Convolutional Neural Network Inference on Analog Focal Plane Sensor Processors. CoRR Matthew Z. Wong, Benoît Guillard, Riku Murai, Sajad Saeedi, Paul H. J. Kelly
2020	J	`jnl`	Architecture and Performance of Devito, a System for Automated Stencil Computation. ACM Trans. Math. Softw. Fabio Luporini, Mathias Louboutin, Michael Lange, Navjot Kukreja, Philipp A. Witte, Jan Hückelheim, Charles Yount, Paul H. J. Kelly, Felix J. Herrmann, Gerard J. Gorman
2020	A	`conf`	BIT-VO: Visual Odometry at 300 FPS using Binary Features from the Focal Plane. IROS Riku Murai, Sajad Saeedi, Paul H. J. Kelly
2020	J	`jnl`	BIT-VO: Visual Odometry at 300 FPS using Binary Features from the Focal Plane. CoRR Riku Murai, Sajad Saeedi, Paul H. J. Kelly
2020	—	`conf`	Cain: Automatic Code Generation for Simultaneous Convolutional Kernels on Focal-plane Sensor-processors. LCPC Edward Stow, Riku Murai, Sajad Saeedi, Paul H. J. Kelly
2020	J	`jnl`	Lossy Checkpoint Compression in Full Waveform Inversion. CoRR Navjot Kukreja, Jan Hückelheim, Mathias Louboutin, John Washbourne, Paul H. J. Kelly, Gerard J. Gorman
2020	A*	`conf`	Scalable Uncertainty for Computer Vision With Functional Variational Inference. CVPR Eduardo D. C. Carvalho, Ronald Clark, Andrea Nicastro, Paul H. J. Kelly
2020	J	`jnl`	Scalable Uncertainty for Computer Vision with Functional Variational Inference. CoRR Eduardo D. C. Carvalho, Ronald Clark, Andrea Nicastro, Paul H. J. Kelly
2020	J	`jnl`	Temporal blocking of finite-difference stencil operators with sparse "off-the-grid" sources. CoRR George Bisbas, Fabio Luporini, Mathias Louboutin, Rhodri Nelson, Gerard Gorman, Paul H. J. Kelly
2020	J	`jnl`	Tensor Computations: Applications and Optimization (Dagstuhl Seminar 20111). Dagstuhl Reports Paolo Bientinesi, David A. Ham, Furong Huang, Paul H. J. Kelly, Christian Lengauer, Saday Sadayappan
2019	J	`jnl`	A study of vectorization for matrix-free finite element methods. CoRR Tianjiao Sun, Lawrence Mitchell, Kaushik Kulkarni, Andreas Klöckner, David A. Ham, Paul H. J. Kelly
2019	J	`jnl`	AUKE: Automatic Kernel Code Generation for an Analogue SIMD Focal-Plane Sensor-Processor Array. ACM Trans. Archit. Code Optim. Thomas Debrunner, Sajad Saeedi, Paul H. J. Kelly
2019	—	`conf`	Adaptive-Resolution Octree-Based Volumetric SLAM. 3DV Emanuele Vespa, Nils Funk, Paul H. J. Kelly, Stefan Leutenegger
2019	J	`jnl`	Automated Tiling of Unstructured Mesh Computations with Application to Seismological Modeling. ACM Trans. Math. Softw. Fabio Luporini, Michael Lange, Christian T. Jacobs, Gerard J. Gorman, J. Ramanujam, Paul H. J. Kelly
2019	A*	`conf`	Characterizing Visual Localization and Mapping Datasets. ICRA Sajad Saeedi, Eduardo D. C. Carvalho, Wenbin Li, Dimos Tzoumanikas, Stefan Leutenegger, Paul H. J. Kelly, Andrew J. Davison
2019	J	`jnl`	Pangloss: a novel Markov chain prefetcher. CoRR Philippos Papaphilippou, Paul H. J. Kelly, Wayne Luk
2019	A*	`conf`	SLAMBench 3.0: Systematic Automated Reproducible Evaluation of SLAM Systems for Robot Vision Challenges and Scene Understanding. ICRA Mihai Bujanca, Paul Gafton, Sajad Saeedi, 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
2018	B	`conf`	Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications. ISPASS Bruno Bodin, Luigi Nardi, Harry Wagstaff, Paul H. J. Kelly, Michael F. P. O'Boyle
2018	J	`jnl`	Architecture and performance of Devito, a system for automated stencil computation. CoRR Fabio Luporini, Michael Lange, Mathias Louboutin, Navjot Kukreja, Jan Hückelheim, Charles Yount, Philipp A. Witte, Paul H. J. Kelly, Gerard J. Gorman, Felix J. Herrmann
2018	J	`jnl`	Efficient Octree-Based Volumetric SLAM Supporting Signed-Distance and Occupancy Mapping. IEEE Robotics Autom. Lett. Emanuele Vespa, Nikolay Nikolov, Marius Grimm, Luigi Nardi, Paul H. J. Kelly, Stefan Leutenegger
2018	—	`conf`	Investigating automatic vectorization for real-time 3D scene understanding. WPMVP@PPoPP Alexandru Nica, Emanuele Vespa, Pablo González de Aledo, Paul H. J. Kelly
2018	J	`jnl`	Loop Optimization (Dagstuhl Seminar 18111). Dagstuhl Reports Sebastian Hack, Paul H. J. Kelly, Christian Lengauer
2018	J	`jnl`	Navigating the Landscape for Real-Time Localization and Mapping for Robotics and Virtual and Augmented Reality. Proc. IEEE Sajad Saeedi, Bruno Bodin, Harry Wagstaff, Andy Nisbet, Luigi Nardi, John Mawer, Nicolas Melot, Oscar Palomar, Emanuele Vespa, Tom Spink, Cosmin Gorgovan, Andrew M. Webb, James Clarkson, Erik Tomusk, Thomas Debrunner, Kuba Kaszyk, Pablo González de Aledo Marugán, Andrey Rodchenko, Graham D. Riley, Christos Kotselidis, Björn Franke, Michael F. P. O'Boyle, Andrew J. Davison, Paul H. J. Kelly, Mikel Luján, Steve B. Furber
2018	J	`jnl`	Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality. CoRR Sajad Saeedi, Bruno Bodin, Harry Wagstaff, Andy Nisbet, Luigi Nardi, John Mawer, Nicolas Melot, Oscar Palomar, Emanuele Vespa, Tom Spink, Cosmin Gorgovan, Andrew M. Webb, James Clarkson, Erik Tomusk, Thomas Debrunner, Kuba Kaszyk, Pablo González de Aledo, Andrey Rodchenko, Graham D. Riley, Christos Kotselidis, Björn Franke, Michael F. P. O'Boyle, Andrew J. Davison, Paul H. J. Kelly, Mikel Luján, Steve B. Furber
2018	A*	`conf`	SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. ICRA Bruno Bodin, Harry Wagstaff, Sajad Saeedi, 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
2018	J	`jnl`	SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. CoRR Bruno Bodin, Harry Wagstaff, Sajad Saeedi, 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
2018	—	`conf`	Towards In-Situ Vortex Identification for Peta-Scale CFD Using Contour Trees. LDAV Marius K. Koch, Paul H. J. Kelly, Peter E. Vincent
2017	J	`jnl`	Algebraic description and automatic generation of multigrid methods in SPIRAL. Concurr. Comput. Pract. Exp. Matthias Bolten, Franz Franchetti, Paul H. J. Kelly, Christian Lengauer, Marcus Mohr
2017	—	`conf`	Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications Using HyperMapper. IPDPS Workshops Luigi Nardi, Bruno Bodin, Sajad Saeedi, Emanuele Vespa, Andrew J. Davison, Paul H. J. Kelly
2017	J	`jnl`	Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications Using HyperMapper. CoRR Luigi Nardi, Bruno Bodin, Sajad Saeedi, Emanuele Vespa, Andrew J. Davison, Paul H. J. Kelly
2017	J	`jnl`	An Algorithm for the Optimization of Finite Element Integration Loops. ACM Trans. Math. Softw. Fabio Luporini, David A. Ham, Paul H. J. Kelly
2017	A*	`conf`	Application-oriented design space exploration for SLAM algorithms. ICRA Sajad Saeedi, Luigi Nardi, Edward Johns, Bruno Bodin, Paul H. J. Kelly, Andrew J. Davison
2017	J	`jnl`	Automated Tiling of Unstructured Mesh Computations with Application to Seismological Modelling. CoRR Fabio Luporini, Michael Lange, Christian T. Jacobs, Gerard J. Gorman, J. Ramanujam, Paul H. J. Kelly
2017	J	`jnl`	Firedrake: Automating the Finite Element Method by Composing Abstractions. ACM Trans. Math. Softw. Florian Rathgeber, David A. Ham, Lawrence Mitchell, Michael Lange, Fabio Luporini, Andrew T. T. McRae, Gheorghe-Teodor Bercea, Graham R. Markall, Paul H. J. Kelly
2017	J	`jnl`	Performance Portability in Extreme Scale Computing (Dagstuhl Seminar 17431). Dagstuhl Reports Anshu Dubey, Paul H. J. Kelly, Bernd Mohr, Jeffrey S. Vetter
2017	J	`jnl`	Trends in Data Locality Abstractions for HPC Systems. IEEE Trans. Parallel Distributed Syst. 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, Emmanuel Jeannot, Amir Kamil, Jeff Keasler, Paul H. J. Kelly, Vitus J. Leung, Hatem Ltaief, Naoya Maruyama, Chris J. Newburn, Miquel Pericàs
2016	J	`jnl`	A numbering algorithm for finite element on extruded meshes which avoids the unstructured mesh penalty. CoRR Gheorghe-Teodor Bercea, Andrew T. T. McRae, David A. Ham, Lawrence Mitchell, Florian Rathgeber, Luigi Nardi, Fabio Luporini, Paul H. J. Kelly
2016	J	`jnl`	Acceleration of a Full-Scale Industrial CFD Application with OP2. IEEE Trans. Parallel Distributed Syst. István Z. Reguly, Gihan R. Mudalige, Carlo Bertolli, Michael B. Giles, Adam Betts, Paul H. J. Kelly, David Radford
2016	J	`jnl`	An algorithm for the optimization of finite element integration loops. CoRR Fabio Luporini, David A. Ham, Paul H. J. Kelly
2016	A*	`conf`	Comparative design space exploration of dense and semi-dense SLAM. ICRA M. Zeeshan Zia, Luigi Nardi, Andrew Jack, Emanuele Vespa, Bruno Bodin, Paul H. J. Kelly, Andrew J. Davison
2016	B	`conf`	Diplomat: Mapping of Multi-kernel Applications Using a Static Dataflow Abstraction. MASCOTS Bruno Bodin, Luigi Nardi, Paul H. J. Kelly, Michael F. P. O'Boyle
2016	J	`jnl`	GiMMiK - Generating bespoke matrix multiplication kernels for accelerators: Application to high-order Computational Fluid Dynamics. Comput. Phys. Commun. Bartosz D. Wozniak, Freddie D. Witherden, Francis P. Russell, Peter E. Vincent, Paul H. J. Kelly
2016	B	`conf`	Integrating Algorithmic Parameters into Benchmarking and Design Space Exploration in 3D Scene Understanding. PACT 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, Michael F. P. O'Boyle
2015	—	`conf`	A Fast and Scalable Graph Coloring Algorithm for Multi-core and Many-core Architectures. Euro-Par Georgios Rokos, Gerard Gorman, Paul H. J. Kelly
2015	J	`jnl`	A Fast and Scalable Graph Coloring Algorithm for Multi-core and Many-core Architectures. CoRR Georgios Rokos, Gerard Gorman, Paul H. J. Kelly
2015	J	`jnl`	An Interrupt-Driven Work-Sharing For-Loop Scheduler. CoRR Georgios Rokos, Gerard J. Gorman, Paul H. J. Kelly
2015	J	`jnl`	Comparative Design Space Exploration of Dense and Semi-Dense SLAM. CoRR M. Zeeshan Zia, Luigi Nardi, Andrew Jack, Emanuele Vespa, Bruno Bodin, Paul H. J. Kelly, Andrew J. Davison
2015	J	`jnl`	Firedrake: automating the finite element method by composing abstractions. CoRR Florian Rathgeber, David A. Ham, Lawrence Mitchell, Michael Lange, Fabio Luporini, Andrew T. T. McRae, Gheorghe-Teodor Bercea, Graham R. Markall, Paul H. J. Kelly
2015	A	`conf`	Generating Optimized Fourier Interpolation Routines for Density Functional Theory Using SPIRAL. IPDPS Doru-Thom Popovici, Francis P. Russell, Karl A. Wilkinson, Chris-Kriton Skylaris, Paul H. J. Kelly, Franz Franchetti
2015	A*	`conf`	Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. ICRA 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
2015	J	`jnl`	Optimised three-dimensional Fourier interpolation: An analysis of techniques and application to a linear-scaling density functional theory code. Comput. Phys. Commun. Francis P. Russell, Karl A. Wilkinson, Paul H. J. Kelly, Chris-Kriton Skylaris
2015	J	`jnl`	Thread Parallelism for Highly Irregular Computation in Anisotropic Mesh Adaptation. CoRR Georgios Rokos, Gerard J. Gorman, Kristian Ejlebjerg Jensen, Paul H. J. Kelly
2014	J	`jnl`	Acceleration of a Full-scale Industrial CFD Application with OP2. CoRR István Z. Reguly, Gihan R. Mudalige, Carlo Bertolli, Michael B. Giles, Adam Betts, Paul H. J. Kelly, David Radford
2014	J	`jnl`	COFFEE: an Optimizing Compiler for Finite Element Local Assembly. CoRR Fabio Luporini, Ana Lucia Varbanescu, Florian Rathgeber, Gheorghe-Teodor Bercea, J. Ramanujam, David A. Ham, Paul H. J. Kelly
2014	J	`jnl`	Cross-Loop Optimization of Arithmetic Intensity for Finite Element Local Assembly. ACM Trans. Archit. Code Optim. Fabio Luporini, Ana Lucia Varbanescu, Florian Rathgeber, Gheorghe-Teodor Bercea, J. Ramanujam, David A. Ham, Paul H. J. Kelly
2014	A*	`conf`	Dense planar SLAM. ISMAR Renato F. Salas-Moreno, Ben Glocker, Paul H. J. Kelly, Andrew J. Davison
2014	A*	`conf`	Dense planar SLAM. ISMAR Renato F. Salas-Moreno, Ben Glocker, Paul H. J. Kelly, Andrew J. Davison
2014	A	`conf`	Generalizing Run-Time Tiling with the Loop Chain Abstraction. IPDPS Michelle Mills Strout, Fabio Luporini, Christopher D. Krieger, Carlo Bertolli, Gheorghe-Teodor Bercea, Catherine Olschanowsky, J. Ramanujam, Paul H. J. Kelly
2014	J	`jnl`	Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. CoRR 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, Steve B. Furber
2014	J	`jnl`	Multidisciplinary Engineering Models: Methodology and Case Study in Spreadsheet Analytics. CoRR David Birch, Helen Liang, Paul H. J. Kelly, Glen Mullineux, Tony Field, Joan Ko, Alvise Simondetti
2014	J	`jnl`	Symbolic Crosschecking of Data-Parallel Floating-Point Code. IEEE Trans. Software Eng. Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
2013	J	`jnl`	A thread-parallel algorithm for anisotropic mesh adaptation. CoRR Georgios Rokos, Gerard J. Gorman, James Southern, Paul H. J. Kelly
2013	A	`conf`	Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. OOPSLA Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer
2013	—	`conf`	Computationally unifying urban masterplanning. Conf. Computing Frontiers David Birch, Paul H. J. Kelly, Anthony J. Field, Alvise Simondetti
2013	J	`jnl`	Design and initial performance of a high-level unstructured mesh framework on heterogeneous parallel systems. Parallel Comput. Gihan R. Mudalige, Mike B. Giles, Jeyarajan Thiyagalingam, I. Z. Reguly, Carlo Bertolli, Paul H. J. Kelly, Anne E. Trefethen
2013	—	`conf`	Loop Chaining: A Programming Abstraction for Balancing Locality and Parallelism. IPDPS Workshops 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
2013	J	`jnl`	Optimized code generation for finite element local assembly using symbolic manipulation. ACM Trans. Math. Softw. Francis P. Russell, Paul H. J. Kelly
2013	J	`jnl`	Parallel partitioning for distributed systems using sequential assignment. J. Parallel Distributed Comput. Simon A. Spacey, Wayne Luk, Daniel Kuhn, Paul H. J. Kelly
2013	—	`conf`	Parametric GPU Code Generation for Affine Loop Programs. LCPC Athanasios Konstantinidis, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan
2013	C	`conf`	Performance-Portable Finite Element Assembly Using PyOP2 and FEniCS. ISC Graham R. Markall, Florian Rathgeber, Lawrence Mitchell, Nicolas Loriant, Carlo Bertolli, David A. Ham, Paul H. J. Kelly
2013	A*	`conf`	SLAM++: Simultaneous Localisation and Mapping at the Level of Objects. CVPR Renato F. Salas-Moreno, Richard A. Newcombe, Hauke Strasdat, Paul H. J. Kelly, Andrew J. Davison
2013	—	`conf`	Split tiling for GPUs: automatic parallelization using trapezoidal tiles. GPGPU@ASPLOS Tobias Grosser, Albert Cohen, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan, Sven Verdoolaege
2012	—	`conf`	An Analytical Study of Loop Tiling for a Large-Scale Unstructured Mesh Application. SC Companion Mike B. Giles, Gihan R. Mudalige, Carlo Bertolli, Paul H. J. Kelly, Endre László, I. Z. Reguly
2012	—	`conf`	Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs. LCPC Carlo Bertolli, Adam Betts, Nicolas Loriant, Gihan R. Mudalige, David Radford, David A. Ham, Mike B. Giles, Paul H. J. Kelly
2012	J	`jnl`	Guest Editorial: Computing Frontiers. Int. J. Parallel Program. Hubertus Franke, Paul H. J. Kelly, Pedro Trancoso
2012	Misc	`conf`	Hybrid OpenMP/MPI Anisotropic Mesh Smoothing. ICCS Gerard J. Gorman, James Southern, Patrick E. Farrell, M. D. Piggott, Georgios Rokos, Paul H. J. Kelly
2012	J	`jnl`	Improving communication latency with the write-only architecture. J. Parallel Distributed Comput. Simon A. Spacey, Wayne Luk, Paul H. J. Kelly, Daniel Kuhn
2012	J	`jnl`	Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. Sci. Comput. Program. Kevin Hammond, Paul H. J. Kelly
2012	—	`conf`	Mesh independent loop fusion for unstructured mesh applications. Conf. Computing Frontiers Carlo Bertolli, Adam Betts, Paul H. J. Kelly, Gihan R. Mudalige, Mike B. Giles
2012	J	`jnl`	Performance Analysis and Optimization of the OP2 Framework on Many-Core Architectures. Comput. J. Mike B. Giles, Gihan R. Mudalige, Z. Sharif, Graham R. Markall, Paul H. J. Kelly
2012	J	`jnl`	Predictive modeling and analysis of OP2 on distributed memory GPU clusters. SIGMETRICS Perform. Evaluation Rev. Gihan R. Mudalige, Mike B. Giles, Carlo Bertolli, Paul H. J. Kelly
2012	—	`conf`	PyOP2: A High-Level Framework for Performance-Portable Simulations on Unstructured Meshes. SC Companion Florian Rathgeber, Graham R. Markall, Lawrence Mitchell, Nicolas Loriant, David A. Ham, Carlo Bertolli, Paul H. J. Kelly
2012	—	`conf`	Using domain-specific languages and access-execute descriptors to expand the parallel code synthesis design space: keynote talk. FHPC@ICFP Paul H. J. Kelly
2011	—	`conf`	Accelerating Anisotropic Mesh Adaptivity on nVIDIA's CUDA Using Texture Interpolation. Euro-Par (2) Georgios Rokos, Gerard Gorman, Paul H. J. Kelly
2011	J	`jnl`	DESOLA: An active linear algebra library using delayed evaluation and runtime code generation. Sci. Comput. Program. Francis P. Russell, Michael R. Mellor, Paul H. J. Kelly, Olav Beckmann
2011	—	`conf`	Design and Performance of the OP2 Library for Unstructured Mesh Applications. Euro-Par Workshops (1) Carlo Bertolli, Adam Betts, Gihan R. Mudalige, Mike B. Giles, Paul H. J. Kelly
2011	—	`conf`	Loop-Directed Mothballing: Power-gating execution units using fast analysis of inner loops. COOL Chips C. A. Court, Paul H. J. Kelly
2011	J	`jnl`	Performance analysis of the OP2 framework on many-core architectures. SIGMETRICS Perform. Evaluation Rev. Mike B. Giles, Gihan R. Mudalige, Z. Sharif, Graham R. Markall, Paul H. J. Kelly
2011	—	`conf`	Symbolic Testing of OpenCL Code. Haifa Verification Conference Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
2011	A	`conf`	Symbolic crosschecking of floating-point and SIMD code. EuroSys Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
2010	—	`conf`	A batch algorithm for maintaining a topological order. ACSC David J. Pearce, Paul H. J. Kelly
2010	—	`ed.`	Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro, Italy, May 17-19, 2010 Conf. Computing Frontiers Nancy M. Amato, Hubertus Franke, Paul H. J. Kelly
2010	Misc	`conf`	Towards generating optimised finite element solvers for GPUs from high-level specifications. ICCS Graham R. Markall, David A. Ham, Paul H. J. Kelly
2009	—	`conf`	Deriving Efficient Data Movement from Decoupled Access/Execute Specifications. HiPEAC Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly
2009	—	`conf`	High-performance SIMT code generation in an active visual effects library. Conf. Computing Frontiers Jay L. T. Cornwall, Lee W. Howes, Paul H. J. Kelly, Phil Parsonage, Bruno Nicoletti
2009	—	`conf`	Towards Metaprogramming for Parallel Systems on a Chip. Euro-Par Workshops Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly
2008	—	`conf`	Inference of Session Types From Control Flow. FESCA@ETAPS Peter Collingbourne, Paul H. J. Kelly
2007	B	`conf`	A Declarative Framework for Analysis and Optimization. CC Henry Falconer, Paul H. J. Kelly, David M. Ingram, Michael R. Mellor, Tony Field, Olav Beckmann
2007	J	`jnl`	Efficient field-sensitive pointer analysis of C. ACM Trans. Program. Lang. Syst. David J. Pearce, Paul H. J. Kelly, Chris Hankin
2007	—	`conf`	Explicit Dependence Metadata in an Active Visual Effects Library. LCPC Jay L. T. Cornwall, Paul H. J. Kelly, Phil Parsonage, Bruno Nicoletti
2007	J	`jnl`	Profiling with AspectJ. Softw. Pract. Exp. David J. Pearce, Matthew Webster, Robert F. Berry, Paul H. J. Kelly
2006	J	`jnl`	A dynamic topological sort algorithm for directed acyclic graphs. ACM J. Exp. Algorithmics David J. Pearce, Paul H. J. Kelly
2006	A	`conf`	Automatically translating a general purpose C++ image processing library for GPUs. IPDPS Jay L. T. Cornwall, Olav Beckmann, Paul H. J. Kelly
2006	J	`jnl`	Is Morton layout competitive for large two-dimensional arrays yet? Concurr. Comput. Pract. Exp. Jeyarajan Thiyagalingam, Olav Beckmann, Paul H. J. Kelly
2006	J	`jnl`	Performance prediction of paging workloads using lightweight tracing. Future Gener. Comput. Syst. Ariel Nahum Burton, Paul H. J. Kelly
2006	—	`conf`	Topic 4: Compilers for High Performance. Euro-Par William Jalby, Oscar G. Plata, Barbara M. Chapman, Paul H. J. Kelly
2005	—	`conf`	A Domain-Specific Interpreter for Parallelizing a Large Mixed-Language Visualisation Application. LCPC Karen Osmond, Olav Beckmann, Tony Field, Paul H. J. Kelly
2005	J	`jnl`	Generative and Adaptive Methods in Performance Programming. Parallel Process. Lett. Paul H. J. Kelly, Olav Beckmann
2005	Misc	`conf`	Minimizing Associativity Conflicts in Morton Layout. PPAM Jeyarajan Thiyagalingam, Olav Beckmann, Paul H. J. Kelly
2004	—	`conf`	A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs. WEA David J. Pearce, Paul H. J. Kelly
2004	—	`conf`	Efficient field-sensitive pointer analysis for C. PASTE David J. Pearce, Paul H. J. Kelly, Chris Hankin
2004	—	`conf`	MEProf: modular extensible profiling for Eclipse. eTX Marc Hull, Olav Beckmann, Paul H. J. Kelly
2004	J	`jnl`	Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. Softw. Qual. J. David J. Pearce, Paul H. J. Kelly, Chris Hankin
2004	—	`conf`	Overcoming barriers to restructuring in a modular visualisation environment. LCR Olav Beckmann, Anthony J. Field, Gerard Gorman, Andrew Huff, Marc Hull, Paul H. J. Kelly
2004	—	`conf`	Topic 10: Parallel Programming: Models, Methods and Programming Languages. Euro-Par Paul H. J. Kelly, Sergei Gorlatch, Christoph W. Kessler, Daniel J. Quinlan
2003	—	`conf`	Improving the Performance of Morton Layout by Array Alignment and Loop Unrolling: Reducing the Price of Naivety. LCPC Jeyarajan Thiyagalingam, Olav Beckmann, Paul H. J. Kelly
2003	C	`conf`	Online Cycle Detection and Difference Propagation for Pointer Analysis. SCAM David J. Pearce, Paul H. J. Kelly, Chris Hankin
2003	A	`conf`	Optimising Java RMI Programs by Communication Restructuring. Middleware Kwok Cheung Yeung, Paul H. J. Kelly
2003	A	`conf`	Performance Prediction of Paging Workloads Using Lightweight Tracing. IPDPS Ariel Nahum Burton, Paul H. J. Kelly
2003	—	`conf`	Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation. Domain-Specific Program Generation Olav Beckmann, Alastair Houghton, Michael R. Mellor, Paul H. J. Kelly
2003	J	`jnl`	Search strategies for Java bottleneck location by dynamic instrumentation. IEE Proc. Softw. Douglas J. Brear, Thibaut Weise, Tim Wiffen, Kwok Cheung Yeung, Sarah A. M. Bennett, Paul H. J. Kelly
2002	—	`conf`	Delayed Evaluation, Self-optimising Software Components as a Programming Model. Euro-Par Peter Liniker, Olav Beckmann, Paul H. J. Kelly
2002	—	`conf`	GILK: A Dynamic Instrumentation Tool for the Linux Kernel. Computer Performance Evaluation / TOOLS David J. Pearce, Paul H. J. Kelly, Tony Field, Uli Harder
2002	—	`conf`	Instant-Access Cycle-Stealing for Parallel Applications Requiring Interactive Response. Euro-Par Paul H. J. Kelly, Susanna Pelagatti, M. Rossiter
2002	—	`conf`	Is Morton Layout Competitive for Large Two-Dimensional Arrays? Euro-Par Jeyarajan Thiyagalingam, Paul H. J. Kelly
2002	—	`conf`	Optimising Shared Reduction Variables in MPI Programs. Euro-Par A. J. Field, Paul H. J. Kelly, Thomas L. Hansen
2001	J	`jnl`	Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence. J. Funct. Program. Andrew J. Bennett, Paul H. J. Kelly, Ross A. Paterson
2001	J	`jnl`	THEMIS: Component Dependence Metadata in Adaptive Parallel Applications. Parallel Process. Lett. Paul H. J. Kelly, Olav Beckmann, Tony Field, Scott B. Baden
2001	—	`conf`	Topic 10: Parallel Programming: Models, Methods and Programming Languages. Euro-Par Scott B. Baden, Paul H. J. Kelly, Sergei Gorlatch, Calvin Lin
2000	—	`conf`	Adaptive Proxies: Handling Widely-Shared Data in Shared-Memory Multiprocessors (Research Note). Euro-Par Sarah A. M. Talbot, Paul H. J. Kelly
2000	—	`conf`	Programming Languages, Models, and Methods. Euro-Par Paul H. J. Kelly, Sergei Gorlatch, Scott B. Baden, Vladimir Getov
2000	—	`conf`	Run-Time Fusion of MPI Calls in a Parallel C++ Library. LCPC A. J. Field, Thomas L. Hansen, Paul H. J. Kelly
1999	—	`conf`	A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs. LCPC Olav Beckmann, Paul H. J. Kelly
1998	—	`conf`	Data Distribution at Run-Time: Re-using Execution Plans. Euro-Par Olav Beckmann, Paul H. J. Kelly
1998	—	`conf`	Efficient Interprocedural Data Placement Optimisation in a Parallel Library. LCR Olav Beckmann, Paul H. J. Kelly
1998	—	`conf`	Reactive Proxies: A Flexible Protocol Extension to Reduce ccNUMA Node Controller Contention. Euro-Par Sarah A. M. Talbot, Paul H. J. Kelly
1997	—	`conf`	Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. AADEBUG Richard W. M. Jones, Paul H. J. Kelly
1997	J	`jnl`	Efficient shared-memory support for parallel graph reduction. Future Gener. Comput. Syst. Andrew J. Bennett, Paul H. J. Kelly
1997	—	`conf`	M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applictions. Euro-Par Qian Wu, A. J. Field, Paul H. J. Kelly
1997	—	`conf`	Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries (Extended Abstract). Euro-Par Olav Beckmann, Paul H. J. Kelly
1996	—	`conf`	Cautions, Machine-Independent Performance Tuning for Shared-Memory Multiprocessors. Euro-Par, Vol. I Sarah A. M. Talbot, Andrew J. Bennett, Paul H. J. Kelly
1996	—	`conf`	Using Proxies to Reduce Controller Contention in Large Shared-Memory Multiprocessors. Euro-Par, Vol. II Andrew J. Bennett, Paul H. J. Kelly, Jacob G. Refstrup, Sarah A. M. Talbot
1995	A	`conf`	A Lazy, Self-optimizing Parallel Matrix Library. Functional Programming Simon Govier, Paul H. J. Kelly
1994	—	`conf`	Angel: Resource Unification in a.64-bit Microkernel. HICSS (2) Kevin Murray, Tim Wilkinson, Tom Stiemerling, Paul H. J. Kelly
1994	—	`conf`	Derivation and performance of a pipelined transaction processor. SPDP Andrew J. Bennett, Paul H. J. Kelly, Ross A. Paterson
1994	—	`conf`	Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction. PARLE Andrew J. Bennett, Paul H. J. Kelly
1994	J	`jnl`	Implementing functional languages : S Peyton Jones and D Lester Prentice-Hall UK (1992) 281 pp £22.95 ISBN 0 13 721952 0. Inf. Softw. Technol. Paul H. J. Kelly
1994	J	`jnl`	Paragon specifications: Structure, analysis and implementation. Future Gener. Comput. Syst. Paul Anderson, David Bolton, Paul H. J. Kelly
1993	—	`conf`	Design and Implementation of an Object-Oriented 64-bit Single Address Space Microkernel. USENIX Microkernels and Other Kernel Architectures Symposium Kevin Murray, Tim Wilkinson, Peter Osmon, Ashley Saulsbury, Tom Stiemerling, Paul H. J. Kelly
1993	—	`conf`	Localtiy and False Sharing in Coherent-Cache Parallel Graph Reduction. PARLE Andrew J. Bennett, Paul H. J. Kelly
1993	—	`conf`	Parallel Programming Using Skeleton Functions. PARLE John Darlington, A. J. Field, Peter G. Harrison, Paul H. J. Kelly, David W. N. Sharp, Qian Wu
1992	—	`conf`	Paragon Specifications: Structure, Analysis and Implementation. PARLE Paul Anderson, David Bolton, Paul H. J. Kelly
1990	J	`jnl`	Parallel object-oriented descriptions of graph reduction machines. Future Gener. Comput. Syst. David Bolton, Chris Hankin, Paul H. J. Kelly
1990	J	`jnl`	The feasibility of a general-purpose parallel computer using WSI. Future Gener. Comput. Syst. Paul Anderson, Paul H. J. Kelly, Phil Winterbottom
1989	—	`conf`	Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract). PARLE (1) David Bolton, Chris Hankin, Paul H. J. Kelly
1989	—	`conf`	The Feasibility of a General-purpose Parallel Computing using WSI. PARLE (1) Paul Anderson, Paul H. J. Kelly, Phil Winterbottom
1987	—	`conf`	COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer. PARLE (1) Paul Anderson, Chris Hankin, Paul H. J. Kelly, Peter Osmon, Malcolm J. Shute