Programming is hard. Building a large program is like constructing a steam locomotive
through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person …

Structured parallel programs ought to be conceived as two separate and complementary
entities: computation, which expresses the calculations in a procedural manner, and …

Parallel programming of MIMD machines with distributed memory is typically based on
standard message passing libraries such as MPI [1], which leads to platform independent …

Today, parallel programming is dominated by message passing libraries such as MPI.
Algorithmic skeletons intend to simplify parallel programming by increasing the expressive …

We present Skil, an imperative language enhanced with higher order functions and currying,
as well as with a polymorphic type system. The high level of Skil allows the integration of …

An extension of the λ-calculus called BSλ is introduced as a formal basis for functional
languages expressing bulk synchronous parallel algorithms. A confluence result is shown …

Algorithmic skeletons define general patterns of computation which are useful for exposing
the computational structure of a program. Being general structures they qualify as a target for …

Algorithmic skeletons are polymorphic higher-order functions that represent common
parallelization patterns and that are implemented in parallel. They can be used as the …

Algorithmic skeletons are predefined components for parallel programming. We will present
a skeleton for branch & bound problems for MIMD machines with distributed memory. This …

Algorithmic skeletons intend to simplify parallel programming by providing a higher level of
abstraction compared to the usual message passing. Task and data parallel skeletons can …