| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kevin Hammond, Paul H. J. Kelly |
Introduction to the Special Issue on Automatic Program Generation for Embedded Systems.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Performance Evaluation Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Rokos, Gerard Gorman, Paul H. J. Kelly |
Accelerating Anisotropic Mesh Adaptivity on nVIDIA's CUDA Using Texture Interpolation. |
Euro-Par |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly |
Symbolic crosschecking of floating-point and SIMD code. |
EuroSys |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham R. Markall, David A. Ham, Paul H. J. Kelly |
Towards generating optimised finite element solvers for GPUs from high-level specifications. |
Procedia CS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Collingbourne, Paul H. J. Kelly |
Inference of Session Types From Control Flow. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy M. Amato, Hubertus Franke, Paul H. J. Kelly (eds.) |
Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro, Italy, May 17-19, 2010 |
Conf. Computing Frontiers |
2010 |
DBLP BibTeX RDF |
|
| 1 | David J. Pearce, Paul H. J. Kelly |
A batch algorithm for maintaining a topological order. |
ACSC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly |
Towards Metaprogramming for Parallel Systems on a Chip. |
Euro-Par Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
SIMT, gpu, visual effects |
| 1 | Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly |
Deriving Efficient Data Movement from Decoupled Access/Execute Specifications. |
HiPEAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Pearce, Matthew Webster, Robert Berry, Paul H. J. Kelly |
Profiling with AspectJ. |
Softw., Pract. Exper. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Pearce, Paul H. J. Kelly, Chris Hankin |
Efficient field-sensitive pointer analysis of C. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
pointer analysis, Set-constraints |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay L. T. Cornwall, Paul H. J. Kelly, Phil Parsonage, Bruno Nicoletti |
Explicit Dependence Metadata in an Active Visual Effects Library. |
LCPC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeyarajan Thiyagalingam, Olav Beckmann, Paul H. J. Kelly |
Is Morton layout competitive for large two-dimensional arrays yet? |
Concurrency and Computation: Practice and Experience |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel N. Burton, Paul H. J. Kelly |
Performance prediction of paging workloads using lightweight tracing. |
Future Generation Comp. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Pearce, Paul H. J. Kelly |
A dynamic topological sort algorithm for directed acyclic graphs. |
ACM Journal of Experimental Algorithmics |
2006 |
DBLP DOI BibTeX RDF |
Dynamic graph algorithms, topological sort |
| 1 | Jay L. T. Cornwall, Olav Beckmann, Paul H. J. Kelly |
Automatically translating a general purpose C++ image processing library for GPUs. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul H. J. Kelly, Olav Beckmann |
Generative and Adaptive Methods in Performance Programming. |
Parallel Processing Letters |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeyarajan Thiyagalingam, Olav Beckmann, Paul H. J. Kelly |
Minimizing Associativity Conflicts in Morton Layout. |
PPAM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen Osmond, Olav Beckmann, Tony Field, Paul H. J. Kelly |
A Domain-Specific Interpreter for Parallelizing a Large Mixed-Language Visualisation Application. |
LCPC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Pearce, Paul H. J. Kelly, Chris Hankin |
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. |
Software Quality Journal |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul H. J. Kelly, Sergei Gorlatch, Christoph W. Kessler, Daniel J. Quinlan |
Topic 10: Parallel Programming: Models, Methods and Programming Languages. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Hull, Olav Beckmann, Paul H. J. Kelly |
MEProf: modular extensible profiling for Eclipse. |
ETX |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Pearce, Paul H. J. Kelly |
A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs. |
WEA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Pearce, Paul H. J. Kelly, Chris Hankin |
Efficient field-sensitive pointer analysis for C. |
PASTE |
2004 |
DBLP DOI BibTeX RDF |
pointer analysis, set-constraints |
| 1 | D. J. Brear, T. Weise, T. Wiffen, Kwok Cheung Yeung, Sarah A. M. Bennett, Paul H. J. Kelly |
Search strategies for Java bottleneck location by dynamic instrumentation. |
IEE Proceedings - Software |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Pearce, Paul H. J. Kelly, Chris Hankin |
Online Cycle Detection and Difference Propagation for Pointer Analysis. |
SCAM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel N. Burton, Paul H. J. Kelly |
Performance Prediction of Paging Workloads Using Lightweight Tracing. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Kwok Cheung Yeung, Paul H. J. Kelly |
Optimising Java RMI Programs by Communication Restructuring. |
Middleware |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Liniker, Olav Beckmann, Paul H. J. Kelly |
Delayed Evaluation, Self-optimising Software Components as a Programming Model. |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeyarajan Thiyagalingam, Paul H. J. Kelly |
Is Morton Layout Competitive for Large Two-Dimensional Arrays? |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul H. J. Kelly, Susanna Pelagatti, M. Rossiter |
Instant-Access Cycle-Stealing for Parallel Applications Requiring Interactive Response. |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
parallel computing, performance prediction, cycle stealing |
| 1 | A. J. Field, Paul H. J. Kelly, Thomas L. Hansen |
Optimising Shared Reduction Variables in MPI Programs. |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul H. J. Kelly, Olav Beckmann, Tony Field, Scott B. Baden |
THEMIS: Component Dependence Metadata in Adaptive Parallel Applications. |
Parallel Processing Letters |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andrew J. Bennett, Paul H. J. Kelly, Ross A. Paterson |
Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence. |
J. Funct. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott B. Baden, Paul H. J. Kelly, Sergei Gorlatch, Calvin Lin |
Topic 10: Parallel Programming: Models, Methods and Programming Languages. |
Euro-Par |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah A. M. Talbot, Paul H. J. Kelly |
Adaptive Proxies: Handling Widely-Shared Data in Shared-Memory Multiprocessors (Research Note). |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul H. J. Kelly, Sergei Gorlatch, Scott B. Baden, Vladimir Getov |
Programming Languages, Models, and Methods. |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Field, Thomas L. Hansen, Paul H. J. Kelly |
Run-Time Fusion of MPI Calls in a Parallel C++ Library. |
LCPC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Olav Beckmann, Paul H. J. Kelly |
A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs. |
LCPC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah A. M. Talbot, Paul H. J. Kelly |
Reactive Proxies: A Flexible Protocol Extension to Reduce ccNUMA Node Controller Contention. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Olav Beckmann, Paul H. J. Kelly |
Data Distribution at Run-Time: Re-using Execution Plans. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Olav Beckmann, Paul H. J. Kelly |
Efficient Interprocedural Data Placement Optimisation in a Parallel Library. |
LCR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Olav Beckmann, Paul H. J. Kelly |
Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries (Extended Abstract). |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Wu, A. J. Field, Paul H. J. Kelly |
M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applictions. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard W. M. Jones, Paul H. J. Kelly |
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Govier, Paul H. J. Kelly |
A Lazy, Self-optimizing Parallel Matrix Library. |
Functional Programming |
1995 |
DBLP BibTeX RDF |
|
| 1 | Andrew J. Bennett, Paul H. J. Kelly |
Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction. |
PARLE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Murray, Tim Wilkinson, Tom Stiemerling, Paul H. J. Kelly |
Angel: Resource Unification in a.64-bit Microkernel. |
HICSS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Andrew J. Bennett, Paul H. J. Kelly |
Localtiy and False Sharing in Coherent-Cache Parallel Graph Reduction. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Paul Anderson, David Bolton, Paul H. J. Kelly |
Paragon Specifications: Structure, Analysis and Implementation. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bolton, Chris Hankin, Paul H. J. Kelly |
Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract). |
PARLE |
1989 |
DBLP DOI BibTeX RDF |
Parallel combinator reduction, object-oriented programming, graph rewriting systems |
| 1 | Paul Anderson, Paul H. J. Kelly, Phil Winterbottom |
The Feasibility of a General-purpose Parallel Computing using WSI. |
PARLE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Anderson, Chris Hankin, Paul H. J. Kelly, Peter Osmon, Malcolm J. Shute |
COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer. |
PARLE |
1987 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")