default search action
Google
Google Scholar
Semantic Scholar
Internet Archive 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
- 2024
[j49]Riku Murai
, Ignacio Alzugaray, Paul H. J. Kelly, Andrew J. Davison:
Distributed Simultaneous Localisation and Auto-Calibration Using Gaussian Belief Propagation. IEEE Robotics Autom. Lett. 9(3): 2136-2143 (2024)- [j48]Riku Murai, Joseph Ortiz, Sajad Saeedi G., Paul H. J. Kelly, Andrew J. Davison:
A Robot Web for Distributed Many-Device Localization. IEEE Trans. Robotics 40: 121-138 (2024) - [c97]George Bisbas, Anton Lydike, Emilien Bauer, Nick Brown, Mathieu Fehr, Lawrence Mitchell, Gabriel Rodriguez-Canal, Maurice Jamieson, Paul H. J. Kelly, Michel Steuwer, Tobias Grosser:
A shared compilation stack for distributed-memory parallelism in stencil DSLs. ASPLOS (3) 2024: 38-56 - [c96]Hidenobu Matsuki, Riku Murai, Paul H. J. Kelly, Andrew J. Davison:
Gaussian Splatting SLAM. CVPR 2024: 18039-18048 - [c95]Shuang Liang, Yuncheng Lu, Ce Guo, Wayne Luk, Paul H. J. Kelly:
PCQ: Parallel Compact Quantum Circuit Simulation. FCCM 2024: 24-31 - [i38]Riku Murai, Ignacio Alzugaray, Paul H. J. Kelly, Andrew J. Davison:
Distributed Simultaneous Localisation and Auto-Calibration using Gaussian Belief Propagation. CoRR abs/2401.15036 (2024) - [i37]George Bisbas, Anton Lydike, Emilien Bauer, Nick Brown, Mathieu Fehr, Lawrence Mitchell, Gabriel Rodriguez-Canal, Maurice Jamieson, Paul H. J. Kelly, Michel Steuwer, Tobias Grosser:
A shared compilation stack for distributed-memory parallelism in stencil DSLs. CoRR abs/2404.02218 (2024) - 2023
- [j47]Riku Murai, Sajad Saeedi, Paul H. J. Kelly:
High-frame rate homography and visual odometry by tracking binary features from the focal plane. Auton. Robots 47(8): 1579-1592 (2023) - [j46]Muhammad Aditya Sasongko, Milind Chabbi, Paul H. J. Kelly, Didem Unat:
Precise event sampling-based data locality tools for AMD multicore architectures. Concurr. Comput. Pract. Exp. 35(24) (2023) - [j45]Muhammad Aditya Sasongko, Milind Chabbi, Paul H. J. Kelly, Didem Unat:
Precise Event Sampling on AMD Versus Intel: Quantitative and Qualitative Comparison. IEEE Trans. Parallel Distributed Syst. 34(5): 1594-1608 (2023) - [i36]Hidenobu Matsuki, Riku Murai, Paul H. J. Kelly, Andrew J. Davison:
Gaussian Splatting SLAM. CoRR abs/2312.06741 (2023) - [i35]George Bisbas, Rhodri Nelson, Mathias Louboutin, Paul H. J. Kelly, Fabio Luporini, Gerard Gorman:
Automated MPI code generation for scalable finite-difference solvers. CoRR abs/2312.13094 (2023) - 2022
- [j44]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. Adv. Robotics 36(11): 566-581 (2022) - [j43]Edward Stow, Abrar Ahsan, Yingying Li, Ali Babaei, Riku Murai, Sajad Saeedi, Paul H. J. Kelly:
Compiling CNNs with Cain: focal-plane processing for robot navigation. Auton. Robots 46(8): 893-910 (2022) - [j42]Edward Stow, Paul H. J. Kelly:
Convolutional kernel function algebra. Frontiers Comput. Sci. 4 (2022) - [j41]Marius K. Koch, Paul H. J. Kelly, Peter E. Vincent:
Identification and Classification of Off-Vertex Critical Points for Contour Tree Construction on Unstructured Meshes of Hexahedra. IEEE Trans. Vis. Comput. Graph. 28(12): 5178-5180 (2022) - [i34]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) - [i33]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) - [i32]Paolo Bientinesi, David A. Ham, Furong Huang, Paul H. J. Kelly, P. Sadayappan, Edward Stow:
Tensor Computations: Applications and Optimization (Dagstuhl Seminar 22101). Dagstuhl Reports 12(3): 1-14 (2022) - 2021
- [c94]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 - [c93]Philippos Papaphilippou, Paul H. J. Kelly, Wayne Luk:
Demonstrating custom SIMD instruction development for a RISC-V softcore. FPL 2021: 139 - [c92]Philippos Papaphilippou, Paul H. J. Kelly, Wayne Luk:
Simodense: a RISC-V softcore optimised for exploring custom SIMD instructions. FPL 2021: 391-397 - [c91]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
- [j40]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) - [j39]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) - [c90]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 - [c89]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 - [c88]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
- [j38]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) - [j37]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) - [c87]Emanuele Vespa, Nils Funk, Paul H. J. Kelly, Stefan Leutenegger:
Adaptive-Resolution Octree-Based Volumetric SLAM. 3DV 2019: 654-662 - [c86]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 - [c85]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
- [j36]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) - [j35]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) - [c84]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 - [c83]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 - [c82]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 - [c81]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
- [j34]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) - [j33]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) - [j32]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) - [j31]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) - [c80]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 - [c79]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
- [j30]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) - [j29]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) - [c78]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 - [c77]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 - [c76]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
- [j28]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) - [c75]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 - [c74]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 - [c73]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
- [j27]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) - [j26]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) - [c72]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 - [c71]Renato F. Salas-Moreno, Ben Glocker, Paul H. J. Kelly, Andrew J. Davison:
Dense planar SLAM. ISMAR 2014: 157-164 - [c70]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
- [j25]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) - [j24]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) - [j23]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) - [c69]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 - [c68]David Birch, Paul H. J. Kelly, Anthony J. Field, Alvise Simondetti:
Computationally unifying urban masterplanning. Conf. Computing Frontiers 2013: 32:1-32:10 - [c67]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 - [c66]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 - [c65]Athanasios Konstantinidis, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan:
Parametric GPU Code Generation for Affine Loop Programs. LCPC 2013: 136-151 - [c64]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 - [c63]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
- [j22]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) - [j21]Hubertus Franke, Paul H. J. Kelly, Pedro Trancoso:
Guest Editorial: Computing Frontiers. Int. J. Parallel Program. 40(6): 551-552 (2012) - [j20]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) - [j19]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) - [j18]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) - [c62]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 - [c61]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 - [c60]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 - [c59]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 - [c58]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 - [c57]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
- [j17]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) - [j16]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) - [c56]C. A. Court, Paul H. J. Kelly:
Loop-Directed Mothballing: Power-gating execution units using fast analysis of inner loops. COOL Chips 2011: 1-3 - [c55]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 - [c54]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 - [c53]Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly:
Symbolic crosschecking of floating-point and SIMD code. EuroSys 2011: 315-328 - [c52]Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly:
Symbolic Testing of OpenCL Code. Haifa Verification Conference 2011: 203-218 - 2010
- [c51]David J. Pearce, Paul H. J. Kelly:
A batch algorithm for maintaining a topological order. ACSC 2010: 79-88 - [c50]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
- [c49]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 - [c48]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 - [c47]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 - 2008
- [c46]Peter Collingbourne, Paul H. J. Kelly:
Inference of Session Types From Control Flow. FESCA@ETAPS 2008: 15-40 - 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]Karen Osmond, Olav Beckmann, Tony Field, Paul H. J. Kelly:
A Domain-Specific Interpreter for Parallelizing a Large Mixed-Language Visualisation Application. LCPC 2005: 347-361 - [c40]Jeyarajan Thiyagalingam, Olav Beckmann, Paul H. J. Kelly:
Minimizing Associativity Conflicts in Morton Layout. PPAM 2005: 1082-1088 - 2004
- [j9]David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. Softw. Qual. J. 12(4): 311-337 (2004) - [c39]Marc Hull, Olav Beckmann, Paul H. J. Kelly:
MEProf: modular extensible profiling for Eclipse. eTX 2004: 32-36 - [c38]Paul H. J. Kelly, Sergei Gorlatch, Christoph W. Kessler, Daniel J. Quinlan:
Topic 10: Parallel Programming: Models, Methods and Programming Languages. Euro-Par 2004: 614 - [c37]Olav Beckmann, Anthony J. Field, Gerard Gorman, Andrew Huff, Marc Hull, Paul H. J. Kelly:
Overcoming barriers to restructuring in a modular visualisation environment. LCR 2004: 1:1-1:7 - [c36]David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Efficient field-sensitive pointer analysis for C. PASTE 2004: 37-42 - [c35]David J. Pearce, Paul H. J. Kelly:
A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs. WEA 2004: 383-398 - 2003
- [j8]Douglas J. Brear, Thibaut Weise, Tim Wiffen, Kwok Cheung Yeung, Sarah A. M. Bennett, Paul H. J. Kelly:
Search strategies for Java bottleneck location by dynamic instrumentation. IEE Proc. Softw. 150(4): 235-242 (2003) - [c34]Olav Beckmann, Alastair Houghton, Michael R. Mellor, Paul H. J. Kelly:
Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation. Domain-Specific Program Generation 2003: 291-306 - [c33]Ariel Nahum Burton, Paul H. J. Kelly:
Performance Prediction of Paging Workloads Using Lightweight Tracing. IPDPS 2003: 278 - [c32]Jeyarajan Thiyagalingam, Olav Beckmann, Paul H. J. Kelly:
Improving the Performance of Morton Layout by Array Alignment and Loop Unrolling: Reducing the Price of Naivety. LCPC 2003: 241-257 - [c31]Kwok Cheung Yeung, Paul H. J. Kelly:
Optimising Java RMI Programs by Communication Restructuring. Middleware 2003: 324-343 - [c30]David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Online Cycle Detection and Difference Propagation for Pointer Analysis. SCAM 2003: 3-12 - 2002
- [c29]David J. Pearce, Paul H. J. Kelly, Tony Field, Uli Harder:
GILK: A Dynamic Instrumentation Tool for the Linux Kernel. Computer Performance Evaluation / TOOLS 2002: 220-226 - [c28]Jeyarajan Thiyagalingam, Paul H. J. Kelly:
Is Morton Layout Competitive for Large Two-Dimensional Arrays? Euro-Par 2002: 280-288 - [c27]A. J. Field, Paul H. J. Kelly, Thomas L. Hansen:
Optimising Shared Reduction Variables in MPI Programs. Euro-Par 2002: 630-639 - [c26]Peter Liniker, Olav Beckmann, Paul H. J. Kelly:
Delayed Evaluation, Self-optimising Software Components as a Programming Model. Euro-Par 2002: 666-674 - [c25]Paul H. J. Kelly, Susanna Pelagatti, M. Rossiter:
Instant-Access Cycle-Stealing for Parallel Applications Requiring Interactive Response. Euro-Par 2002: 863-872 - 2001
- [j7]Andrew J. Bennett, Paul H. J. Kelly, Ross A. Paterson:
Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence. J. Funct. Program. 11(4): 359-393 (2001) - [j6]Paul H. J. Kelly, Olav Beckmann, Tony Field, Scott B. Baden:
THEMIS: Component Dependence Metadata in Adaptive Parallel Applications. Parallel Process. Lett. 11(4): 455-470 (2001) - [c24]Scott B. Baden, Paul H. J. Kelly, Sergei Gorlatch, Calvin Lin:
Topic 10: Parallel Programming: Models, Methods and Programming Languages. Euro-Par 2001: 491-493 - 2000
- [c23]Sarah A. M. Talbot, Paul H. J. Kelly:
Adaptive Proxies: Handling Widely-Shared Data in Shared-Memory Multiprocessors (Research Note). Euro-Par 2000: 567-572 - [c22]Paul H. J. Kelly, Sergei Gorlatch, Scott B. Baden, Vladimir Getov:
Programming Languages, Models, and Methods. Euro-Par 2000: 617-619 - [c21]A. J. Field, Thomas L. Hansen, Paul H. J. Kelly:
Run-Time Fusion of MPI Calls in a Parallel C++ Library. LCPC 2000: 363-366
1990 – 1999
- 1999
- [c20]Olav Beckmann, Paul H. J. Kelly:
A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs. LCPC 1999: 100-116 - 1998
- [c19]Olav Beckmann, Paul H. J. Kelly:
Data Distribution at Run-Time: Re-using Execution Plans. Euro-Par 1998: 413-421 - [c18]Sarah A. M. Talbot, Paul H. J. Kelly:
Reactive Proxies: A Flexible Protocol Extension to Reduce ccNUMA Node Controller Contention. Euro-Par 1998: 1062-1075 - [c17]Olav Beckmann, Paul H. J. Kelly:
Efficient Interprocedural Data Placement Optimisation in a Parallel Library. LCR 1998: 123-138 - 1997
- [j5]Andrew J. Bennett, Paul H. J. Kelly:
Efficient shared-memory support for parallel graph reduction. Future Gener. Comput. Syst. 12(6): 481-503 (1997) - [c16]Richard W. M. Jones, Paul H. J. Kelly:
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. AADEBUG 1997: 13-26 - [c15]Olav Beckmann, Paul H. J. Kelly:
Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries (Extended Abstract). Euro-Par 1997: 306-309 - [c14]Qian Wu, A. J. Field, Paul H. J. Kelly:
M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applictions. Euro-Par 1997: 638-649 - 1996
- [c13]Sarah A. M. Talbot, Andrew J. Bennett, Paul H. J. Kelly:
Cautions, Machine-Independent Performance Tuning for Shared-Memory Multiprocessors. Euro-Par, Vol. I 1996: 106-113 - [c12]Andrew J. Bennett, Paul H. J. Kelly, Jacob G. Refstrup, Sarah A. M. Talbot:
Using Proxies to Reduce Controller Contention in Large Shared-Memory Multiprocessors. Euro-Par, Vol. II 1996: 445-452 - 1995
- [c11]Simon Govier, Paul H. J. Kelly:
A Lazy, Self-optimizing Parallel Matrix Library. Functional Programming 1995: 5 - 1994
- [j4]Paul Anderson, David Bolton, Paul H. J. Kelly:
Paragon specifications: Structure, analysis and implementation. Future Gener. Comput. Syst. 10(1): 137-148 (1994) - [j3]Paul H. J. Kelly:
Implementing functional languages : S Peyton Jones and D Lester Prentice-Hall UK (1992) 281 pp £22.95 ISBN 0 13 721952 0. Inf. Softw. Technol. 36(10): 637 (1994) - [c10]Kevin Murray, Tim Wilkinson, Tom Stiemerling, Paul H. J. Kelly:
Angel: Resource Unification in a.64-bit Microkernel. HICSS (2) 1994: 106-116 - [c9]Andrew J. Bennett, Paul H. J. Kelly:
Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction. PARLE 1994: 375-386 - [c8]Andrew J. Bennett, Paul H. J. Kelly, Ross A. Paterson:
Derivation and performance of a pipelined transaction processor. SPDP 1994: 178-185 - 1993
- [c7]Kevin Murray, Tim Wilkinson, Peter Osmon, Ashley Saulsbury, Tom Stiemerling, Paul H. J. Kelly:
Design and Implementation of an Object-Oriented 64-bit Single Address Space Microkernel. USENIX Microkernels and Other Kernel Architectures Symposium 1993: 31-44 - [c6]John Darlington, A. J. Field, Peter G. Harrison, Paul H. J. Kelly, David W. N. Sharp, Qian Wu:
Parallel Programming Using Skeleton Functions. PARLE 1993: 146-160 - [c5]Andrew J. Bennett, Paul H. J. Kelly:
Localtiy and False Sharing in Coherent-Cache Parallel Graph Reduction. PARLE 1993: 329-340 - 1992
- [c4]Paul Anderson, David Bolton, Paul H. J. Kelly:
Paragon Specifications: Structure, Analysis and Implementation. PARLE 1992: 783-798 - 1990
- [j2]David Bolton, Chris Hankin, Paul H. J. Kelly:
Parallel object-oriented descriptions of graph reduction machines. Future Gener. Comput. Syst. 6(3): 225-239 (1990) - [j1]Paul Anderson, Paul H. J. Kelly, Phil Winterbottom:
The feasibility of a general-purpose parallel computer using WSI. Future Gener. Comput. Syst. 6(3): 241-253 (1990)
1980 – 1989
- 1989
- [c3]David Bolton, Chris Hankin, Paul H. J. Kelly:
Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract). PARLE (1) 1989: 158-175 - [c2]Paul Anderson, Paul H. J. Kelly, Phil Winterbottom:
The Feasibility of a General-purpose Parallel Computing using WSI. PARLE (1) 1989: 251-268 - 1987
- [c1]Paul Anderson, Chris Hankin, Paul H. J. Kelly, Peter Osmon, Malcolm J. Shute:
COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer. PARLE (1) 1987: 51-67
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
