DIMACS Workshop on Specification of Parallel Algorithms

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

Organizers:

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

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