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 …

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 …

The BSλpp p calculus is a calculus of functional BSP programs on enumerated parallel
vectors. This confluent calculus is defined and a parallel cost model is associated with a …

The work described here is part of our research program to investigate new paradigms for
declarative parallel programming through special interpretations of standard semantics. Our …

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 …

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

This work presents an automatic cost-analysis system for an implicitly parallel skeletal
programming language. Although deducing interesting dynamic characteristics of parallel …

This paper defines distributed futures, a construct that provides at the same time a data
container similar to a distributed vector, and a single synchronization entity that behaves …

Abstract The Trends in Functional Programming Symposia are an annual event dedicated to
promoting new research directions in functional programming and to investigating the …

Je tiens tout d'abord à remercier mes deux directeurs de thèse, Emmanuel et Jean-Luc, qui
au cours de ma thèse ont su, parfois malgré la distance, m'orienter et me guider dans mes …