Back to Conferences

OCaml Users and Developers Workshop 2013

Boston, Massachusetts, USA

2013-09-24

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>

18 Jun 2013

Extended deadline for submissions

07 Jul 2013

Notification to speakers

24 Sep 2013

Workshop

Presentations (18)

Accessing and using weather-related data in OCaml

Authors(s):Hezekiah Carty

The Frenetic Network Controller

Authors(s):Nate Foster, Arjun Guha, Frenetic Contributors

Pfff: PHP Program analysis at Facebook

Authors(s):Yoann Padioleau

The design of the wxOCaml library

Authors(s):Fabrice Le Fessant

Goji: an Automated Tool for Building High Level OCaml-JavaScript Interfaces

Authors(s):Benjamin Canou

ctypes: foreign calls in your native language

Authors(s):Jeremy Yallop

The State of OCaml

Authors(s):Xavier Leroy

The OCaml Platform v0.1

Authors(s):Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, David Sheets, Philippe Wang, Leo White, Jeremy Yallop

Extensions points for OCaml

Authors(s):Leo White

High-Performance GPGPU Programming with OCaml

Authors(s):Mathias Bourgoin, Emmmanuel Chailloux, Jean-Luc Lamotte

Improving OCaml high level optimisations

Authors(s):Pierre Chambart

A new implementation of OCaml formats based on GADTs

Authors(s):Benoît Vaugon

Runtime types in OCaml

Authors(s):Grégoire Henry, Jacques Garrigue

On variance, injectivity, and abstraction

Authors(s):Jacques Garrigue

Ocamlot: OCaml Online Testing

Authors(s):David Sheets, Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire

Merlin, an assistant for editing OCaml code

Authors(s):Frédéric Bour, Thomas Refis, Simon Castellan

Profiling the Memory Usage of OCaml Applications without Changing their Behavior

Authors(s):Çagdas Bozman, Michel Mauny, Fabrice Le Fessant, Thomas Gazagnaire

Core bench: micro-benchmarking for OCaml

Authors(s):Christopher Hardin, James Roshan

Conference 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)