David Lecomber - Bringing Parallel Processing to the Proletariat

David Lecomber's Official Homepage

Formerly a researcher for Oxford University Computing Laboratory, and now a College Lecturer for LMH and a founder of Allinea Software developing tools for parallel computing.

My picture

Address

Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England.

Telephone

Department: +44 1865 273838
Fax Machine: +44 1865 273839

EMail

David.Lecomber@remove-this-bit.comlab.ox.ac.uk

(note the spam block in the above address)

Research interests

Parallel and distributed models of computing

Formal methods for parallel computing
- Compositional verification of programs
- Software engineering and formal development methods
- The Weakest Parallel-Partner Method [Lec98] for program refinement and specification
- Semantics
- The Bulk-synchronous parallel (BSP) model of parallel computing
Practical parallel programming
- COUPL+ - a library for grid-based applications (for PVM, MPI and BSP)
- BSP - a simple and efficient library for bulk-synchronous parallel computation, with profiling tools
- Parallel programming using clusters of Linux workstations
- Software development tools for high performance parallel computing

Publications

Object-Oriented Programming with BSP++, D. S. Lecomber, 33k Postscript Paper, in Proceedings of the PPECC Workshop on Parallel and Distributed Computing, Abingdon, March 1995.
An Object-Oriented Programming Model for BSP Computations, D. S. Lecomber, April 1994.
Abstract Data Types in the BSP model, D. S. Lecomber, OUCL Transfer Thesis, February 1996.
Bandwidth, Space and Computation Efficient PRAM Programming: The BSP Approach, A. G. Alexandrakis, A. V. Gerbessiotis, D. S. Lecomber and C. J. Siniolakis, 65k compressed postscript, May 1996. In Proceedings of SUPEUR'96 conference , Krakow, September 1996. BibTeX
Transgressing the Boundaries: Unified Scalable Parallel Programming, D. S. Lecomber and K. R. Sujithan, PRG Technical Report TR-20-96, October 1996.
Architecture-Independent Locality Analysis and Efficient PRAM Simulations, D. S. Lecomber and K. R. Sujithan, in proceedings of HPCN'97 (LNCS series) Vienna, May 1997, Abstract . BibTeX
PRAM Programming: Theory vs Practice, D. S. Lecomber, K. R. Sujithan, A. V. Gerbessiotis and C. J. Siniolakis, compressed postscript in proceedings of Euromicro98, Madrid, January 1998.
PRAM Programming In Theory and In Practice, D. S. Lecomber, K. R. Sujithan and C. J. Siniolakis, Concurrency: Practice and Experience, March 2000. BibTeX
Methods of BSP Programming, D. S. Lecomber, DPhil thesis, Trinity Term, 1998. compressed postscript. BibTeX
Predicative Programming and BSP, slides of a talk given to the Oxford BSP Research Group, April 1998, and to the SUN student conference, Oxford, December 1999.
A Semantics for Parallel Programming in BSP, D. S. Lecomber, Technical report, September 1999, compressed postscript.
Generic Tools for Parallel Manipulation, D. S. Lecomber, December 1999, slides of a talk given to the JULIUS project meeting compressed postscript.
Algorithms for Generic Tools in Parallel Numeric Simulation David Lecomber and Mike Rudgyard, May 2000, in Proceedings of HPCN Europe 2000. Copyright Springer Verlag 2000.

Last modified: Tues Apr 4 16:50 BST 2000