OCaml Users and Developers Workshop 2013
OCaml Users and Developers Workshop 2013 will take place the 2013-09-24 and will be held at Boston, Massachusetts, USA
06 Jun 2013
Extended deadline for submissions
07 Jul 2013
Notification to speakers
09 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)