VOLUME Eighteen
TITLE: Specification of Parallel Algorithms
EDITORS: Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan
Published by the American Mathematical Society

Ordering Information

To order through AMS contact the AMS Customer Services Department, P.O. Box 6248, Providence, Rhode Island 02940-6248 USA. For Visa, Mastercard, Discover, and American Express orders call 1-800-321-4AMS.

You may also visit the AMS Bookstore and order directly from there. DIMACS does not distribute or sell these books.

• 1. Preface
• 2. Table of Contents

PREFACE

As part of the DIMACS (the Center for Discrete Mathematics and Theoretical Computer Science) special year on massively parallel computation, a three day workshop on Specification of Parallel Algorithms was held in May 1994 at Princeton, New Jersey. This workshop was undertaken in collaboration with CRPC (the Center for Research on Parallel Computation).

The goal of the workshop was to bring together some of the best researchers in parallel languages, algorithms, and systems to present and discuss recent developments in their areas of expertise, and to interact on current issues of common interest. The broad focus of the workshop was on specification techniques for concurrent systems. Listed below are some of the topics discussed.

• New specification techniques for concurrent and distributed systems.
• Behavioral and operational specification techniques.
• New parallel language and system abstractions.
• Impact of specification techniques on compilation and runtime performance.
• Specification of novel concurrent architectures and systems.
• Specification techniques applied to large-scale parallel systems.
• Derivation of efficient implementations from high-level specifications.
• Specification and analysis of novel mapping, scheduling, and task decomposition strategies for concurrent programs.
• Specification tools and environments.
• Proof techniques for concurrent systems.

The papers found in this volume include all papers presented at the workshop.

My thanks go to all the authors and attendees for contributing to a stimulating and productive meeting. I would also like to thank the other two members of the organizing committee, Mani Chandy and Guy Blelloch for their help. Christine Thivierge at the AMS was responsible for coordinating the publication of the proceedings. The Computer Science department at Princeton University kindly provided use of their facility. Pat Toci was the DIMACS liason for the workshop; Bruce Maggs and Tom Leighton are co-chairs for all the DIMACS special year workshops.

I am especially grateful to Dale Ronan for her expert handling of all meta-technical issues surrounding the workshop; among her numerous responsibilities were coordinating hotel accomodations, handling travel arrangements and workshop registration, organizing an evening reception, and ensuring copious availability of fine refreshments during the meeting. Sandy Barbu at Princeton was also a significant contributor in this respect.

Suresh Jagannathan, NEC Research Institute, Princeton, New Jersey

Table of Contents

Index of Volumes

DIMACS Homepage