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
6282013
Parallel programming using skeleton functions
J Darlington, AJ Field, PG Harrison, PHJ Kelly, DWN Sharp, Q Wu, ...
International Conference on Parallel Architectures and Languages Europe, 146-160, 1993
5211993
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs.
RWM Jones, PHJ Kelly
AADEBUG, 13-26, 1997
5041997
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
3012016
Functional programming for loosely-coupled multiprocessors
PH Kelly
MIT Press, 1989
1951989
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
1902007
Dense planar SLAM
RF Salas-Moreno, B Glocken, PHJ Kelly, AJ Davison
2014 IEEE international symposium on mixed and augmented reality (ISMAR …, 2014
1702014
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
1272013
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
1222015
A dynamic topological sort algorithm for directed acyclic graphs
DJ Pearce, PHJ Kelly
Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007
962007
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
872011
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
832013
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
812011
Profiling with aspectj
DJ Pearce, M Webster, R Berry, PHJ Kelly
Software: Practice and Experience 37 (7), 747-777, 2007
802007
Cross-loop optimization of arithmetic intensity for finite element local assembly
F Luporini, AL Varbanescu, F Rathgeber, GT Bercea, J Ramanujam, ...
ACM Transactions on Architecture and Code Optimization (TACO) 11 (4), 1-25, 2015
732015
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
732012
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
732012
Runtime code generation in C++ as a foundation for domain-specific optimisation
O Beckmann, A Houghton, M Mellor, PHJ Kelly
Domain-Specific Program Generation, 291-306, 2004
682004
Symbolic testing of OpenCL code
P Collingbourne, C Cadar, PHJ Kelly
Haifa Verification Conference, 203-218, 2011
542011
Performance analysis of the OP2 framework on many-core architectures
MB Giles, GR Mudalige, Z Sharif, G Markall, PHJ Kelly
ACM SIGMETRICS Performance Evaluation Review 38 (4), 9-15, 2011
532011
The system can't perform the operation now. Try again later.
Articles 1–20