Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDPaul H. J. Kelly
Person information
- affiliation: Imperial College London
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[i33]Riku Murai, Joseph Ortiz, Sajad Saeedi, Paul H. J. Kelly, Andrew J. Davison:
A Robot Web for Distributed Many-Device Localisation. CoRR abs/2202.03314 (2022)- [i32]Hao-Ya Hsueh, Alexandru-Iosif Toma, Hussein Ali Jaafar, Edward Stow, Riku Murai, Paul H. J. Kelly, Sajad Saeedi:
Systematic Comparison of Path Planning Algorithms using PathBench. CoRR abs/2203.03092 (2022) - 2021
- [c92]Alexandru-Iosif Toma, Hao-Ya Hsueh, Hussein Ali Jaafar, Riku Murai, Paul H. J. Kelly, Sajad Saeedi:
PathBench: A Benchmarking Platform for Classical and Learned Path Planning Algorithms. CRV 2021: 79-86 - [c91]Philippos Papaphilippou
, Paul H. J. Kelly, Wayne Luk:
Demonstrating custom SIMD instruction development for a RISC-V softcore. FPL 2021: 139 - [c90]Philippos Papaphilippou, Paul H. J. Kelly, Wayne Luk:
Simodense: a RISC-V softcore optimised for exploring custom SIMD instructions. FPL 2021: 391-397 - [c89]George Bisbas, Fabio Luporini, Mathias Louboutin, Rhodri Nelson, Gerard J. Gorman, Paul H. J. Kelly:
Temporal blocking of finite-difference stencil operators with sparse "off-the-grid" sources. IPDPS 2021: 497-506 - [i31]Edward Stow, Riku Murai, Sajad Saeedi, Paul H. J. Kelly:
Cain: Automatic Code Generation for Simultaneous Convolutional Kernels on Focal-plane Sensor-processors. CoRR abs/2101.08715 (2021) - [i30]Alexandru-Iosif Toma, Hao-Ya Hsueh, Hussein Ali Jaafar, Riku Murai, Paul H. J. Kelly, Sajad Saeedi:
PathBench: A Benchmarking Platform for Classical and Learned Path Planning Algorithms. CoRR abs/2105.01777 (2021) - [i29]Philippos Papaphilippou, Paul H. J. Kelly, Wayne Luk:
Extending the RISC-V ISA for exploring advanced reconfigurable SIMD instructions. CoRR abs/2106.07456 (2021) - 2020
- [j41]Tianjiao Sun, Lawrence Mitchell, Kaushik Kulkarni, Andreas Klöckner, David A. Ham, Paul H. J. Kelly:
A study of vectorization for matrix-free finite element methods. Int. J. High Perform. Comput. Appl. 34(6) (2020) - [j40]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:
Architecture and Performance of Devito, a System for Automated Stencil Computation. ACM Trans. Math. Softw. 46(1): 6:1-6:28 (2020) - [c88]Eduardo D. C. Carvalho, Ronald Clark, Andrea Nicastro, Paul H. J. Kelly:
Scalable Uncertainty for Computer Vision With Functional Variational Inference. CVPR 2020: 12000-12010 - [c87]Riku Murai, Sajad Saeedi, Paul H. J. Kelly:
BIT-VO: Visual Odometry at 300 FPS using Binary Features from the Focal Plane. IROS 2020: 8579-8586 - [c86]Edward Stow, Riku Murai, Sajad Saeedi, Paul H. J. Kelly:
Cain: Automatic Code Generation for Simultaneous Convolutional Kernels on Focal-plane Sensor-processors. LCPC 2020: 181-197 - [i28]Eduardo D. C. Carvalho, Ronald Clark, Andrea Nicastro, Paul H. J. Kelly:
Scalable Uncertainty for Computer Vision with Functional Variational Inference. CoRR abs/2003.03396 (2020) - [i27]Riku Murai, Sajad Saeedi, Paul H. J. Kelly:
BIT-VO: Visual Odometry at 300 FPS using Binary Features from the Focal Plane. CoRR abs/2004.11186 (2020) - [i26]Matthew Z. Wong, Benoît Guillard, Riku Murai, Sajad Saeedi, Paul H. J. Kelly:
AnalogNet: Convolutional Neural Network Inference on Analog Focal Plane Sensor Processors. CoRR abs/2006.01765 (2020) - [i25]David Birch, Nicolai Stawinoga, Jack Binks, Bruno Nicoletti, Paul H. J. Kelly:
Abstracting spreadsheet data flow through hypergraph redrawing. CoRR abs/2006.04794 (2020) - [i24]Navjot Kukreja, Jan Hückelheim, Mathias Louboutin, John Washbourne, Paul H. J. Kelly, Gerard J. Gorman:
Lossy Checkpoint Compression in Full Waveform Inversion. CoRR abs/2009.12623 (2020) - [i23]George Bisbas, Fabio Luporini, Mathias Louboutin, Rhodri Nelson, Gerard Gorman, Paul H. J. Kelly:
Temporal blocking of finite-difference stencil operators with sparse "off-the-grid" sources. CoRR abs/2010.10248 (2020) - [i22]Paolo Bientinesi, David A. Ham, Furong Huang, Paul H. J. Kelly, Christian Lengauer, Saday Sadayappan:
Tensor Computations: Applications and Optimization (Dagstuhl Seminar 20111). Dagstuhl Reports 10(3): 58-70 (2020)
2010 – 2019
- 2019
- [j39]Thomas Debrunner, Sajad Saeedi, Paul H. J. Kelly:
AUKE: Automatic Kernel Code Generation for an Analogue SIMD Focal-Plane Sensor-Processor Array. ACM Trans. Archit. Code Optim. 15(4): 59:1-59:26 (2019) - [j38]Fabio Luporini, Michael Lange, Christian T. Jacobs, Gerard J. Gorman, J. Ramanujam, Paul H. J. Kelly:
Automated Tiling of Unstructured Mesh Computations with Application to Seismological Modeling. ACM Trans. Math. Softw. 45(2): 17:1-17:30 (2019) - [c85]Emanuele Vespa, Nils Funk, Paul H. J. Kelly, Stefan Leutenegger:
Adaptive-Resolution Octree-Based Volumetric SLAM. 3DV 2019: 654-662 - [c84]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:
SLAMBench 3.0: Systematic Automated Reproducible Evaluation of SLAM Systems for Robot Vision Challenges and Scene Understanding. ICRA 2019: 6351-6358 - [c83]Sajad Saeedi, Eduardo D. C. Carvalho, Wenbin Li, Dimos Tzoumanikas, Stefan Leutenegger, Paul H. J. Kelly, Andrew J. Davison:
Characterizing Visual Localization and Mapping Datasets. ICRA 2019: 6699-6705 - [i21]Tianjiao Sun, Lawrence Mitchell, Kaushik Kulkarni, Andreas Klöckner, David A. Ham, Paul H. J. Kelly:
A study of vectorization for matrix-free finite element methods. CoRR abs/1903.08243 (2019) - [i20]Philippos Papaphilippou, Paul H. J. Kelly, Wayne Luk:
Pangloss: a novel Markov chain prefetcher. CoRR abs/1906.00877 (2019) - 2018
- [j37]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:
Navigating the Landscape for Real-Time Localization and Mapping for Robotics and Virtual and Augmented Reality. Proc. IEEE 106(11): 2020-2039 (2018) - [j36]Emanuele Vespa, Nikolay Nikolov, Marius Grimm, Luigi Nardi, Paul H. J. Kelly, Stefan Leutenegger:
Efficient Octree-Based Volumetric SLAM Supporting Signed-Distance and Occupancy Mapping. IEEE Robotics Autom. Lett. 3(2): 1144-1151 (2018) - [c82]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:
SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. ICRA 2018: 1-8 - [c81]Bruno Bodin, Luigi Nardi, Harry Wagstaff, Paul H. J. Kelly, Michael F. P. O'Boyle:
Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications. ISPASS 2018: 123-124 - [c80]Marius K. Koch, Paul H. J. Kelly, Peter E. Vincent:
Towards In-Situ Vortex Identification for Peta-Scale CFD Using Contour Trees. LDAV 2018: 104-105 - [c79]Alexandru Nica, Emanuele Vespa, Pablo González de Aledo, Paul H. J. Kelly:
Investigating automatic vectorization for real-time 3D scene understanding. WPMVP@PPoPP 2018: 5:1-5:8 - [i19]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:
Architecture and performance of Devito, a system for automated stencil computation. CoRR abs/1807.03032 (2018) - [i18]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:
Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality. CoRR abs/1808.06352 (2018) - [i17]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:
SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. CoRR abs/1808.06820 (2018) - [i16]Sebastian Hack, Paul H. J. Kelly, Christian Lengauer:
Loop Optimization (Dagstuhl Seminar 18111). Dagstuhl Reports 8(3): 39-59 (2018) - 2017
- [j35]Matthias Bolten, Franz Franchetti, Paul H. J. Kelly, Christian Lengauer, Marcus Mohr:
Algebraic description and automatic generation of multigrid methods in SPIRAL. Concurr. Comput. Pract. Exp. 29(17) (2017) - [j34]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:
Firedrake: Automating the Finite Element Method by Composing Abstractions. ACM Trans. Math. Softw. 43(3): 24:1-24:27 (2017) - [j33]Fabio Luporini, David A. Ham, Paul H. J. Kelly:
An Algorithm for the Optimization of Finite Element Integration Loops. ACM Trans. Math. Softw. 44(1): 3:1-3:26 (2017) - [j32]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:
Trends in Data Locality Abstractions for HPC Systems. IEEE Trans. Parallel Distributed Syst. 28(10): 3007-3020 (2017) - [c78]Sajad Saeedi, Luigi Nardi, Edward Johns, Bruno Bodin, Paul H. J. Kelly, Andrew J. Davison:
Application-oriented design space exploration for SLAM algorithms. ICRA 2017: 5716-5723 - [c77]Luigi Nardi, Bruno Bodin, Sajad Saeedi, Emanuele Vespa, Andrew J. Davison, Paul H. J. Kelly:
Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications Using HyperMapper. IPDPS Workshops 2017: 1434-1443 - [i15]Luigi Nardi, Bruno Bodin, Sajad Saeedi, Emanuele Vespa, Andrew J. Davison, Paul H. J. Kelly:
Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications Using HyperMapper. CoRR abs/1702.00505 (2017) - [i14]Fabio Luporini, Michael Lange, Christian T. Jacobs, Gerard J. Gorman, J. Ramanujam, Paul H. J. Kelly:
Automated Tiling of Unstructured Mesh Computations with Application to Seismological Modelling. CoRR abs/1708.03183 (2017) - [i13]Anshu Dubey, Paul H. J. Kelly, Bernd Mohr, Jeffrey S. Vetter:
Performance Portability in Extreme Scale Computing (Dagstuhl Seminar 17431). Dagstuhl Reports 7(10): 84-110 (2017) - 2016
- [j31]Bartosz D. Wozniak, Freddie D. Witherden, Francis P. Russell, Peter E. Vincent, Paul H. J. Kelly:
GiMMiK - Generating bespoke matrix multiplication kernels for accelerators: Application to high-order Computational Fluid Dynamics. Comput. Phys. Commun. 202: 12-22 (2016) - [j30]István Z. Reguly, Gihan R. Mudalige, Carlo Bertolli, Michael B. Giles, Adam Betts, Paul H. J. Kelly, David Radford:
Acceleration of a Full-Scale Industrial CFD Application with OP2. IEEE Trans. Parallel Distributed Syst. 27(5): 1265-1278 (2016) - [c76]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:
Integrating Algorithmic Parameters into Benchmarking and Design Space Exploration in 3D Scene Understanding. PACT 2016: 57-69 - [c75]M. Zeeshan Zia, Luigi Nardi, Andrew Jack, Emanuele Vespa, Bruno Bodin, Paul H. J. Kelly, Andrew J. Davison:
Comparative design space exploration of dense and semi-dense SLAM. ICRA 2016: 1292-1299 - [c74]Bruno Bodin, Luigi Nardi, Paul H. J. Kelly, Michael F. P. O'Boyle:
Diplomat: Mapping of Multi-kernel Applications Using a Static Dataflow Abstraction. MASCOTS 2016: 241-250 - [i12]Fabio Luporini, David A. Ham, Paul H. J. Kelly:
An algorithm for the optimization of finite element integration loops. CoRR abs/1604.05872 (2016) - [i11]Gheorghe-Teodor Bercea, Andrew T. T. McRae, David A. Ham, Lawrence Mitchell, Florian Rathgeber, Luigi Nardi, Fabio Luporini, Paul H. J. Kelly:
A numbering algorithm for finite element on extruded meshes which avoids the unstructured mesh penalty. CoRR abs/1604.05937 (2016) - 2015
- [j29]Francis P. Russell, Karl A. Wilkinson, Paul H. J. Kelly, Chris-Kriton Skylaris:
Optimised three-dimensional Fourier interpolation: An analysis of techniques and application to a linear-scaling density functional theory code. Comput. Phys. Commun. 187: 8-19 (2015) - [c73]Georgios Rokos, Gerard Gorman, Paul H. J. Kelly:
A Fast and Scalable Graph Coloring Algorithm for Multi-core and Many-core Architectures. Euro-Par 2015: 414-425 - [c72]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:
Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. ICRA 2015: 5783-5790 - [c71]Doru-Thom Popovici, Francis P. Russell, Karl A. Wilkinson, Chris-Kriton Skylaris, Paul H. J. Kelly, Franz Franchetti:
Generating Optimized Fourier Interpolation Routines for Density Functional Theory Using SPIRAL. IPDPS 2015: 743-752 - [i10]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:
Firedrake: automating the finite element method by composing abstractions. CoRR abs/1501.01809 (2015) - [i9]Georgios Rokos, Gerard Gorman, Paul H. J. Kelly:
A Fast and Scalable Graph Coloring Algorithm for Multi-core and Many-core Architectures. CoRR abs/1505.04086 (2015) - [i8]Georgios Rokos, Gerard J. Gorman, Paul H. J. Kelly:
An Interrupt-Driven Work-Sharing For-Loop Scheduler. CoRR abs/1505.04134 (2015) - [i7]Georgios Rokos, Gerard J. Gorman, Kristian Ejlebjerg Jensen, Paul H. J. Kelly:
Thread Parallelism for Highly Irregular Computation in Anisotropic Mesh Adaptation. CoRR abs/1505.04694 (2015) - [i6]M. Zeeshan Zia, Luigi Nardi, Andrew Jack, Emanuele Vespa, Bruno Bodin, Paul H. J. Kelly, Andrew J. Davison:
Comparative Design Space Exploration of Dense and Semi-Dense SLAM. CoRR abs/1509.04648 (2015) - 2014
- [j28]Fabio Luporini, Ana Lucia Varbanescu, Florian Rathgeber, Gheorghe-Teodor Bercea, J. Ramanujam, David A. Ham, Paul H. J. Kelly:
Cross-Loop Optimization of Arithmetic Intensity for Finite Element Local Assembly. ACM Trans. Archit. Code Optim. 11(4): 57:1-57:25 (2014) - [j27]Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly:
Symbolic Crosschecking of Data-Parallel Floating-Point Code. IEEE Trans. Software Eng. 40(7): 710-737 (2014) - [c70]Michelle Mills Strout, Fabio Luporini, Christopher D. Krieger, Carlo Bertolli, Gheorghe-Teodor Bercea, Catherine Olschanowsky, J. Ramanujam, Paul H. J. Kelly:
Generalizing Run-Time Tiling with the Loop Chain Abstraction. IPDPS 2014: 1136-1145 - [c69]Renato F. Salas-Moreno, Ben Glocker, Paul H. J. Kelly, Andrew J. Davison:
Dense planar SLAM. ISMAR 2014: 157-164 - [c68]Renato F. Salas-Moreno, Ben Glocker, Paul H. J. Kelly, Andrew J. Davison:
Dense planar SLAM. ISMAR 2014: 367-368 - [i5]David Birch, Helen Liang, Paul H. J. Kelly, Glen Mullineux, Tony Field, Joan Ko, Alvise Simondetti:
Multidisciplinary Engineering Models: Methodology and Case Study in Spreadsheet Analytics. CoRR abs/1401.4582 (2014) - [i4]István Z. Reguly, Gihan R. Mudalige, Carlo Bertolli, Michael B. Giles, Adam Betts, Paul H. J. Kelly, David Radford:
Acceleration of a Full-scale Industrial CFD Application with OP2. CoRR abs/1403.7209 (2014) - [i3]Fabio Luporini, Ana Lucia Varbanescu, Florian Rathgeber, Gheorghe-Teodor Bercea, J. Ramanujam, David A. Ham, Paul H. J. Kelly:
COFFEE: an Optimizing Compiler for Finite Element Local Assembly. CoRR abs/1407.0904 (2014) - [i2]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:
Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. CoRR abs/1410.2167 (2014) - 2013
- [j26]Simon A. Spacey, Wayne Luk, Daniel Kuhn, Paul H. J. Kelly:
Parallel partitioning for distributed systems using sequential assignment. J. Parallel Distributed Comput. 73(2): 207-219 (2013) - [j25]Gihan R. Mudalige, Mike B. Giles, Jeyarajan Thiyagalingam, I. Z. Reguly, Carlo Bertolli, Paul H. J. Kelly, Anne E. Trefethen:
Design and initial performance of a high-level unstructured mesh framework on heterogeneous parallel systems. Parallel Comput. 39(11): 669-692 (2013) - [j24]Francis P. Russell, Paul H. J. Kelly:
Optimized code generation for finite element local assembly using symbolic manipulation. ACM Trans. Math. Softw. 39(4): 26:1-26:29 (2013) - [c67]Tobias Grosser, Albert Cohen, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan, Sven Verdoolaege:
Split tiling for GPUs: automatic parallelization using trapezoidal tiles. GPGPU@ASPLOS 2013: 24-31 - [c66]David Birch, Paul H. J. Kelly, Anthony J. Field, Alvise Simondetti:
Computationally unifying urban masterplanning. Conf. Computing Frontiers 2013: 32:1-32:10 - [c65]Renato F. Salas-Moreno, Richard A. Newcombe, Hauke Strasdat, Paul H. J. Kelly, Andrew J. Davison:
SLAM++: Simultaneous Localisation and Mapping at the Level of Objects. CVPR 2013: 1352-1359 - [c64]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:
Loop Chaining: A Programming Abstraction for Balancing Locality and Parallelism. IPDPS Workshops 2013: 375-384 - [c63]Athanasios Konstantinidis, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan:
Parametric GPU Code Generation for Affine Loop Programs. LCPC 2013: 136-151 - [c62]Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer:
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. OOPSLA 2013: 605-622 - [c61]Graham R. Markall, Florian Rathgeber, Lawrence Mitchell, Nicolas Loriant, Carlo Bertolli, David A. Ham, Paul H. J. Kelly:
Performance-Portable Finite Element Assembly Using PyOP2 and FEniCS. ISC 2013: 279-289 - [i1]Georgios Rokos, Gerard J. Gorman, James Southern, Paul H. J. Kelly:
A thread-parallel algorithm for anisotropic mesh adaptation. CoRR abs/1308.2480 (2013) - 2012
- [j23]Mike B. Giles, Gihan R. Mudalige, Z. Sharif, Graham R. Markall, Paul H. J. Kelly:
Performance Analysis and Optimization of the OP2 Framework on Many-Core Architectures. Comput. J. 55(2): 168-180 (2012) - [j22]Hubertus Franke, Paul H. J. Kelly, Pedro Trancoso:
Guest Editorial: Computing Frontiers. Int. J. Parallel Program. 40(6): 551-552 (2012) - [j21]Simon A. Spacey, Wayne Luk, Paul H. J. Kelly, Daniel Kuhn:
Improving communication latency with the write-only architecture. J. Parallel Distributed Comput. 72(12): 1617-1627 (2012) - [j20]Kevin Hammond, Paul H. J. Kelly:
Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. Sci. Comput. Program. 77(2): 81-82 (2012) - [j19]Gihan R. Mudalige, Mike B. Giles, Carlo Bertolli, Paul H. J. Kelly:
Predictive modeling and analysis of OP2 on distributed memory GPU clusters. SIGMETRICS Perform. Evaluation Rev. 40(2): 61-67 (2012) - [c60]Carlo Bertolli, Adam Betts, Paul H. J. Kelly, Gihan R. Mudalige, Mike B. Giles:
Mesh independent loop fusion for unstructured mesh applications. Conf. Computing Frontiers 2012: 43-52 - [c59]Paul H. J. Kelly:
Using domain-specific languages and access-execute descriptors to expand the parallel code synthesis design space: keynote talk. FHPC@ICFP 2012: 1-2 - [c58]Carlo Bertolli, Adam Betts, Nicolas Loriant, Gihan R. Mudalige, David Radford, David A. Ham, Mike B. Giles, Paul H. J. Kelly:
Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs. LCPC 2012: 112-126 - [c57]Mike B. Giles, Gihan R. Mudalige, Carlo Bertolli, Paul H. J. Kelly, Endre László, I. Z. Reguly:
An Analytical Study of Loop Tiling for a Large-Scale Unstructured Mesh Application. SC Companion 2012: 477-482 - [c56]Florian Rathgeber, Graham R. Markall, Lawrence Mitchell, Nicolas Loriant, David A. Ham, Carlo Bertolli, Paul H. J. Kelly:
PyOP2: A High-Level Framework for Performance-Portable Simulations on Unstructured Meshes. SC Companion 2012: 1116-1123 - [c55]Gerard J. Gorman, James Southern, Patrick E. Farrell, M. D. Piggott, Georgios Rokos, Paul H. J. Kelly:
Hybrid OpenMP/MPI Anisotropic Mesh Smoothing. ICCS 2012: 1513-1522 - 2011
- [j18]Francis P. Russell, Michael R. Mellor, Paul H. J. Kelly, Olav Beckmann:
DESOLA: An active linear algebra library using delayed evaluation and runtime code generation. Sci. Comput. Program. 76(4): 227-242 (2011) - [j17]Mike B. Giles, Gihan R. Mudalige, Z. Sharif, Graham R. Markall, Paul H. J. Kelly:
Performance analysis of the OP2 framework on many-core architectures. SIGMETRICS Perform. Evaluation Rev. 38(4): 9-15 (2011) - [c54]Carlo Bertolli, Adam Betts, Gihan R. Mudalige, Mike B. Giles, Paul H. J. Kelly:
Design and Performance of the OP2 Library for Unstructured Mesh Applications. Euro-Par Workshops (1) 2011: 191-200 - [c53]Georgios Rokos, Gerard Gorman, Paul H. J. Kelly:
Accelerating Anisotropic Mesh Adaptivity on nVIDIA's CUDA Using Texture Interpolation. Euro-Par (2) 2011: 387-398 - [c52]Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly:
Symbolic crosschecking of floating-point and SIMD code. EuroSys 2011: 315-328 - [c51]Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly:
Symbolic Testing of OpenCL Code. Haifa Verification Conference 2011: 203-218 - 2010
- [j16]Peter Collingbourne, Paul H. J. Kelly:
Inference of Session Types From Control Flow. Electron. Notes Theor. Comput. Sci. 238(6): 15-40 (2010) - [c50]David J. Pearce, Paul H. J. Kelly:
A batch algorithm for maintaining a topological order. ACSC 2010: 79-88 - [c49]Graham R. Markall, David A. Ham, Paul H. J. Kelly:
Towards generating optimised finite element solvers for GPUs from high-level specifications. ICCS 2010: 1815-1823 - [e1]Nancy M. Amato, Hubertus Franke, Paul H. J. Kelly:
Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro, Italy, May 17-19, 2010. ACM 2010, ISBN 978-1-4503-0044-5 [contents]
2000 – 2009
- 2009
- [c48]Jay L. T. Cornwall, Lee W. Howes, Paul H. J. Kelly, Phil Parsonage, Bruno Nicoletti:
High-performance SIMT code generation in an active visual effects library. Conf. Computing Frontiers 2009: 175-184 - [c47]Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly:
Towards Metaprogramming for Parallel Systems on a Chip. Euro-Par Workshops 2009: 36-45 - [c46]Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly:
Deriving Efficient Data Movement from Decoupled Access/Execute Specifications. HiPEAC 2009: 168-182 - 2007
- [j15]David J. Pearce, Matthew Webster, Robert F. Berry, Paul H. J. Kelly:
Profiling with AspectJ. Softw. Pract. Exp. 37(7): 747-777 (2007) - [j14]David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Efficient field-sensitive pointer analysis of C. ACM Trans. Program. Lang. Syst. 30(1): 4 (2007) - [c45]Henry Falconer, Paul H. J. Kelly, David M. Ingram, Michael R. Mellor, Tony Field, Olav Beckmann:
A Declarative Framework for Analysis and Optimization. CC 2007: 218-232 - [c44]Jay L. T. Cornwall, Paul H. J. Kelly, Phil Parsonage, Bruno Nicoletti:
Explicit Dependence Metadata in an Active Visual Effects Library. LCPC 2007: 172-186 - 2006
- [j13]Jeyarajan Thiyagalingam, Olav Beckmann, Paul H. J. Kelly:
Is Morton layout competitive for large two-dimensional arrays yet? Concurr. Comput. Pract. Exp. 18(11): 1509-1539 (2006) - [j12]Ariel Nahum Burton, Paul H. J. Kelly:
Performance prediction of paging workloads using lightweight tracing. Future Gener. Comput. Syst. 22(7): 784-793 (2006) - [j11]David J. Pearce, Paul H. J. Kelly:
A dynamic topological sort algorithm for directed acyclic graphs. ACM J. Exp. Algorithmics 11 (2006) - [c43]William Jalby, Oscar G. Plata, Barbara M. Chapman, Paul H. J. Kelly:
Topic 4: Compilers for High Performance. Euro-Par 2006: 277 - [c42]Jay L. T. Cornwall, Olav Beckmann, Paul H. J. Kelly:
Automatically translating a general purpose C++ image processing library for GPUs. IPDPS 2006 - 2005
- [j10]Paul H. J. Kelly, Olav Beckmann:
Generative and Adaptive Methods in Performance Programming. Parallel Process. Lett. 15(3): 239-256 (2005) - [c41]