The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system and tools. Previous editions have been colocated with ICFP 2012 in Copenhagen, ICFP 2013 in Boston, ICFP 2014 in Gothenburg, ICFP 2015 in Vancouver, following the OCaml Meetings that ran until 2011.
The home page for this workshop can be found here: http://ocaml.org/meetings/ocaml/2016/
Fri 23 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
09:09 - 10:25 | |||
09:09 1mDay opening | Welcome OCaml Mark Shinwell Jane Street | ||
09:10 25mTalk | Invited Talk OCaml | ||
09:35 25mTalk | The State of the OCaml Platform: September 2016 OCaml | ||
10:00 25mTalk | Learn OCaml: An Online Learning Center for OCaml OCaml | ||
10:40 - 11:30 | |||
10:40 25mTalk | Statistically profiling memory in OCaml OCaml | ||
11:05 25mTalk | Lock-free programming for the masses OCaml | ||
11:45 - 12:35 | |||
11:45 25mTalk | Conex -- establishing trust into data repositories OCaml | ||
12:10 25mTalk | OPAM-builder: Continuous Monitoring of OPAM Repositories OCaml Fabrice Le Fessant OCamlPro | ||
14:00 - 14:50 | |||
14:00 25mTalk | Sundials/ML: interfacing with numerical solvers OCaml Timothy Bourke INRIA, Jun Inoue National Institute of Advanced Industrial Science and Technology, Japan, Marc Pouzet | ||
14:25 25mTalk | OCaml inside: a drop-in replacement for libtls OCaml | ||
15:20 - 16:10 | |||
15:20 25mTalk | Semantics of the Lambda intermediate language OCaml Pierre Chambart OCamlPRO | ||
15:45 25mTalk | Generic Programming in OCaml OCaml | ||
16:10 - 17:05 | |||
16:10 18m | Inuit library: from printf to interactive user-interfacesPoster OCaml | ||
16:28 18m | ocp-lint, A Plugin-based Style-Checker with Semantic PatchesPoster OCaml | ||
16:46 18m | Partial evaluation and metaprogrammingPoster OCaml Pierre Chambart OCamlPRO | ||
17:05 - 18:00 | |||
17:05 25mTalk | Who's got your Mail? Mr. Mime! OCaml | ||
17:30 25mTalk | Improving the OCaml Web Stack: Motivations and Progress OCaml | ||
17:55 5mDay closing | Closing OCaml | ||
Accepted Papers
Submission
It will be an informal meeting, with an online scribe report of the meeting, but no formal proceedings. Slides of presentations will be available online from the workshop homepage. The presentations will likely be recorded, and made available at a later time.
To submit a talk, please register a description of the talk (about 2 pages long) by following this link, providing a clear statement of what will be provided by the talk: the problems that are addressed, the technical solutions or methods that are proposed. If you wish to perform a demo or require any special setup, we will do our best to accommodate you.
Call for Papers
It will be an informal meeting, with an online scribe report of the meeting, but no formal proceedings. Slides of presentations will be available online from the workshop homepage. The presentations will likely be recorded, and made available at a later time.
To submit a talk, please register a description of the talk (about 2 pages long) by following this link, providing a clear statement of what will be provided by the talk: the problems that are addressed, the technical solutions or methods that are proposed. If you wish to perform a demo or require any special setup, we will do our best to accommodate you.
| Fri 23 Sep 2016 OCaml workshop |
| Mon 18 Jul 2016 Author notification |
| Fri 10 Jun 2016 Talk proposal submission deadline |
