The OCaml Planet

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

Transport Layer Security purely in OCaml by Hannes Mehnert and David Kaloper Meršinjak Transport Layer Security purely in OCamlTransport Layer Security (TLS) is probably the most widely de- ployed security protocol on the Internet. It is used t...

The State of OCaml (invited), Xavier Leroy

The OCaml Platform v1.0, by Anil Madhavapeddy The OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documen- tation, testing and IDE integration. The project is a collab- orative effort across the OCam...