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.
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
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