Contact the authors: <Francois.Clement at>, <Pierre.Weis at>.

Sklml: Easy coarse grain parallelization

Version 2.0+pl0

Bug reports and mailing lists


Sklml, the OCaml parallel skeleton system, is a functional parallel skeleton compiler and programming system for OCaml programs.

Writing parallel programs is not easy, and debugging them is usually a nightmare. To cope with these difficulties, the skeleton programming approach uses a set of predefined patterns for parallel computations. The skeletons are higher order functional templates that describe the program underlying parallelism.

Sklml is a new framework for parallel programming that embeds an innovative compositional skeleton algebra into the OCaml language. Thanks to its skeleton algebra, Sklml provides two evaluation regimes to programs: a regular sequential evaluation (merely used for prototyping and debugging) and a parallel evaluation obtained via a recompilation of the same source program in parallel mode.

Sklml was specifically designed to prove that the sequential and parallel evaluation regimes coincide.


The Sklml user's manual is available on line.

You can also download the manual as DVI (66 ko), PS (356 ko), and PDF (181 ko) files.

The manual only exists in the English version, volunteers to translate it are warmly welcome...



You will need OCaml to build and use Sklml.

See the INSTALL file provided in the distribution for installation tips.


The latest version (2.0+pl0) of the sources of Sklml are available via HTTP.

See the CHANGES file provided in the distribution.


This program is free software distributed under the 3-clause BSD license. See the LICENSE file provided in the distribution.

Bug reports and mailing list

If you find a bug in Sklml, please write to <sklml-bugs at>.

If you want to get in touch with the implementors of Sklml (to contribute some new ideas or lines of code), please write to <sklml-devel at>.

If you want to get in touch with the users of Sklml, please write to <sklml-users at>.


The version 2.0+pl0 of Sklml was developed from 2007 to 2016 by

Quentin Carbonneaux,
François Clément <Francois.Clement at>, and
Pierre Weis <Pierre.Weis at>.


Sklml was inspired by the OCamlP3l experiment.

Sklml is entirely written in OCaml.

Page generated by fclement on flipote at 2016-09-29T15:23:18Z.
Latest update of the content of this page: Wednesday, September 28th, 2016.
Copyright © 2007-2016 Institut National de Recherche en Informatique et en Automatique (INRIA), all rights reserved.