paraML

Welcome to the paraML home page. If you really would like to see some more information on this, or have any comments or problems in accessing information within, please email Peter.Bailey@cs.anu.edu.au.

List of contents

Overview of the paraML project
Researchers
Publications
Annual report entries

Overview

• The design of clean extensions to the language ML for coarse grain concurrency on distributed memory multicomputers.
• Theoretical specification of these extensions.
• The actual implementation of paraML on the AP1000; preferably using MPI as the communication substrate.
• Performance measurement and enhancement of the paraML system.
• The methodology of using paraML for building other parallel programming systems and for general applications.

Researchers

Peter Bailey
Malcolm Newey
Robin Stanton

Publications

conference publications

1. Peter Bailey, Towards a formal semantics for paraML, in Proceedings of CATS'96 (Computing: The Australasian Theory Symposium), Melbourne, Australia, (January 29-30 1996).

2. Peter Bailey, Malcolm Newey, David Sitsky & Robin Stanton, Supporting Coarse and Fine Grain Parallelism in an Extension of ML, in Proceedings of CONPAR'94 - VAPP VII), LNCS 854, pp. 693-604, Linz, Austria, (September 1994).

3. Peter Bailey and Malcolm Newey, An Extension of ML for Distributed Memory Multicomputers, in Proceedings of the Sixteenth Australian Computer Science Conference, pp. 387-396, Brisbane, Australia, (January 1993).

4. Peter Bailey and Malcolm Newey, Implementing ML on Distributed Memory Multicomputers, ACM SIGPLAN Notices, 28, (1), pp. 59-63, (January 1993).

5. Peter Bailey and Malcolm Newey, Implementing ML on the Fujitsu AP1000, in Proceedings of the ACM SIGPLAN Workshop on ML and its Applications, pp. 163-168, (June 1992).

   programming manual

6. Peter Bailey, paraML Programming Manual, (January 1994).

Entries in the Annual Reports