OCaml Users and Developers Workshop 2012

Copenhagen, Denmark
08 Jul 2012
Abstract Submission Deadline
06 Jul 2012
Notification to Speakers
09 Aug 2012
Early Registration Deadline
14 Jul 2012
Workshop Date


The OCaml Users and Developers Workshop will bring together industrial users of OCaml with academics and hackers who are working on extending the language, type system and tools. Discussion will focus on the practical aspects of OCaml programming and the nitty gritty of the tool-chain and upcoming improvements and changes. Thus, we aim to solicit talks on all aspects related to improving the use or development of the language, including, for example:

  • compiler developments; new backends, runtime and architectures.

  • practical type system improvements, such as (but not exhaustively) GADTs, first-class modules, generic programming, or dependent types.

  • new library or application releases, and their design rationales.

  • tool enhancements by commercial consultants.

  • prominent industrial uses of OCaml, or deployments in unusual situations.

It will be an informal meeting, with an online scribe report of the meeting, but no formal proceedings for this year. Slides of presentations will be available online from the workshop homepage.

Questions and contact

If you have any queries or suggestions for the workshop, please contact Didier Remy (first.last@inria.fr) or Anil Madhavapeddy (first.last@cl.cam.ac.uk).

There is also an ASCII version of this information available, suitable for dissemination on mailing lists. Please help spread the word about this meeting!

All Presentations

Title Authors Resources
Welcome Didier Remy, Anil Madhavapeddy
Presenting Core Yaron Minsky Video
Ocsigen/Eliom: The state of the art, and the prospects Benedikt Becker, Vincent Balat Video
Experiments in Generic Programming Pierre Chambart, Grégoire Henry Video
Async Mark Shinwell, David House Video
OCamlCC -- Raising Low-Level Bytecode to High-Level C Michel Mauny, Benoit Vaugon Video
The State of OCaml Xavier Leroy Video
OCamlPro: promoting OCaml use in industry Fabrice le Fessant Link
Towards an OCaml Platform Yaron Minsky Video
OPAM: an OCaml Package Manager Frederic Tuong, Fabrice le Fessant, Thomas Gazagnaire Video
An LLVM Backend for OCaml Colin Benner Video
DragonKit: an extensible language oriented compiler Wojciech Meyer Video
Programming the Xen cloud using OCaml David Scott, Richard Mortier, Anil Madhavapeddy Video
Arakoon: a consistent distributed key value store Romain Slootmaekers, Nicolas Trangez Video
gloc: Metaprogramming WebGL Shaders with OCaml David Sheets Video
Real-world debugging in OCaml Mark Shinwell Video
OCaml Companion Tools Xavier Clerc Video
Study of OCaml programs' memory behavior Çagdas Bozman, Thomas Gazagnaire, Fabrice Le Fessant, Michel Mauny Video
Implementing an interval computation library for OCaml Jean-Marc Alliot, Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand, David Gianazza Video
Automatic Analysis of Industrial Robot Programs Markus Weißmann Video
Biocaml: The OCaml Bioinformatics Library Ashish Agarwal, Sebastien Mondet, Philippe Veber, Christophe Troestler, Francois Berenger Video

Workshop Details

Program Committee
Didier Remy (co-chair), Anil Madhavapeddy (co-chair), Alain Frisch, Jacques Garrigue, Richard Jones, Thomas Gazagnaire, Martin Jambon

Some Videos

Presenting Core
Presenting Core, by Yaron Minsky Core is Jane Street's alternative to the OCaml standard library. The need for an alternative to the standard library is clear: OCaml's standard library is well implemented, but it's narrow in scope, and somewh...
Ocsigen_Eliom - the state-of-the-art and the prospects
Ocsigen/Eliom: The state of the art, and the prospects, by Benedikt Becker and Vincent Balat
Experiments in Generic Programming
Experiments in generic programming: runtime type representation and implicit values, by Pierre Chambart & Grégoire Henry
Mark Shinwell and David House, Jane Street Europe. We propose to give a talk about Jane Street's Async library. This is an industrial-strength library for writing correct concurrent programs without having to think (too hard).
OCamlCC - raising low-level byte code to high-level C
OCamlCC - raising low-level byte code to high-level C, by Michel Mauny Benoît Vaugon We present preliminary results about OCamlCC, a compiler producing native code from OCaml bytecode executables, through the generation of C code.
The State of OCaml
The State of OCaml, Xavier Leroy