OCaml Users and Developers Workshop 2013

2013-09-24
Boston, Massachusetts, USA
18 Jun 2013
Extended deadline for submissions
07 Jul 2013
Notification to speakers
24 Sep 2013
Workshop

Call for Presentations

Please consider submitting a presentation, and/or join us in Boston! See here the call for presentations.

Submission

If you have any questions, please e-mail: Michel Mauny <michel.mauny AT ensta-paristech DOT fr>

All Presentations

Title Authors Resources
Accessing and using weather-related data in OCaml Hezekiah Carty Link Slides
The Frenetic Network Controller Nate Foster, Arjun Guha, Frenetic Contributors Link Slides
Pfff: PHP Program analysis at Facebook Yoann Padioleau Link Slides
The design of the wxOCaml library Fabrice Le Fessant
Goji: an Automated Tool for Building High Level OCaml-JavaScript Interfaces Benjamin Canou Link Slides
ctypes: foreign calls in your native language Jeremy Yallop Link
The State of OCaml Xavier Leroy Slides
The OCaml Platform v0.1 Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, David Sheets, Philippe Wang, Leo White, Jeremy Yallop Link Slides
Extensions points for OCaml Leo White Slides
High-Performance GPGPU Programming with OCaml Mathias Bourgoin, Emmmanuel Chailloux, Jean-Luc Lamotte Link Slides
Improving OCaml high level optimisations Pierre Chambart Link Slides
A new implementation of OCaml formats based on GADTs Benoît Vaugon Link
Runtime types in OCaml Grégoire Henry, Jacques Garrigue Link Slides
On variance, injectivity, and abstraction Jacques Garrigue Link Slides
Ocamlot: OCaml Online Testing David Sheets, Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire Link Slides
Merlin, an assistant for editing OCaml code Frédéric Bour, Thomas Refis, Simon Castellan Link
Profiling the Memory Usage of OCaml Applications without Changing their Behavior Çagdas Bozman, Michel Mauny, Fabrice Le Fessant, Thomas Gazagnaire Link Slides
Core bench: micro-benchmarking for OCaml Christopher Hardin, James Roshan Link Slides

Workshop Details

Program Committee
Mark Shinwell (Jane Street Europe, UK), Damien Doligez (INRIA Paris-Rocquencourt, France), Jun Furuse (Standard Chartered Bank, Singapore), Jacques Le Normand (Google, USA), Michel Mauny (ENSTA-ParisTech, France (chair)), David Walker (Princeton University, USA), Jeremy Yallop (University of Cambridge, UK), Sarah Zennou (EADS IW, France)