OCaml Users and Developers Workshop 2012 - Program

Join us on September 14th 2012 in Copenhagen, Denmark.

The next OCaml Users and Developers (OUD) meeting will be held alongside the ACM/SIGPLAN International Conference in Functional Programming. The meeting is an informal community gathering of users of the language, library authors, and developers extending OCaml in new ways. There will be no published proceedings, but videos and slides will be made available after the workshop.

OUD 2012 was a very successful day, and the videos of the talks are now being uploaded for free online. See the program below for links, which will be updated as they appear.


In 2012, the OCaml Meeting will be renamed the OCaml Users and Developers workshop (OUD), and be colocated with ICFP in Copenhagen, Denmark. It will be held on Friday September 14, after the ML workshop (Thu 13) and before the Commercial Users of Functional Programming (Sat 15).

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.


  • Friday 8th June 2012 Abstract Submission Deadline
  • Friday 6th July 2012 Notification to Speakers
  • Thursday 9th August 2012 Early Registration Deadline
  • Friday 14th September 2012: Workshop Date


This is the program for the workshop. Videos and slides will appear here as authors send them in, so please check back or contact them if they aren't yet present.

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

Program Committee

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


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!