OCaml 2014 - Preliminary Program

Gothenburg (Sweden), September 5, 2014

09:00-09:10 - Welcome

09:10-10:00 - Runtime system

Multicore OCaml, by Stephen Dolan, Leo White, Anil Madhavapeddy (University of Cambridge). PDF Abstract.

Ephemerons meet OCaml GC, by François Bobot (CEA). PDF Abstract.

10:25-11:20 - Tools and libraries

Introduction to 0install, by Thomas Leonard (University of Cambridge) . PDF Abstract.

Transport Layer Security purely in OCaml (*), by Hannes Mehnert (University of Cambridge), David Kaloper Meršinjak (University of Nottingham). PDF Abstract.

OCamlOScope: a New OCaml API Search (*), by Jun Furuse (Standard Chartered Bank, Singapore). PDF Abstract.

11:40-12:30 - OCaml News

The State of OCaml (invited), Xavier Leroy (INRIA Paris-Rocquencourt).

The OCaml Platform v1.0, by Anil Madhavapeddy (C), Amir Chaudhry (C), Jeremie Diminio (JS), Thomas Gazagnaire (C), Louis Gesbert (OCamlPro), Thomas Leonard (C), David Sheets (C), Mark Shinwell (JS), Leo White (C), Jeremy Yallop (C); (C = University of Cambridge, JS = Jane Street). PDF Abstract.

12:30-14:00 - Lunch

14:00-14:55 - Language

A Proposal for Non-Intrusive Namespaces in OCaml, by Pierrick Couderc (I), Fabrice Le Fessant (I+O), Benjamin Canou (O), Pierre Chambart (O); (I = INRIA, O = OCamlPro). PDF Abstract.

Improving Type Error Messages in OCaml (*), by Arthur Charguéraud (INRIA & Université Paris Sud). PDF Abstract.

Github Pull Requests for OCaml development: a field report (*), by Gabriel Scherer (INRIA). Abstract.

15:10-16:30 - Joint Poster Session (with ML Family workshop)

Irminsule; a branch-consistent distributed library database, by Thomas Gazagnaire (C), Amir Chaudhry (C), Anil Madhavapeddy (C), Richard Mortier (University of Nottingham), David Scott (Citrix System), David Sheets (C), Gregory Tsipenyuk (C), Jon Crowcroft (C); (C = University of Cambridge). PDF Abstract.

A Case for Multi-Switch Constraints in OPAM, by Fabrice Le Fessant (INRIA). PDF Abstract.

LibreS3: design, challenges, and steps toward reusable libraries, by Edwin Török (Skylable Ltd.). PDF Abstract Slides Poster.

Nullable Type Inference (#), by Michel Mauny and Benoit Vaugon (ENSTA-ParisTech). PDF Abstract.

16:30-17:50 - Applications

Coq of OCaml, by Guillaume Claret (Université Paris Diderot). PDF Abstract.

High Performance Client-Side Web Programming with SPOC and Js of ocaml (*), by Mathias Bourgoin and Emmmanuel Chailloux (Université Pierre et Marie Curie). PDF Abstract.

Using Preferences to Tame your Package Manager, Roberto Di Cosmo (D+I), Pietro Abate (D), Stefano Zacchiroli (D), Fabrice Le Fessant (I), Louis Gesbert (OCamlPro); (D = Université Paris Diderot, I = INRIA). PDF Abstract.

Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle (*), by Tom Ridge (University of Leicester). PDF Abstract.

17:50 - Closing


  • (*) short presentation
  • (#) on behalf of the ML Family workshop
  • A Simple and Practical Linear Algebra Library Interface with Static Size Checking, by Akinori Abe and Eijiro Sumii (Tohoku University), will be presented at the ML Family Workshop. PDF Abstract.