We present Quaff, a new skeleton-based parallel programming library. Its main originality is
to rely on C++ template meta-programming techniques to achieve high efficiency. In …

Bulk Synchronous Parallel ML (BSML) is a structured parallel functional programming
language. It extends a functional programming language of the ML family with a polymorphic …

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 …

llc is a high-level parallel language that provides support for some of the most widely used
algorithmic skeletons. The language has a syntax based on OpenMP-like directives and the …

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 …

This paper presents an extension of a library for the Coq interactive theorem prover that
enables the development of correct functional parallel programs based on sequential …

Skeletal parallelism offers a good trade-off between programming productivity and execution
efficiency. In this style of parallelism, an application is a composition of algorithmic …

From personal computers using an increasing number of cores, to supercomputers having
millions of computing units, parallel architectures are the current standard. The high …

Certains problèmes nécessitent des performances que seules les machines massivement
parallèles ou les méta-ordinateurs peuvent offrir. L'écriture d'algorithmes pour ce type de …

Bulk synchronous parallelism (BSP) offers an abstract and simple model of parallelism yet
allows to take realistically into account the communication costs of parallel algorithms. BSP …