Paul H. J. Kelly

	2012
67		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
66		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)
65		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)
	2011
64		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
63		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
62		Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly: Symbolic crosschecking of floating-point and SIMD code. EuroSys 2011: 315-328
61		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 38(4): 9-15 (2011)
60		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)
	2010
59		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
58		David J. Pearce, Paul H. J. Kelly: A batch algorithm for maintaining a topological order. ACSC 2010: 79-88
57		Peter Collingbourne, Paul H. J. Kelly: Inference of Session Types From Control Flow. Electr. Notes Theor. Comput. Sci. 238(6): 15-40 (2010)
56		Graham R. Markall, David A. Ham, Paul H. J. Kelly: Towards generating optimised finite element solvers for GPUs from high-level specifications. Procedia CS 1(1): 1815-1823 (2010)
	2009
55		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
54		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
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

Coauthor Index

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

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page