Paul H. J. Kelly

2009
53	EE	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	EE	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	EE	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	EE	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	EE	David J. Pearce, Matthew Webster, Robert Berry, Paul H. J. Kelly: Profiling with AspectJ. Softw., Pract. Exper. 37(7): 747-777 (2007)
2006
48	EE	Jay L. T. Cornwall, Olav Beckmann, Paul H. J. Kelly: Automatically translating a general purpose C++ image processing library for GPUs. IPDPS 2006
47	EE	David J. Pearce, Paul H. J. Kelly: A dynamic topological sort algorithm for directed acyclic graphs. ACM Journal of Experimental Algorithmics 11: (2006)
46	EE	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	EE	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	EE	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	EE	Jeyarajan Thiyagalingam, Olav Beckmann, Paul H. J. Kelly: Minimizing Associativity Conflicts in Morton Layout. PPAM 2005: 1082-1088
42	EE	Paul H. J. Kelly, Olav Beckmann: Generative and Adaptive Methods in Performance Programming. Parallel Processing Letters 15(3): 239-256 (2005)
2004
41	EE	Marc Hull, Olav Beckmann, Paul H. J. Kelly: MEProf: modular extensible profiling for Eclipse. ETX 2004: 32-36
40	EE	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	EE	David J. Pearce, Paul H. J. Kelly, Chris Hankin: Efficient field-sensitive pointer analysis for C. PASTE 2004: 37-42
38	EE	David J. Pearce, Paul H. J. Kelly: A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs. WEA 2004: 383-398
37	EE	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	EE	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	EE	Ariel N. Burton, Paul H. J. Kelly: Performance Prediction of Paging Workloads Using Lightweight Tracing. IPDPS 2003: 278
34	EE	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	EE	Kwok Cheung Yeung, Paul H. J. Kelly: Optimising Java RMI Programs by Communication Restructuring. Middleware 2003: 324-343
32	EE	David J. Pearce, Paul H. J. Kelly, Chris Hankin: Online Cycle Detection and Difference Propagation for Pointer Analysis. SCAM 2003: 3-12
31	EE	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	EE	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	EE	Jeyarajan Thiyagalingam, Paul H. J. Kelly: Is Morton Layout Competitive for Large Two-Dimensional Arrays? Euro-Par 2002: 280-288
28	EE	A. J. Field, Paul H. J. Kelly, Thomas L. Hansen: Optimising Shared Reduction Variables in MPI Programs. Euro-Par 2002: 630-639
27	EE	Peter Liniker, Olav Beckmann, Paul H. J. Kelly: Delayed Evaluation, Self-optimising Software Components as a Programming Model. Euro-Par 2002: 666-674
26	EE	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	EE	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	EE	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	EE	Paul H. J. Kelly, Sergei Gorlatch, Scott B. Baden, Vladimir Getov: Programming Languages, Models, and Methods. Euro-Par 2000: 617-619
20	EE	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	EE	Olav Beckmann, Paul H. J. Kelly: A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs. LCPC 1999: 100-116
1998
18	EE	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	EE	Olav Beckmann, Paul H. J. Kelly: Data Distribution at Run-Time: Re-using Execution Plans. Euro-Par 1998: 413-421
16	EE	Olav Beckmann, Paul H. J. Kelly: Efficient Interprocedural Data Placement Optimisation in a Parallel Library. LCR 1998: 123-138
1997
15	EE	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	EE	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

Coauthor Index

1	Paul Anderson	[1] [2] [4]
2	Scott B. Baden	[21] [23] [25]
3	Olav Beckmann	[14] [16] [17] [19] [23] [27] [34] [36] [41] [42] [43] [44] [46] [48] [52]
4	Andrew J. Bennett	[6] [8] [11] [12] [24]
5	Sarah A. M. Bennett (Sarah A. M. Talbot)	[11] [12] [18] [22] [31]
6	Robert Berry	[49]
7	David Bolton	[3] [4]
8	D. J. Brear	[31]
9	Ariel N. Burton	[35] [45]
10	Jay L. T. Cornwall	[48] [51]
11	John Darlington	[7]
12	Alastair F. Donaldson	[53]
13	Henry Falconer	[52]
14	Tony Field (A. J. Field)	[7] [13] [20] [23] [28] [30] [44] [52]
15	Vladimir Getov	[21]
16	Sergei Gorlatch	[21] [25] [40]
17	Simon Govier	[10]
18	Chris Hankin	[1] [3] [32] [37] [39] [50]
19	Thomas L. Hansen	[20] [28]
20	Uli Harder	[30]
21	Peter G. Harrison	[7]
22	Alastair Houghton	[36]
23	Lee W. Howes	[53]
24	Marc Hull	[41]
25	David M. Ingram	[52]
26	Richard W. M. Jones	[15]
27	Christoph W. Keßler (Christoph W. Kessler)	[40]
28	Calvin Lin	[25]
29	Peter Liniker	[27]
30	Anton Lokhmotov	[53]
31	Michael R. Mellor	[36] [52]
32	Kevin Murray	[5] [9]
33	Bruno Nicoletti	[51]
34	Peter Osmon	[1] [5]
35	Karen Osmond	[44]
36	Phil Parsonage	[51]
37	Ross A. Paterson	[24]
38	David J. Pearce	[30] [32] [37] [38] [39] [47] [49] [50]
39	Susanna Pelagatti	[26]
40	Daniel J. Quinlan	[40]
41	Jacob G. Refstrup	[11]
42	M. Rossiter	[26]
43	Ashley Saulsbury	[5]
44	David W. N. Sharp	[7]
45	Malcolm J. Shute	[1]
46	Tom Stiemerling	[5] [9]
47	Jeyarajan Thiyagalingam	[29] [34] [43] [46]
48	Matthew Webster	[49]
49	T. Weise	[31]
50	T. Wiffen	[31]
51	Tim Wilkinson	[5] [9]
52	Phil Winterbottom	[2]
53	Qian Wu	[7] [13]
54	Kwok Cheung Yeung	[31] [33]

Colors in the list of coauthors