Paul Kelly
TitleCited byYear
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
5091993
Backwards-compatible bounds checking for arrays and pointers in C programs
RWM Jones, PHJ Kelly
Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 …, 1997
4761997
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
4662013
Functional Programming
PHJ Kelly
MIT Press, 1989
1991989
Efficient field-sensitive pointer analysis of C
DJ Pearce, PHJ Kelly, C Hankin
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 4, 2007
1802007
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), 24, 2017
1632017
Dense planar SLAM
RF Salas-Moreno, B Glocken, PHJ Kelly, AJ Davison
2014 IEEE international symposium on mixed and augmented reality (ISMAR …, 2014
1362014
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
1072013
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
892015
A dynamic topological sort algorithm for directed acyclic graphs
DJ Pearce, PHJ Kelly
Journal of Experimental Algorithmics (JEA) 11, 1.7, 2007
832007
Symbolic crosschecking of floating-point and SIMD code
P Collingbourne, C Cadar, PHJ Kelly
European Conference on Computer Systems (EuroSys 2011), 2011
772011
Profiling with aspectj
DJ Pearce, M Webster, R Berry, PHJ Kelly
Software: Practice and Experience 37 (7), 747-777, 2007
742007
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
662011
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
662004
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
652013
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
582012
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
562012
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), 57, 2015
532015
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
492011
Online cycle detection and difference propagation for pointer analysis
DJ Pearce, PHJ Kelly, C Hankin
Proceedings Third IEEE International Workshop on Source Code Analysis and …, 2003
492003
The system can't perform the operation now. Try again later.
Articles 1–20