Follow
Paul Kelly
Title
Cited by
Cited by
Year
Slam++: Simultaneous localisation and mapping at the level of objects
RF Salas-Moreno, RA Newcombe, H Strasdat, PHJ Kelly, AJ Davison
Proceedings of the IEEE conference on computer vision and pattern …, 2013
11562013
Firedrake: automating the finite element method by composing abstractions
F Rathgeber, DA Ham, L Mitchell, M Lange, F Luporini, ATT McRae, ...
ACM Transactions on Mathematical Software (TOMS) 43 (3), 1-27, 2016
7062016
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs.
RWM Jones, PHJ Kelly
AADEBUG 97, 13-26, 1997
5761997
Parallel programming using skeleton functions
J Darlington, AJ Field, PG Harrison, PHJ Kelly, DWN Sharp, Q Wu, ...
PARLE'93 Parallel Architectures and Languages Europe: 5th International …, 1993
5411993
Dense planar SLAM
RF Salas-Moreno, B Glocken, PHJ Kelly, AJ Davison
2014 IEEE international symposium on mixed and augmented reality (ISMAR …, 2014
2742014
Efficient field-sensitive pointer analysis of C
DJ Pearce, PHJ Kelly, C Hankin
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 4-es, 2007
2462007
Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM
L Nardi, B Bodin, MZ Zia, J Mawer, A Nisbet, PHJ Kelly, AJ Davison, ...
2015 IEEE international conference on robotics and automation (ICRA), 5783-5790, 2015
2032015
Functional programming for loosely-coupled multiprocessors
PH Kelly
MIT Press, 1989
1921989
Finite element assembly strategies on multi‐core and many‐core architectures
GR Markall, A Slemmer, DA Ham, PHJ Kelly, CD Cantwell, SJ Sherwin
International Journal for Numerical Methods in Fluids 71 (1), 80-97, 2013
1612013
Architecture and performance of Devito, a system for automated stencil computation
F Luporini, M Louboutin, M Lange, N Kukreja, P Witte, J Hückelheim, ...
ACM Transactions on Mathematical Software (TOMS) 46 (1), 1-28, 2020
1602020
Gaussian splatting slam
H Matsuki, R Murai, PHJ Kelly, AJ Davison
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2024
1572024
A dynamic topological sort algorithm for directed acyclic graphs
DJ Pearce, PHJ Kelly
Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007
1262007
Trends in data locality abstractions for HPC systems
D Unat, A Dubey, T Hoefler, J Shalf, M Abraham, M Bianco, ...
IEEE Transactions on Parallel and Distributed Systems 28 (10), 3007-3020, 2017
1252017
Split tiling for GPUs: automatic parallelization using trapezoidal tiles
T Grosser, A Cohen, PHJ Kelly, J Ramanujam, P Sadayappan, ...
Proceedings of the 6th Workshop on General Purpose Processor Using Graphics …, 2013
1162013
Symbolic crosschecking of floating-point and SIMD code
P Collingbourne, C Cadar, PHJ Kelly
Proceedings of the sixth conference on Computer systems, 315-328, 2011
1162011
From h to p efficiently: Strategy selection for operator evaluation on hexahedral and tetrahedral elements
CD Cantwell, SJ Sherwin, RM Kirby, PHJ Kelly
Computers & Fluids 43 (1), 23-28, 2011
1152011
Online cycle detection and difference propagation: Applications to pointer analysis
DJ Pearce, PHJ Kelly, C Hankin
Software Quality Journal 12, 311-337, 2004
1132004
OP2: An active library framework for solving unstructured mesh-based applications on multi-core and many-core architectures
GR Mudalige, MB Giles, I Reguly, C Bertolli, PHJ Kelly
2012 Innovative Parallel Computing (InPar), 1-12, 2012
1102012
Efficient octree-based volumetric SLAM supporting signed-distance and occupancy mapping
E Vespa, N Nikolov, M Grimm, L Nardi, PHJ Kelly, S Leutenegger
IEEE Robotics and Automation Letters 3 (2), 1144-1151, 2018
1052018
PyOP2: A high-level framework for performance-portable simulations on unstructured meshes
F Rathgeber, GR Markall, L Mitchell, N Loriant, DA Ham, C Bertolli, ...
2012 SC Companion: High Performance Computing, Networking Storage and …, 2012
962012
The system can't perform the operation now. Try again later.
Articles 1–20