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)