Languages and Compilers for Parallel Computing: 5th International Workshop New Haven, Connecticut, USA, August 3–5, 1992 Proceedings

✍ Scribed by W. Kim, G. Agha (auth.), Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1993
• Tongue: English
• Leaves: 585
• Series: Lecture Notes in Computer Science 757
• Edition: 1
• Category: Library

✦ Synopsis

The articles in this volume are revised versions of the best papers presented at the Fifth Workshop on Languages and Compilers for Parallel Computing, held at Yale University, August 1992. The previous workshops in this series were held in Santa Clara (1991), Irvine (1990), Urbana (1989), and Ithaca (1988). As in previous years, a reasonable cross-section of some of the best work in the field is presented. The volume contains 35 papers, mostly by authors working in the U.S. or Canada but also by authors from Austria, Denmark, Israel, Italy, Japan and the U.K.

✦ Table of Contents

Compilation of a highly parallel Actor-Based Language....Pages 1-15
A concurrent execution semantics for Parallel Program Graphs and Program Dependence Graphs....Pages 16-30
Using profile information to assist advanced compiler optimization and scheduling....Pages 31-48
A hierarchical parallelizing compiler for VLIW/MIMD machines....Pages 49-63
Dynamic dependence analysis: A novel method for data dependence evaluation....Pages 64-81
On the feasibility of dynamic partitioning of pointer structures....Pages 82-96
Compiler analysis for irregular problems in fortran D....Pages 97-111
Data ensembles in Orca C....Pages 112-123
Compositional C++: Compositional parallel programming....Pages 124-144
Data parallelism and Linda....Pages 145-159
Techniques for efficient execution of fine-grained concurrent programs....Pages 160-174
Computing per-process summary side-effect information....Pages 175-191
Supporting SPMD execution for dynamic data structures....Pages 192-207
Determining transformation sequences for loop parallelization....Pages 208-222
Compiler optimizations for massively parallel machines: Transformations on iterative spatial loops....Pages 223-247
Handling distributed data in Vienna Fortran procedures....Pages 248-263
On the synthesis of parallel programs from tensor product formulas for block recursive algorithms....Pages 264-280
Collective loop fusion for array contraction....Pages 281-295
Parallel hybrid data flow algorithms: A case study....Pages 296-310
A control-parallel programming model implemented on SIMD hardware....Pages 311-325
C ** : A large-grain, object-oriented, data-parallel programming language....Pages 326-341
A calculus of gamma programs....Pages 342-355
A Linda-based runtime system for a distributed logic language....Pages 356-368
Parallelizing a C Dialect for distributed memory MIMD machines....Pages 369-390
A singular loop transformation framework based on non-singular matrices....Pages 391-405
Designing the McCAT compiler based on a family of structured intermediate representations....Pages 406-420
Doany: Not just another parallel loop....Pages 421-433
Data dependence and data-flow analysis of arrays....Pages 434-448
Experience with techniques for refining data race detection....Pages 449-463
Extending the Banerjee-Wolfe test to handle execution conditions....Pages 464-481
A FORTRAN compiling method for dataflow machines and its prototype compiler for the parallel processing system-Harray....Pages 482-496
Distributed slicing and partial re-execution for distributed programs....Pages 497-511
A program's eye view of Miprac....Pages 512-537
Symbolic program analysis and optimization for parallelizing compilers....Pages 538-562
Utilizing new communication features in compilation for private-memory machines....Pages 563-576

✦ Subjects

Computation by Abstract Devices; Programming Techniques; Programming Languages, Compilers, Interpreters; Arithmetic and Logic Structures; Computer Graphics