DIMACS Workshop on Specification of Parallel Algorithms

May 9 - 11, 1994
Princeton University, Department of Computer Science, Princeton, NJ

Guy Blelloch , Carnegie Mellon, blelloch@cs.cmu.edu
Mani Chandy, California Institute of Technology, mani@vlsi.caltech.edu
Suresh Jagannathan, NEC Research Institute, suresh@research.nj.nec.com
Presented under the auspices of the Special Year on Massively Parallel Computing.

Jointly sponsored by DIMACS and the Center for Research on Parallel Computing.

Workshop Program:

Monday, May 9, 1994

8:45 a.m. Opening Remarks 9:00-10:30 Session 1 "A Case Study in Irregular Parallel Programming" Andrew Chien, Mark Straka University of Illinois, Urbana-Champaign, IL "An Architecture Independent Programming Model for Scalable Parallel Computing" William McColl Oxford University, Oxford, England "Models and Paradigms of Interaction" Peter Wegner Brown University, Providence, RI 11:00-12:30 Session 2 "Towards Compositional Specifications of Parallel Programs" K. Mani Chandy California Institute of Technology, Pasadena, CA Beverly Sanders Institute fur Computersysteme ETZ Zurich (Swiss Federal Institute of Technology Building Categorical Data Type Programs" David E. Skillicorn Queens University, Kingston, Canada "The Concurrency Factory - Practical Tools for the Specification, Simulation, Verification, and Implementation of Concurrent System" Scott Smolka The State University of New York at Stony Brook 12:30-2:15 Lunch 2:15-3:45 Session 3 "Operational Implication of Conditional UNITY Properties" Yih-Kuen Tsay, Rajive Bagrodia University of California, Los Angeles "A Discipline of Multiprogramming" Jayadev Misra University of Texas, Austin "On The Efficient Implementation of Set-based Parallel Algorithm Specifications" Susan Flynn Hummel Polytechnic University, Brooklyn, NY 4:15-5:15 Session 4 "On Granularity of Events in Distributed Computations" Michel Hurfin, Noel Plouzeau and Michel Raynal IRISA/INRIA, France "Atomic Transactions for Multiprocessor Programming: a Formal Approach" Nancy Lynch Massachusetts Institute of Technology, Boston, MA

Tuesday, May 10, 1994

9:00-10:30 Session 5 "A Practical Parallel Programming Model" Larry Snyder University of Washington, Seattle, WA "A Program Building Tool for Parallel Applications" Shakil Ahmed, Nicholas Carriero and David Gelernter Yale University, New Haven, CT "Higher-order multiset programming" Daniel Le Metayer INRIA/INRISA, France 11:00-12:30 Session 6 "Specifying Parallel Programs in a Functional Language: the EPL Experience" Boleslaw Szymanski Rensselaer Polytechnic Institute, Troy, NY "Developing Molecular Dynamics Simulation Codes using Mixed Language Programming" Thomas DeBoni, John Feo, Hugh Caffey and Frederick Hausheer Lawrence Livermore National Laboratory, Livermore, CA and BioNumerik Pharmaceuticals, Inc. "Specification Methods for Efficient Parallel Implementation of Dynamic Data Structures" Gul Agha University of Illinois, Urbana-Champaign, IL 12:30-2:15 Lunch 2:15-3:15 Session 7 "Moded Flat GHC" Kazunori Ueda Waseda University "ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language - Its Design and Implementation Kenjiro Taura and Satoshi Matsuoka University of Tokyo, Tokyo, Japan 3:45-5:15 Session 8 "TLA in Pictures" Leslie Lamport Digital Equipment Corporation, Palo Alto, CA "Maude: Making Parallel Programming Machine-Independent" Patrick Lincoln, Narcisco Marti-Oliet and Jose Meseguer SRI International, Menlo Park, Ca "Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance" Anish Arora, Mohamed Gouda aand George Varghese The Ohio State University, Columbus University of Texas, Austin Massachusetts Institute of Technology

Wednesday, May 11, 1994

Informal discussion groups

Previous: Participation
Next: Registration
Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on April 13, 1998.