The Community for Technology Leaders
Programming Models for Massively Parallel Computers (1995)
Berlin, Germany
Oct. 9, 1995 to Oct. 12, 1995
ISBN: 0-8186-7177-7
TABLE OF CONTENTS
Survey Lecture

A taxonomy of programming models for symmetric multiprocessors and SMP clusters (Abstract)

E.L. Lusk , Div. of Math. & Comput. Sci., Argonne Nat. Lab., IL, USA
W.W. Gropp , Div. of Math. & Comput. Sci., Argonne Nat. Lab., IL, USA
pp. 2
Session 1: Programming Methodology

Space-limited procedures: a methodology for portable high-performance (Abstract)

J. Ferrante , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
B. Alpern , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
L. Carter , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 10

Structuration of the ALPHA language (Abstract)

P. Quinton , IRISA, Rennes, France
T. Risset , IRISA, Rennes, France
F. de Dinechin , IRISA, Rennes, France
pp. 18

A scalable tuple space model for structured parallel programming (Abstract)

A. Corradi , Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., Italy
F. Zambonelli , Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., Italy
L. Leonardi , Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., Italy
pp. 25

Deriving optimal data distributions for group parallel numerical algorithms (Abstract)

T. Rauber , Dept. of Comput. Sci., Saarlandes Univ., Saarbrucken, Germany
R. Wilhelm , Dept. of Comput. Sci., Saarlandes Univ., Saarbrucken, Germany
G. Runger , Dept. of Comput. Sci., Saarlandes Univ., Saarbrucken, Germany
pp. 33
Session 2: Compilers, Optimization

Automatic mapping of stream-processing functional programs (Abstract)

J.B. Dennis , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
pp. 44

Compiling SVM-Fortran for the Intel Paragon XP/S (Abstract)

R. Berrendorf , Zentralinst. fur Angewandte Math., Forschungszentrum Julich GmbH, Germany
M. Gerndt , Zentralinst. fur Angewandte Math., Forschungszentrum Julich GmbH, Germany
pp. 52

Loop versus data scheduling: models, language and application for SVM (Abstract)

J.M. Bull , Centre for Novel Comput., Manchester Univ., UK
M.F.P. O'Boyle , Centre for Novel Comput., Manchester Univ., UK
pp. 60

Optimizing atomic functions using compile-time information (Abstract)

H.E. Bal , Dept. of Math. & Comput. Sci., Vrije Univ., Amsterdam, Netherlands
T. Ruhl , Dept. of Math. & Comput. Sci., Vrije Univ., Amsterdam, Netherlands
pp. 68
Survey Lecture

Towards a higher level of abstraction in parallel programming (Abstract)

D.B. Skillicorn , Dept. of Comput. Sci. & Inf. Sci., Queen's Univ., Belfast, UK
pp. 78
Session 3: Implementations, Experiments

Realizing a concurrent object-based programming model on parallel virtual shared memory architectures (Abstract)

M. Fisher , Dept. of Comput., Manchester Metropolitan Univ., UK
J. Keane , Dept. of Comput., Manchester Metropolitan Univ., UK
pp. 88

A-NETL: a language for massively parallel object-oriented computing (Abstract)

T. Yoshinaga , Dept. of Inf. Sci., Utsunomiya Univ., Japan
T. Baba , Dept. of Inf. Sci., Utsunomiya Univ., Japan
pp. 98

The refinement of high-level parallel algorithm specifications (Abstract)

J. Brennan , Dept. of Comput. Sci., Polytechnic Univ., Brooklyn, NY, USA
S. Talla , Dept. of Comput. Sci., Polytechnic Univ., Brooklyn, NY, USA
S.F. Hummel , Dept. of Comput. Sci., Polytechnic Univ., Brooklyn, NY, USA
pp. 106

Comparing scalable programming techniques for weather prediction (Abstract)

L. Hart , Forecast Syst. Lab., NOAA, Boulder, CO, USA
B. Rodriguez , Forecast Syst. Lab., NOAA, Boulder, CO, USA
T. Henderson , Forecast Syst. Lab., NOAA, Boulder, CO, USA
pp. 111
Survey Lecture

Automatic generation of parallel algorithms (Abstract)

T. Beth , Inst. fur Algorithmen und Kognitive Syst., Karlsruhe Univ., Germany
pp. 122
Session 4: Programming Languages

The parallel Fortran family and a new perspective (Abstract)

J. Darlington , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
Jin Yang , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
Y. Guo , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 126

Integrating synchronous and asynchronous paradigms: the Fork95 parallel programming language (Abstract)

C.W. Kessler , Fachbereich IV Inf., Trier Univ., Germany
H. Seidl , Fachbereich IV Inf., Trier Univ., Germany
pp. 134

Distributed memory implementation of elliptic partial differential equations in a dataparallel functional language (Abstract)

H. Kuchen , Lehrstuhl fur Inf. II, Tech. Hochschule Aachen, Germany
H. Stoltze , Lehrstuhl fur Inf. II, Tech. Hochschule Aachen, Germany
I. Dimov , Lehrstuhl fur Inf. II, Tech. Hochschule Aachen, Germany
A. Karaivanova , Lehrstuhl fur Inf. II, Tech. Hochschule Aachen, Germany
pp. 142

Term graph rewriting as a specification and implementation framework for concurrent object-oriented programming languages (Abstract)

G.A. Papadopoulos , Dept. of Comput. Sci., Manchester Univ., UK
R. Banach , Dept. of Comput. Sci., Manchester Univ., UK
pp. 151

Irregular applications in PROMOTER (Abstract)

A. Schramm , RWCP Massively Parallel Syst. GMD Lab., Berlin, Germany
pp. 159

V-nested parallelism in C (Abstract)

M.M.T. Chakravarty , Tech. Univ. Berlin, Germany
F.W. Schroer , Tech. Univ. Berlin, Germany
M. Simons , Tech. Univ. Berlin, Germany
pp. 167
Session 5: Tools and Environments

Facilitating the development of portable parallel applications on distributed memory systems (Abstract)

P. Tsanakas , Nat. Tech. Univ. of Athens, Greece
C. Voliotis , Nat. Tech. Univ. of Athens, Greece
G. Papakonstantinou , Nat. Tech. Univ. of Athens, Greece
A. Thanos , Nat. Tech. Univ. of Athens, Greece
G. Manis , Nat. Tech. Univ. of Athens, Greece
pp. 176

A package for automatic parallelization of serial C-programs for distributed systems (Abstract)

A. Bagaterenco , Inst. of Simulation Problems in Power Eng., Acad. of Sci., Kiev, Ukraine
V. Beletsky , Inst. of Simulation Problems in Power Eng., Acad. of Sci., Kiev, Ukraine
A. Chemeris , Inst. of Simulation Problems in Power Eng., Acad. of Sci., Kiev, Ukraine
pp. 184

Interactive visualization of high-dimension iteration and data sets (Abstract)

Z.S. Chamski , Centre for Novel Comput., Manchester Univ., UK
G.A. Hedayat , Centre for Novel Comput., Manchester Univ., UK
pp. 189
Session 6: Theory

Parallel EARS [edge addition rewrite systems] (Abstract)

U. Assmann , Inst. Nat. de Recherche en Inf. et Autom., Le Chesnay, France
pp. 198

Proving data-parallel programs correct: the proof outlines approach (Abstract)

L. Bouge , Lab. LIP-IMAG, Ecole Normale Superieure de Lyon, France
D. Cachera , Lab. LIP-IMAG, Ecole Normale Superieure de Lyon, France
pp. 205

Provably correct vectorization of nested-parallel programs (Abstract)

J. Prins , North Carolina Univ., Chapel Hill, NC, USA
S.P. Iyer , North Carolina Univ., Chapel Hill, NC, USA
J.W. Riely , North Carolina Univ., Chapel Hill, NC, USA
pp. 213
Panel Discussion & Open Forum

Author Index (PDF)

pp. 229
84 ms
(Ver )