OCaml Users and Developers Workshop 2012

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...

Towards an OCaml Platform, by Yaron Minsky

The State of OCaml, Xavier Leroy

OCaml Companion Tools, by Xavier Clerc. The objective of this talk is to present several tools that aim to ease the development of software written with the OCaml language. These tools are particularly suited to help the developer during the de...

DragonKit - an extensible language oriented compiler, by Wojciech Meyer

OPAM - an OCaml Package Manager, by Thomas Gazagnaire.

Experiments in generic programming: runtime type representation and implicit values, by Pierre Chambart & Grégoire Henry

Arakoon - a distributed consistent key-value store, by Nicolas Trangez. Arakoon is a simple consistent distributed key value store. Technically, it’s an OCaml implementation of Multi-Paxos on top of Tokyo Cabinet, using Ocsigen’s Light Weight T...

Automatic analysis of industrial robot programs, by Markus Weißmann

Real-world debugging in OCaml, by Mark Shinwell

gloc : Metaprogramming WebGL Shaders with OCaml, by David William Wallace Sheets and Ashima Arts. WebGL is a new Khronos Group standard for GPU-accelerated rendering by in-browser JavaScript applications. WebGL introduces a new language, WebG...

Programming the Xen cloud using OCaml by David Scott, Anil Madhavapeddy and Richard Mortier. The Xen Cloud Platform (XCP)1 is an open-source software distribution that converts clusters of physical computers into many virtual machines, all isol...

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).

An LLVM backend for OCaml by Colin Benner. As part of my bachelor thesis I have implemented a new backend for the OCaml nativecode compiler ocamlopt for the AMD64 architecture. It uses the Low Level Virtual Machine framework (LLVM, an optimisin...

Implementing an interval computation library for OCaml, by Jean-Marc Alliot, Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand and David Gianazza. In this paper we present two implementation of interval arithmetics for Ocaml on x86/amd64...

Study of OCaml programs’ memory behaviour, by Çagdas Bozman, Thomas Gazagnaire, Fabrice Le Fessant and Michel Mauny. In this paper, we present a preliminary work on new memory profiling tool and others, to help us to understand memory behaviour.

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.

Ocsigen/Eliom: The state of the art, and the prospects, by Benedikt Becker and Vincent Balat

Biology is an increasingly computational discipline due to rapid advances in experimental techniques, especially DNA sequencing, that are generating data at unprecedented rates. The computational techniques needed range from the complex (.e.g algo...