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 | 1102 | 2013 |
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 | 680 | 2016 |
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. RWM Jones, PHJ Kelly AADEBUG 97, 13-26, 1997 | 573 | 1997 |
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 | 537 | 1993 |
Dense planar SLAM RF Salas-Moreno, B Glocken, PHJ Kelly, AJ Davison 2014 IEEE international symposium on mixed and augmented reality (ISMAR …, 2014 | 269 | 2014 |
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 | 236 | 2007 |
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 | 192 | 2015 |
Functional programming for loosely-coupled multiprocessors PH Kelly MIT Press, 1989 | 192 | 1989 |
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 | 156 | 2013 |
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 | 146 | 2020 |
A dynamic topological sort algorithm for directed acyclic graphs DJ Pearce, PHJ Kelly Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007 | 124 | 2007 |
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 | 118 | 2017 |
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 | 113 | 2011 |
Online cycle detection and difference propagation: Applications to pointer analysis DJ Pearce, PHJ Kelly, C Hankin Software Quality Journal 12, 311-337, 2004 | 111 | 2004 |
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 | 110 | 2013 |
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 | 110 | 2011 |
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 | 107 | 2012 |
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 | 94 | 2012 |
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 | 93 | 2018 |
Profiling with aspectj DJ Pearce, M Webster, R Berry, PHJ Kelly Software: Practice and Experience 37 (7), 747-777, 2007 | 90 | 2007 |