OCaml 2013 - Program

The OCaml Users and Developers Workshop

Boston (MA, USA), September 24, 2013

Colocated with ICFP 2013

09:00-09:10 - Welcome

09:10-10:10 - Applications

Accessing and using weather-related data in OCaml (paper, slides), by Hezekiah Carty (MDA Information Systems LLC, USA)

The Frenetic Network Controller (paper, slides), by Nate Foster (Cornell University, USA), Arjun Guha (UMass Amherst, USA) and Frenetic Contributors (The Frenetic Project, USA)

Pfff: PHP Program analysis at Facebook (paper, slides), by Yoann Padioleau (Facebook, USA)

10:10-10:30 - Break

10:30-11:30 - Bindings

The design of the wxOCaml library (paper, slides), by Fabrice Le Fessant (INRIA Paris-Rocquencourt and OCamlPro SAS, France)

Goji: an Automated Tool for Building High Level OCaml-JavaScript Interfaces (paper, slides), by Benjamin Canou (Université Pierre et Marie Curie, LIP6 UMR 7606, France)

ctypes: foreign calls in your native language (paper), by Jeremy Yallop (University of Cambridge, UK)

11:30-11:50 - Break

11:50-12:30 - OCaml News

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

The OCaml Platform v0.1 (paper, slides), by Anil Madhavapeddy (University of Cambridge, UK), Amir Chaudhry (University of Cambridge, UK), Thomas Gazagnaire (OCamlPro SAS, France), David Sheets (University of Cambridge, UK), Philippe Wang (University of Cambridge, UK), Leo White (University of Cambridge, UK) and Jeremy Yallop (University of Cambridge, UK)

12:30-14:00 - Lunch

14:00-15:00 - Compilation

Extensions points for OCaml (invited, slides), by Leo White (University of Cambridge, UK)

High-Performance GPGPU Programming with OCaml (paper, slides), by Mathias Bourgoin (Université Pierre et Marie Curie, LIP6 UMR 7606, France), Emmmanuel Chailloux (Université Pierre et Marie Curie, LIP6 UMR 7606, France) and Jean-Luc Lamotte (Université Pierre et Marie Curie, LIP6 UMR 7606, France)

Improving OCaml high level optimisations (paper, slides), by Pierre Chambart (OCamlPro SAS, France)

15:00-15:20 - Break

15:20-16:20 - Types

A new implementation of OCaml formats based on GADTs (paper, slides), by Benoît Vaugon (ENSTA-ParisTech, France)

Runtime types in OCaml (paper, slides), by Grégoire Henry (INRIA Paris-Rocquencourt, France) and Jacques Garrigue (Nagoya University, Japan)

On variance, injectivity, and abstraction (paper, slides), by Jacques Garrigue (Nagoya University, Japan)

16:20-16:40 - Break

Ocamlot: OCaml Online Testing (paper, slides), by David Sheets (University of Cambridge, UK), Anil Madhavapeddy (University of Cambridge, UK), Amir Chaudhry (University of Cambridge, UK) and Thomas Gazagnaire (OCamlPro SAS, France)

Merlin, an assistant for editing OCaml code (paper), by Frédéric Bour (Université Paris-Diderot, France), Thomas Refis (Université Paris-Diderot, France) and Simon Castellan (Université Paris-Diderot, France)

Profiling the Memory Usage of OCaml Applications without Changing their Behavior (paper, slides), by Çagdas Bozman (OCamlPro SAS, INRIA Paris-Rocquencourt and ENSTA-Paristech, France), Michel Mauny (ENSTA-ParisTech, France), Fabrice Le Fessant (INRIA Paris-Rocquencourt and OCamlPro SAS, France) and Thomas Gazagnaire (OCamlPro SAS, France)

Core bench: micro-benchmarking for OCaml (paper, slides), by Christopher Hardin (Jane Street Capital, USA) and James Roshan (Jane Street Capital, USA)

18:00 - Closing