| 2009 | ||
|---|---|---|
| 54 | 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 | |
| 53 | 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 | ||
| 52 | 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 | |
| 51 | 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 | |
| 50 | David J. Pearce, Paul H. J. Kelly, Chris Hankin: Efficient field-sensitive pointer analysis of C. ACM Trans. Program. Lang. Syst. 30(1): (2007) | |
| 49 | David J. Pearce, Matthew Webster, Robert Berry, Paul H. J. Kelly: Profiling with AspectJ. Softw., Pract. Exper. 37(7): 747-777 (2007) | |
| 2006 | ||
| 48 | Jay L. T. Cornwall, Olav Beckmann, Paul H. J. Kelly: Automatically translating a general purpose C++ image processing library for GPUs. IPDPS 2006 | |
| 47 | David J. Pearce, Paul H. J. Kelly: A dynamic topological sort algorithm for directed acyclic graphs. ACM Journal of Experimental Algorithmics 11: (2006) | |
| 46 | Jeyarajan Thiyagalingam, Olav Beckmann, Paul H. J. Kelly: Is Morton layout competitive for large two-dimensional arrays yet? Concurrency and Computation: Practice and Experience 18(11): 1509-1539 (2006) | |
| 45 | Ariel N. Burton, Paul H. J. Kelly: Performance prediction of paging workloads using lightweight tracing. Future Generation Comp. Syst. 22(7): 784-793 (2006) | |
| 2005 | ||
| 44 | 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 | |
| 43 | Jeyarajan Thiyagalingam, Olav Beckmann, Paul H. J. Kelly: Minimizing Associativity Conflicts in Morton Layout. PPAM 2005: 1082-1088 | |
| 42 | Paul H. J. Kelly, Olav Beckmann: Generative and Adaptive Methods in Performance Programming. Parallel Processing Letters 15(3): 239-256 (2005) | |
| 2004 | ||
| 41 | Marc Hull, Olav Beckmann, Paul H. J. Kelly: MEProf: modular extensible profiling for Eclipse. ETX 2004: 32-36 | |
| 40 | 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 | |
| 39 | David J. Pearce, Paul H. J. Kelly, Chris Hankin: Efficient field-sensitive pointer analysis for C. PASTE 2004: 37-42 | |
| 38 | David J. Pearce, Paul H. J. Kelly: A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs. WEA 2004: 383-398 | |
| 37 | David J. Pearce, Paul H. J. Kelly, Chris Hankin: Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. Software Quality Journal 12(4): 311-337 (2004) | |
| 2003 | ||
| 36 | 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 | |
| 35 | Ariel N. Burton, Paul H. J. Kelly: Performance Prediction of Paging Workloads Using Lightweight Tracing. IPDPS 2003: 278 | |
| 34 | 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 | |
| 33 | Kwok Cheung Yeung, Paul H. J. Kelly: Optimising Java RMI Programs by Communication Restructuring. Middleware 2003: 324-343 | |
| 32 | David J. Pearce, Paul H. J. Kelly, Chris Hankin: Online Cycle Detection and Difference Propagation for Pointer Analysis. SCAM 2003: 3-12 | |
| 31 | 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 150(4): 235-242 (2003) | |
| 2002 | ||
| 30 | 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 | |
| 29 | Jeyarajan Thiyagalingam, Paul H. J. Kelly: Is Morton Layout Competitive for Large Two-Dimensional Arrays? Euro-Par 2002: 280-288 | |
| 28 | A. J. Field, Paul H. J. Kelly, Thomas L. Hansen: Optimising Shared Reduction Variables in MPI Programs. Euro-Par 2002: 630-639 | |
| 27 | Peter Liniker, Olav Beckmann, Paul H. J. Kelly: Delayed Evaluation, Self-optimising Software Components as a Programming Model. Euro-Par 2002: 666-674 | |
| 26 | Paul H. J. Kelly, Susanna Pelagatti, M. Rossiter: Instant-Access Cycle-Stealing for Parallel Applications Requiring Interactive Response. Euro-Par 2002: 863-872 | |
| 2001 | ||
| 25 | 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 | |
| 24 | 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) | |
| 23 | Paul H. J. Kelly, Olav Beckmann, Tony Field, Scott B. Baden: THEMIS: Component Dependence Metadata in Adaptive Parallel Applications. Parallel Processing Letters 11(4): 455-470 (2001) | |
| 2000 | ||
| 22 | 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 | |
| 21 | Paul H. J. Kelly, Sergei Gorlatch, Scott B. Baden, Vladimir Getov: Programming Languages, Models, and Methods. Euro-Par 2000: 617-619 | |
| 20 | 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 | |
| 1999 | ||
| 19 | Olav Beckmann, Paul H. J. Kelly: A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs. LCPC 1999: 100-116 | |
| 1998 | ||
| 18 | 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 | |
| 17 | Olav Beckmann, Paul H. J. Kelly: Data Distribution at Run-Time: Re-using Execution Plans. Euro-Par 1998: 413-421 | |
| 16 | Olav Beckmann, Paul H. J. Kelly: Efficient Interprocedural Data Placement Optimisation in a Parallel Library. LCR 1998: 123-138 | |
| 1997 | ||
| 15 | Richard W. M. Jones, Paul H. J. Kelly: Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. AADEBUG 1997: 13-26 | |
| 14 | Olav Beckmann, Paul H. J. Kelly: Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries (Extended Abstract). Euro-Par 1997: 306-309 | |
| 13 | 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 | ||
| 12 | 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 | |
| 11 | 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 | ||
| 10 | Simon Govier, Paul H. J. Kelly: A Lazy, Self-optimizing Parallel Matrix Library. Functional Programming 1995: 5 | |
| 1994 | ||
| 9 | Kevin Murray, Tim Wilkinson, Tom Stiemerling, Paul H. J. Kelly: Angel: Resource Unification in a.64-bit Microkernel. HICSS (2) 1994: 106-116 | |
| 8 | Andrew J. Bennett, Paul H. J. Kelly: Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction. PARLE 1994: 375-386 | |
| 1993 | ||
| 7 | 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 | |
| 6 | Andrew J. Bennett, Paul H. J. Kelly: Localtiy and False Sharing in Coherent-Cache Parallel Graph Reduction. PARLE 1993: 329-340 | |
| 5 | 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 | |
| 1992 | ||
| 4 | Paul Anderson, David Bolton, Paul H. J. Kelly: Paragon Specifications: Structure, Analysis and Implementation. PARLE 1992: 783-798 | |
| 1989 | ||
| 3 | David Bolton, Chris Hankin, Paul H. J. Kelly: Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract). PARLE (1) 1989: 158-175 | |
| 2 | Paul Anderson, Paul H. J. Kelly, Phil Winterbottom: The Feasibility of a General-purpose Parallel Computing using WSI. PARLE (1) 1989: 251-268 | |
| 1987 | ||
| 1 | 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 | |