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
16:40-17:40 - Tools
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)