# Shape Analysis for Parallel Computing

@inproceedings{Jay1995ShapeAF, title={Shape Analysis for Parallel Computing}, author={C. Jay}, year={1995} }

Shapes are also known as (data) structures, containers, or indexing systems. They are used extensively in parallel computing to determine communication strategies, load-balancing, evaluation strategies, etc. Although widely used, most applications of shape are ad hoc, and may occur either during compilation, optimisation or at run-time. A primary goal of shape theory is to organise these techniques under a single umbrella, supported by a simple semantics. This paper focuses on potential… Expand

No Paper Link Available

#### Topics from this paper

#### 14 Citations

Exploiting Shape in Parallel ProgrammingC

- 1996

Shape theory is a new approach to data types and programming based on the separation of a data type into its \shape" and \data" parts. Shape is common in parallel computing. This paper identi es… Expand

Exploiting shape in parallel programming

- Computer Science
- Proceedings of 1996 IEEE Second International Conference on Algorithms and Architectures for Parallel Processing, ICA/sup 3/PP '96
- 1996

This paper identifies areas where the explicit use of shape reduces the burden of programming a parallel computer, using examples from an implementation of Cholesky decomposition. Expand

Shape Analysis of Functional Programs with Algebraic Data Types

- 1998

Data distribution algebras are an abstract notion for the description of parallel programs. Their dynamic execution can be optimized if they are shapely. In this paper we describe a shape analysis… Expand

Shapeliness analysis of functional programs with algebraic data types

- Computer Science
- Sci. Comput. Program.
- 2000

A shape analysis which allows compile-time shapeliness-tests is described which operates on the structure of algebraic data types and works for arbitrary functional programs rather than only shapely ones and besides a first-order calculus is proposed which can handle higher-order functions. Expand

Shape-based cost analysis of skeletal parallel programs

- Computer Science
- 2001

This work presents an automatic cost-analysis system for an implicitly parallel skeletal programming language and achieves the first automated analysis of a complete derivation, the well known maximum segment sum algorithm of Skillicorn and Cai. Expand

A cost analysis for a higher-order parallel programming model

- Computer Science
- 1996

The main contribution of the thesis is the cost model which aims to predict realistic performances and which considers several possible parallel implementations for a given program before selecting a cost-e ective one. Expand

The Transformational Derivation of Parallel Programs Using Data-distribution Algebras and Skeletons

- 1997

The transformational derivation of parallel programs for distributed-memory architectures using skeleton-based approaches is one of the most promising methods for parallel program development. These… Expand

- Dimension and Shape Invariant Array Programming : The Implementation and the Application

-Designing an architecture to handle large conceptual data blocks is very much needed. This paper implements a model for the shape and dimension invariant programming of arrays based on the notation… Expand

Functorial Ml Capsule Review

We present an extension of the Hindley-Milner type system that supports a generous class of type constructors called functors, and provide a parametrically polymorphic algorithm for their mapping,… Expand

STATIC PERFORMANCE PREDICTION OF SKELETAL PARALLEL PROGRAMS

- Computer Science
- Parallel Algorithms Appl.
- 2002

This work constitutes the first completely static system to account for both computation and communication in such a context and presents details of the language and its BSP implementation strategy together with an account of the analysis mechanism. Expand

#### References

SHOWING 1-3 OF 3 REFERENCES

A Semantics for Shape

- Computer Science
- Sci. Comput. Program.
- 1995

The shapely types are closed under the formation of fixpoints, and hence include the usual algebraic types of lists, trees, etc, and include other standard data structures such as arrays, graphs and records. Expand

Matrices, Monads and the Fast Fourier Transform

- Mathematics
- 1993

This paper presents a formal semantics for vectors and matrices, suitable for static type-checking. This is not available in apl, which produces run-time type errors, or in the usual functional… Expand

Covariant Types

- Computer Science
- Theor. Comput. Sci.
- 1997

This work suggests a new approach to the semantics of system F, and new ways of basing type systems on the categorical notions of functor and natural transformation. Expand