Imperial College London

ProfessorPaulKelly

Faculty of EngineeringDepartment of Computing

Professor of Software Technology
 
 
 
//

Contact

 

+44 (0)20 7594 8332p.kelly Website

 
 
//

Location

 

Level 3 (upstairs), William Penney Building, room 304William Penney LaboratorySouth Kensington Campus

//

Summary

 

Publications

Publication Type
Year
to

189 results found

Kelly PHJ, Pelagatti S, Rossiter M, 2002, Instant-access cycle-stealing for parallel applications requiring interactive response, Berlin, 8th international Euro-Par conference on parallel processing, Paderborn, Germany, 2002, Publisher: Springer-Verlag, Pages: 863-872

Conference paper

Bennett AJ, Kelly PHJ, Paterson RA, 2001, Pipelined functional tree accesses and updates scheduling, synchronization, caching and coherence, JOURNAL OF FUNCTIONAL PROGRAMMING, Vol: 11, Pages: 359-393, ISSN: 0956-7968

Journal article

Kelly PHJ, Beckmann O, Field T, Baden Set al., 2001, THEMIS: component dependence metadata in adaptive parallel computations, Parallel Processing Letters, Vol: 11, Pages: 455-470, ISSN: 0129-6264

Journal article

Kelly PHJ, Beckmann O, Field T, Baden Set al., 2001, THEMIS: component dependence metadata in adaptive parallel computations, Parallel Processing Letters, Vol: 11, Pages: 455-470, ISSN: 0129-6264

Journal article

Bennett SA, Kelly P, 2000, Adaptive Proxies: handling widely-shared data in shared-memory multiprocessors, Euro-Par 2000, Publisher: Springer

Conference paper

Field AJ, Hansen TL, Kelly PHJ, 2000, Run-time fusion of MPI calls in a parallel C++ library, LCPC2000, The 13th International Workshop on Languages and Compilers for High-Performance Computing, Yorktown Heights

Conference paper

Kelly P, Beckmann O, 2000, A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs, Languages and Compilers for Parallel Computing, 12th International Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999, Publisher: Springer

Conference paper

Field AJ, Hansen TL, Kelly PHJ, 2000, Run-time fusion of MPI calls in a parallel C++ library, LCPC2000, The 13th International Workshop on Languages and Compilers for High-Performance Computing, Yorktown Heights

Conference paper

Burton A, Kelly P, 2000, Tracing and re-executing operating system calls for reproducible performance experiments, Computers and Electrical Engineering: an International Journal, Vol: 26, Pages: 261-278

Journal article

Kelly P, 1999, Coordination Languages, Research Directions in Parallel Functional Programming, Publisher: Springer, ISBN: 9781852330927

Book chapter

Burton A, Kelly P, 1999, Reproducing Inter-process Synchronization for Performance Prediction using Lightweight System Call Tracing, UKPEW 1999, Publisher: University of Bristol

Conference paper

Beckmann O, Paul HJK, 1999, A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs, LCPC'99, Publisher: Springer Verlag

Conference paper

Talbot SAM, Kelly PHJ, 1998, Stable Performance for cc-NUMA using First Touch Page Placement and Reactive Proxies, HPCS'98, Publisher: Kluwer

Conference paper

Beckmann O, Kelly PHJ, 1998, Efficient Interprocedural Data Placement Optimisation in a Parallel Library, LCR'98

Conference paper

Kelly PHJ, 1998, Lightweight system call tracing and re-execution, IEEE International Performance, Computing and Communications Conference, IPCCC'98

Conference paper

Talbot SAM, Kelly PHJ, 1998, Reactive proxies: A flexible protocol extension to reduce ccNUMA node controller contention, 4th International Euro-Par Conference on Parallel Processing, Publisher: SPRINGER-VERLAG BERLIN, Pages: 1062-1075, ISSN: 0302-9743

Conference paper

Beckmann O, Kelly PHJ, 1998, Data distribution at run-time: Re-using execution plans, 4th International Euro-Par Conference on Parallel Processing, Publisher: SPRINGER-VERLAG BERLIN, Pages: 413-421, ISSN: 0302-9743

Conference paper

Bennett AJ, Kelly PHJ, 1997, Efficient shared-memory support for parallel graph reduction, FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, Vol: 12, Pages: 481-503, ISSN: 0167-739X

Journal article

Bennett A J, Kelly, P H J, 1997, Efficient shared-memory support for parallel graph reduction, Fifth Generation Computer Systems, Vol: 12, Pages: 481-503, ISSN: 0167-739X

Journal article

Field AJ, Kelly PHJ, Qian W, 1997, M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applications, EuroPar'97, Publisher: Springer

Conference paper

Jones RWM, Kelly PHJ, 1997, Backwards-compatible bounds checking for arrays and pointers in C programs, Third International Workshop on Automated Debugging, Publisher: Linkoping University Electronic Press

Conference paper

Beckmann O, Kelly PHJ, 1997, Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries, EuroPar'97, Publisher: Springer

Conference paper

Burton AN, Kelly PHJ, 1997, Workload characterization using lightweight system call tracing and reexecution, 1998 IEEE International Performance, Computing and Communications Conference (IPCCC 98), Publisher: IEEE, Pages: 260-266, ISSN: 1097-2641

Conference paper

Beckmann O, Kelly P, 1997, Experiments with Parallelising Numerical Applications via DESO Libraries, Proceedings Sixth Parallel Computing Workshop (PCW'97), Parallel Computing Research Centre, Fujitsu Laboratories Ltd, Kawasaki, Japan

Conference paper

Beckmann O, Kelly PHJ, 1997, Experiments with Parallelising Numerical Applications via DESOLibrarie, Proceedings Sixth Parallel Computing Workshop (PCW'97), Parallel Computing Research Centre, Fujitsu Laboratories Ltd, Kawasaki, Japan

Conference paper

Talbot SAM, Bennett AJ, Kelly PHJ, 1996, Cautious, Machine-Independent Performance Tuning for Shared-Memory Multiprocessors, EuroPar'96, Lyon, Publisher: Springer Verlag, Pages: 106-113

Conference paper

Wu Q, Field AJ, Kelly PHJ, 1996, Data abstraction for parallel adaptive computation, 1996 Workshop on Abstract Machine Models for Parallel and Distributed Computing, Publisher: I O S PRESS, Pages: 105-118, ISSN: 1383-7575

Conference paper

Bennett AJ, Kelly PHJ, Refstrup JG, Talbot SAMet al., 1996, Using Proxies to Reduce Controller Contention in Large Shared-Memory Multiprocessors, EuroPar'96, Lyon, Publisher: Springer Verlag, Pages: 445-452

Conference paper

Anderson P, Bolton D, Kelly PHJ, 1994, Paragon Specifications: Structure, Analysis and Implementation, Future Generation Computer Systems, Vol: 10, Pages: 137-148

Journal article

Bennett AJ, Kelly PHJ, 1994, Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction, PARLE 94 - Parallel Architectures and Languages Europe, Athens, Publisher: Springer Verlag, Pages: 375-386

Conference paper

This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.

Request URL: http://wlsprd.imperial.ac.uk:80/respub/WEB-INF/jsp/search-html.jsp Request URI: /respub/WEB-INF/jsp/search-html.jsp Query String: id=00003206&limit=30&person=true&page=6&respub-action=search.html