The SyDPaCC framework supports the development of scalable parallel functional
programs with Coq and helps the developers to write correct-by-construction programs with …

The BSP model of computing allows parallel programs to be ported to a wide range of
architectures with predictable runtime performance. We show how BSP may be …

With the current generalisation of parallel architectures arises the concern of applying formal
methods to parallelism. The complexity of parallel, compared to sequential, programs makes …

Building upon the wide-ranging success of the first edition, Parallel Scientific Computation
presents a single unified approach to using a range of parallel computers, from a small …

The Bulk Synchronous Parallel ML (BSML) is a functional language for BSP programming, a
model of computing which allows parallel programs to be ported to a wide range of …

The BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming with the
functional language Objective Caml. It is based on an extension of the λ-calculus by parallel …

A functional data-parallel language called BSML is designed for programming bulk-
synchronous parallel (BSP) algorithms in so-called direct mode. Its aim is to combine the …

This paper introduces the Scatter-Gather parallel-programming and parallel execution
model in the form of a simple imperative Scatter-Gather Language (SGL). Its design is based …

The BSMLlib is a library for Bulk Synchronous Parallel programming with the functional
language Objective Caml. It is based on an extension of the λ-calculus by parallel …

The integration of the generate-and-test paradigm and semirings for the aggregation of
results provides a parallel programming framework for large scale data-intensive …