[Caml-list] OCaml 2014 Call for Participation

[Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>]

Dear Camlers,

We have now a preliminary program for OCaml 2014,
co-located with ICFP 2014 in Gothenburg, on September 5.

We invite you to register for the workshop from the ICFP site:
	http://icfpconference.org/icfp2014/

You can find the up-to-date program at: http://ocaml.org/meetings/ocaml/2014/
Note that this year we are working in close cooperation with the
ML Family workshop: http://okmij.org/ftp/ML/ML14.html

Jacques Garrigue
-----

OCaml 2014 - Preliminary Program

09:00-09:10 - Welcome

09:10-10:00 - Runtime system

Multicore OCaml, by Stephen Dolan, Leo White, Anil Madhavapeddy (University of Cambridge)

Ephemerons meet OCaml GC, by François Bobot (CEA)

10:25-11:20 - Tools and libraries

Introduction to 0install, by Thomas Leonard (University of Cambridge)

Transport Layer Security purely in OCaml (*), by Hannes Mehnert (University of Cambridge), David Kaloper Meršinjak (University of Nottingham)

OCamlOScope: a New OCaml API Search (*), by Jun Furuse (Standard Chartered Bank, Singapore)

11:40-12:30 - OCaml News

The State of OCaml (invited), Xavier Leroy (INRIA Paris-Rocquencourt)

The OCaml Platform v1.0, by Anil Madhavapeddy (C), Amir Chaudhry (C), Jeremie Diminio (JS), Thomas Gazagnaire (C), Louis Gesbert (OCamlPro), Thomas Leonard (C), David Sheets (C), Mark Shinwell (JS), Leo White (C), Jeremy Yallop (C); (C = University of Cambridge, JS = Jane Street).

12:30-14:00 - Lunch

14:00-14:55 - Language

A Proposal for Non-Intrusive Namespaces in OCaml, by Pierrick Couderc (I), Fabrice Le Fessant (I+O), Benjamin Canou (O), Pierre Chambart (O); (I = INRIA, O = OCamlPro)

Improving Type Error Messages in OCaml (*), by Arthur Charguéraud (INRIA & Université Paris Sud)

Github Pull Requests for OCaml development: a field report (*), by Gabriel Scherer (INRIA)

15:10-16:30 - Joint Poster Session (with ML Family workshop)

Core.Sequence: a unified interface for sequences, by Nicolas Oury (Jane Street)

Irminsule; a branch-consistent distributed library database, by Thomas Gazagnaire (C), Amir Chaudhry (C), Anil Madhavapeddy (C), Richard Mortier (University of Nottingham), David Scott (Citrix System), David Sheets (C), Gregory Tsipenyuk (C), Jon Crowcroft (C); (C = University of Cambridge)

A Case for Multi-Switch Constraints in OPAM, by Fabrice Le Fessant (INRIA)

LibreS3: design, challenges, and steps toward reusable libraries, by Edwin Török (Skylable Ltd.)

Nullable Type Inference, by Michel Mauny and Benoit Vaugon (ENSTA-ParisTech)

16:30-17:50 - Applications

Coq of OCaml, by Guillaume Claret (Université Paris Diderot)

High Performance Client-Side Web Programming with SPOC and Js of ocaml (*), by Mathias Bourgoin and Emmmanuel Chailloux (Université Pierre et Marie Curie)

Using Preferences to Tame your Package Manager, Roberto Di Cosmo (D+I), Pietro Abate (D), Stefano Zacchiroli (D), Fabrice Le Fessant (I), Louis Gesbert (OCamlPro); (D = Université Paris Diderot, I = INRIA)

Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle (*), by Tom Ridge (University of Leicester)

17:50 - Closing

(*) short presentation