#### Filter Results:

#### Publication Year

2002

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Frédéric Loulergue, Frédéric Gava, David Billiet
- International Conference on Computational Science
- 2005

BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λ-calculus by parallel operations on a parallel data structure named parallel vector. The execution time can be estimated, deadlocks and indetermin-ism are avoided. Programs are written as usual functional programs (in Objective Caml)… (More)

- Frédéric Gava
- Parallel Processing Letters
- 2003

- Frédéric Gava, Frédéric Loulergue
- PaCT
- 2003

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 operations on a data structure named parallel vector, which is given by intention. In order to have an execution that follows the BSP model, and to have a simple cost model,… (More)

- Frédéric Gava, Frédéric Loulergue
- Future Generation Comp. Syst.
- 2005

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 operations on a data structure named parallel vector, which is given by intention. In order to have an execution that follows the BSP model, and to have a simple cost model,… (More)

- Frédéric Gava
- 2005

- Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
- Future Generation Comp. Syst.
- 2010

Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementation, avoiding concurrency related problems (deadlocks, indeterminism). Only a limited set of the features of OCaml can be used in BSML to respect its properties of safety: this… (More)

- Frédéric Gava
- ICCS
- 2008

Bulk-Synchronous Parallel ML (BSML) is a functional data-parallel language for the implementation of Bulk-Synchronous Parallel (BSP) algorithms. It makes an estimation of the execution time (cost) possible. This paper presents some general examples of BSML programs and a comparison of their predicted costs with the measured execution time on a parallel… (More)

- Frédéric Gava, Jean Fortin
- 2008 Ninth International Conference on Parallel…
- 2008

PUB (Paderborn University BSPLib) is a C library supporting the development of bulk-synchronous parallel (BSP) algorithms. The BSP model allows an estimation of the execution time, avoids deadlocks and indeterminism. This paper presents a formal operational semantics for a C+PUB subset language using the Coq proof assistant and a certified N-body… (More)

- Frédéric Gava
- Scalable Computing: Practice and Experience
- 2005

- Frédéric Gava, Frédéric Loulergue
- International Conference on Computational Science
- 2003

We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and deadlocks and indetermin-ism are avoided. The BSMLlib library has been implemented for the Objective Caml language. But there is currently no full implementation of such a language and an… (More)