A “minimal disruption” skeleton experiment: seamless map & reduce embedding in OCaml

M Danelutto, R Di Cosmo - Procedia Computer Science, 2012 - Elsevier
We discuss the implementation of a minimalist parallel library in OCaml. The library provides
parallel map and fold (reduce) higher order functions and targets standard cache coherent …

PySke: algorithmic skeletons for Python

J Philippe, F Loulergue - 2019 International Conference on …, 2019 - ieeexplore.ieee.org
PySke is a library of parallel algorithmic skeletons in Python designed for list and tree data
structures. Such algorithmic skeletons are high-order functions implemented in parallel. An …

SPOC: GPGPU programming through stream processing with OCaml

M Bourgoin, E Chailloux, JL Lamotte - Parallel Processing Letters, 2012 - World Scientific
General purpose computing on graphics processing units (GPGPU) consists of using GPUs
to handle computations commonly handled by CPUs. GPGPU programming implies …

Multi-ML: programming multi-BSP algorithms in ML

V Allombert, F Gava, J Tesson - International Journal of Parallel …, 2017 - Springer
Abstract bsp is a bridging model between abstract execution and concrete parallel systems.
Structure and abstraction brought by bsp allow to have portable parallel programs with …

Parallel programming and performance predictability with Orléans skeleton library

N Javed, F Loulergue - 2011 International Conference on High …, 2011 - ieeexplore.ieee.org
Orléans Skeleton Library (OSL) is a library of parallel algorithmic skeletons in C++ on top of
MPI. It provides a structured approach towards parallel programming. Skeletons in OSL are …

Implementing algorithmic skeletons with bulk synchronous parallel ML

F Loulergue - 2017 18th International Conference on Parallel …, 2017 - ieeexplore.ieee.org
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 …

Managing arbitrary distributions of arrays in Orléans Skeleton Library

J Légaux, F Loulergue… - … Conference on High …, 2013 - ieeexplore.ieee.org
Structured parallel models such as algorithmic skeletons offer a global view of the parallel
program in contrast with the fragmented view of the SPMD style. This makes program easier …

A web-based dual mode virtual laboratory supporting cooperative learning

YL Wu, TY Chan, BS Jong, TW Lin… - … and Applications, 2004 …, 2004 - ieeexplore.ieee.org
This paper suggests the solution to build a full virtual reality learning environment, and we
have built both virtual and real laboratories on the Web, in which students practice their …

Environnement pour le développement et la preuve de correction systématiques de programmes paralleles fonctionnels

J Tesson - 2011 - theses.hal.science
Concevoir et implanter des programmes parallèles est une tâche complexe, sujette aux
erreurs. La vérification des programmes parallèles est également plus difficile que celle des …

Simple, list-based parallel programming with transparent load balancing

J Buenabad-Chávez, MA Castro-García… - Parallel Processing and …, 2006 - Springer
We present a data-list management library that both simplifies parallel programming and
balances the workload transparently to the programmer. We present its use with an …