OCaml Users and Developers Workshop 2013
2013-09-24
Boston, Massachusetts, USA
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)