Computing Publications

Publications Home » Authors » Dr Paul Kelly

Authors

Dr Paul Kelly

52 publications for this author.

Book Chapter

Coordination Languages
Paul Kelly
Research Directions in Parallel Functional Programming
Springer
November, 1999

Journal Articles

Performance prediction of paging workloads using lightweight tracing
Ariel Burton, Paul Kelly
Future Generation Computer Systems
Volume 22, Issue 7, pp.784–793
2006
Is Morton layout competitive for large two-dimensional arrays yet?
Olav Beckmann, Thiyagalingam Jeyarajan, Paul Kelly
Concurrency and Computation: Practice and Experience
wiley
2006
Generative and Adaptive Methods in Performance Programming
Paul Kelly, Olav Beckmann
Parallel Processing Letters
Volume 15, Issue 3, pp.239–256
August, 2005
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis
Chris Hankin, Paul Kelly, David Pearce
Software Quality Journal
Volume 12, Issue 4, pp.311–337
Springer
December, 2004
THEMIS: Component dependence metadata in adaptive parallel computations [PDF]
Paul Kelly, Olav Beckmann, A. J. Field, Scott Baden
Parallel Processing Letters
Volume 11, Issue 4, pp.455–470
World Scientific
December, 2001
Tracing and re-executing operating system calls for reproducible performance experiments
Ariel Burton, Paul Kelly
Computers and Electrical Engineering: an International Journal
Volume 26, Issues 3–4, pp.261–278
Pergamon Press
2000
Paragon Specifications: Structure, Analysis and Implementation
Christopher Anderson, David Bolton, Paul Kelly
Future Generation Computer Systems
Volume 10, Issue 1
1994

Conference and Workshop Papers

Optimising component composition using indexed dependence metadata [PDF]
Lee Howes, Anton Lokhmotov, Paul Kelly, A. J. Field
First International Workshop on New Frontiers in High-performance and Hardware-aware Computing (HipHaC)
November, 2008
A Declarative Framework for Analysis and Optimization
Henry Falconer, Paul Kelly, David Ingram, Michael Mellor, A. J. Field, Olav Beckmann
CC 2007, 16th International Conference on Compiler Construction, Braga, Portugal, March 26-30, 2007
Volume 4420, pp.218–232
Lecture Notes in Computer Science, Springer
March, 2007
Accelerating a C++ Image Processing Library with a GPU
Jay Cornwall, Olav Beckmann, Paul Kelly
POHLL 2006: Workshop on Performance Optimization for High-Level Languages and Libraries (colocated with IPDPS06, Rhodes).
IEEE Press
2006
Parallel Visualization using the Domain-Specific Interpreter Pattern [PDF]
Karen Osmond, Olav Beckmann, A. J. Field, Paul Kelly
CPC 2006. Workshop on Compilers for Parallel Computers
January, 2006
A Domain-Specific Interpreter for Parallelizing a Large Mixed-Language Visualisation Application [PDF]
Karen Osmond, Olav Beckmann, A. J. Field, Paul Kelly
LCPC 2005, 18th International Workshop on Languages and Compilers for Parallel Computing
Volume 4339, pp.347–361
Lecture Notes in Computer Science, Springer Verlag
September, 2005
Minimizing Associativity Conflicts in Morton Layout
Olav Beckmann, Thiyagalingam Jeyarajan, Paul Kelly
PPAM 2005 Workshop on HPC Linear Algebra Libraries for Computers with Multilevel Memories
Volume 3911
Lecture Notes in Computer Science, Springer
August, 2005
MEProf: Modular Extensible Profiling for Eclipse
Olav Beckmann, Marc Hull, Paul Kelly
Eclipse Technology eXchange (eTX) Workshop at OOPSLA, October 2004
pp.32–36
ACM Press
September, 2004
Overcoming Barriers to Restructuring in a Modular Visualisation Environment [PDF]
Olav Beckmann, A. J. Field, Gerard Gorman, Andrew Huff, Marc Hull, Paul Kelly
LCR 2004. Proceedings of the 7th workshop on Workshop on Languages, Compilers, and Run-time Support for Scalable Systems
Volume 81, pp.110–116
ACM International Conference Proceedings, ACM Press
September, 2004
DESO-MayaVi: Tiling Visualisation Pipelines for Large Unstructured Datasets
Olav Beckmann, Paul Kelly, A. J. Field
7th Workshop on Languages, Compilers, and Run-time Support for Scalable Systems, September 2004
August, 2004
Efficient Field-sensitive Pointer Analysis for C
David Pearce, Paul Kelly, Chris Hankin
ACM workshop on Program Analysis for Software Tools and Engineering (PASTE))
Kluwer
2004
A dynamic algorithm for topologically sorting directed acyclic graphs
David Pearce, Paul Kelly
3rd international workshop on experimental and efficient algorithms, Angra dos Reis, Brazil
Springer-Verlag
2004
Cross-component restructuring in the MayaVi visualisation pipeline
Olav Beckmann, A. J. Field, Paul Kelly
Compilers for parallel computing (CPC2004), July 2004
2004
Dynamic instrumentation for Java using a virtual JVM
Kwok Yeung, Paul Kelly, Sarah Bennett
Workshop on performance analysis and distributed computing, Dagstuhl, Germany, 2002
Kluwer Academic Publ
2004
Improving the performance of morton layout by array alignment and loop unrolling - reducing the price of naivety
Olav Beckmann, Paul Kelly
16th international workshop on languages and compilers for parallel computing (LCPC 2003), Coll Stn, TX
Springer-Verlag
2004
An exhaustive evaluation of row-major, column-major and Morton layouts for large two-dimensional arrays [PDF]
Olav Beckmann, Thiyagalingam Jeyarajan, Paul Kelly
UK performance engineering workshop (UKPEW 2003), Warwick, UK, July 2003
Warwick University
2003
Online cycle detection and difference propagation for pointer analysis
David Pearce, Paul Kelly, Chris Hankin
3rd IEEE international workshop on source code analysis and manipulation, 2003
IEEE Computer Soc
2003
Optimising Java RMI programs by communication restructuring
Kwok Yeung, Paul Kelly
ACM/IFIP/UNSENIX international middeware conference, Rio de Janeiro, Brazil, 2003
Springer-Verlag
2003
Performance prediction of paging workloads using lightweight tracing
Ariel Burton, Paul Kelly
Proceedings of international workshop on performance modeling, evaluation, and optimization of parallel and distributed systems (PMEO-PDS'03)
IEEE Computer Society Press
2003
Runtime code generation in C++ as a foundation for domain-specific optimisation
Olav Beckmann, Alastair Houghton, Michael Mellor, Paul Kelly
International seminar on domain-specific program generation, Dagstuhl, Germany, 2003
Springer-Verlag
2003
Search strategies for Java bottleneck location by dynamic instrumentation
Doug Brear, Thibault Weise, Tim Wiffen, Kwok Yeung, Sarah Bennett, Paul Kelly
UK performance engineering workshop (UKPEW 2003), Warwick, UK, July 2003
2003
Optimising shared reduction variables in MPI programs
A. J. Field, Paul Kelly, Thomas Hansen
8th International Euro-Par Conference on Parallel Processing, Paderborn, Germany, 2002
Volume 2400, p.630
Lecture Notes in Computer Science, Springer-Verlag
July, 2002
GILK: A Dynamic Instrumentation Tool for the Linux Kernel [PDF] [Postscript]
David Pearce, Paul Kelly, A. J. Field, Uli Harder
TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Volume 2324, pp.220–226
Lecture Notes in Computer Science, Springer-Verlag
March, 2002
A review of data placement optimisation for data-parallel component composition [PDF]
Olav Beckmann, Thiyagalingam Jeyarajan, Paul Kelly
2nd international workshop on constructive methods for parallel programming, Pont de Lima, Portugal
Nova Science Publishers, Inc
2002
Delayed evaluation, self-optimising software components as a programming model
Olav Beckmann, Paul Kelly, Peter Liniker
8th international Euro-Par conference on parallel processing, Paderborn, Germany, 2002
Springer-Verlag
2002
Instant-access cycle-stealing for parallel applications requiring interactive response
Paul Kelly, Susanna Pelagatti, Mark Rossiter
8th international Euro-Par conference on parallel processing, Paderborn, Germany, 2002
Springer-Verlag
2002
Is morton layout competitive for large two-dimensional arrays?
Thiyagalingam Jeyarajan, Paul Kelly
8th international Euro-Par conference on parallel processing, Paderborn, Germany, 2002
Springer-Verlag
2002
Adaptive Proxies: handling widely-shared data in shared-memory multiprocessors
Sarah Bennett, Paul Kelly
Euro-Par 2000
Volume 1900
Lecture Notes in Computer Science, Springer
July, 2000
A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs
Olav Beckmann, Paul Kelly
Languages and Compilers for Parallel Computing, 12th International Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999
Volume 1863, p.100
Lecture Notes in Computer Science, Springer
2000
Run-time fusion of MPI calls in a parallel C++ library [GZipped Postscript]
A. J. Field, Thomas Hansen, Paul Kelly
LCPC2000, The 13th International Workshop on Languages and Compilers for High-Performance Computing, Yorktown Heights
2000
Reproducing Inter-process Synchronization for Performance Prediction using Lightweight System Call Tracing
Ariel Burton, Paul Kelly
UKPEW 1999
University of Bristol
June, 1999
Efficient Interprocedural Data Placement Optimisation in a Parallel Library
Olav Beckmann, Paul Kelly
LCR'98
1998
Lightweight system call tracing and re-execution
Ariel Burton, Paul Kelly
IEEE International Performance, Computing and Communications Conference, IPCCC'98
1998
Stable Performance for cc-NUMA using First Touch Page Placement and Reactive Proxies
Sarah Bennett, Paul Kelly
HPCS'98
Kluwer
1998
Backwards-compatible bounds checking for arrays and pointers in C programs
Richard W M Jones, Paul Kelly
Third International Workshop on Automated Debugging
Linkoping University Electronic Press
1997
Data abstraction for parallel adaptive computation
Qiang Wu, A. J. Field, Paul Kelly
Proceedings of the 1996 Workshop on Abstract Machine Models for Parallel and Distributed Computing.
pp.105–118
I O S Press
1997
Experiments with Parallelising Numerical Applications via DESO Libraries
Olav Beckmann, Paul Kelly
Proceedings Sixth Parallel Computing Workshop (PCW'97), Parallel Computing Research Centre, Fujitsu Laboratories Ltd, Kawasaki, Japan
1997
M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applications
A. J. Field, Paul Kelly, Qian Wu
EuroPar'97
Springer
1997
Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries
Olav Beckmann, Paul Kelly
EuroPar'97
Springer
1997
Cautious, Machine-Independent Performance Tuning for Shared-Memory Multiprocessors
Sarah Bennett, Paul Kelly
EuroPar'96, Lyon
Springer Verlag
1996
Using Proxies to Reduce Controller Contention in Large Shared-Memory Multiprocessors
Andrew Bennet, Sarah Bennett, Paul Kelly, Jakob Refstrup
EuroPar'96, Lyon
Springer Verlag
1996
Angel: Resource Unification in a 64-bit Micro-Kernel
Paul Kelly, Kevin Murray, Tom Stiemerling, Tim Wilkinson
Proceedings of 27th Hawaii International Conference on Systems Science
1994
Derivation and Performance of a Pipelined Transaction Processor
Sarah Bennett, Paul Kelly, Ross Paterson
IEEE Symposium on Parallel and Distributed Processing, Dallas
IEEE Press
1994
Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction
Sarah Bennett, Paul Kelly
PARLE 94 - Parallel Architectures and Languages Europe, Athens
Springer Verlag
1994
Parallel Programming Using Skeleton Functions [PDF]
John Darlington, A. J. Field, Peter G. Harrison, Paul Kelly, D W N Sharp, Qiang Wu, R. Lyndon While
PARLE'93, 5th International PARLE Conference on Parallel Architectures and Languages Europe
Volume 694, pp.146–160
Lecture Notes in Computer Science, Springer
May, 1993

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.