CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons

Garnier, Ilias; Gava, Frédéric

doi:10.1080/17445760.2010.481785

Cited by 3 publications

(2 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…BSML is clearly a lower level programming language compared to algorithmic skeletons for example but it comes with a realistic cost model and is well adapt to the writing coarse-grain algorithms. Moreover, it can be used to implement higher-order parallel functions that could be used as algorithmic skeletons [9].…”

Section: Related Workmentioning

confidence: 99%

Type system for a safe execution of parallel programs in BSML

Gava

Gesbert²,

Loulergue

2011

Proceedings of the Fifth International Workshop on High-Level Parallel Programming and Applications

Self Cite

View full text Add to dashboard Cite

BSML, or Bulk Synchronous Parallel ML, is a high-level language based on ML and dedicated to parallel computation. In this paper, an extended type system that guarantees the safety of parallel programs is presented. It prevents non-determinism and deadlocks by ensuring that the invariants needed to preserve the structured parallelism are verified. Imperative extensions (references, exceptions) are included, and the system is designed for compatibility with modules.

show abstract

Section: Related Workmentioning

confidence: 99%

Type system for a safe execution of parallel programs in BSML

Gava

Gesbert²,

Loulergue

2011

Proceedings of the Fifth International Workshop on High-Level Parallel Programming and Applications

Self Cite

View full text Add to dashboard Cite

show abstract

“…FURTHER READING a) BSML: While being more concise than BSPlib, BSML is however equally expressive [22]. In addition to the primitives presented in this paper, BSML has been extended by parallel compositions [23], [24], [25], [26], parallel exceptions handling [27], and IO. These features are not available in the public release yet.…”

Section: Map and Reduce With Spoc And Sarekmentioning

confidence: 99%

Parallel Programming with OCaml: A Tutorial

Allombert

Bourgoin

Loulergue

2018

2018 International Conference on High Performance Computing &Amp; Simulation (HPCS)

View full text Add to dashboard Cite

OCaml is a multi-paradigm (functional, imperative, object-oriented) high level sequential language. Types are statically inferred by the compiler and the type system is expressive and strong. These features make OCaml a very productive language for developing efficient and safe programs. In this tutorial we present three frameworks for using OCaml to program scalable parallel architectures: BSML, Multi-ML and Spoc.

show abstract

Implementation of Data-Parallel Skeletons: A Case Study Using a Coarse-Grained Hierarchical Model

Gava

Hains

2012

2012 11th International Symposium on Parallel and Distributed Computing

View full text Add to dashboard Cite

CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons

Cited by 3 publications

References 21 publications

Type system for a safe execution of parallel programs in BSML

Type system for a safe execution of parallel programs in BSML

Parallel Programming with OCaml: A Tutorial

Implementation of Data-Parallel Skeletons: A Case Study Using a Coarse-Grained Hierarchical Model

Contact Info

Product

Resources

About