OCaml 2019

The OCaml Users and Developers Workshop Berlin, Germany, August 23rd, 2019.

The OCaml Users and Developers Workshop brings together the OCaml community, including users of OCaml in industry, academia, hobbyists and the free software community.

The meeting is an informal community gathering of users of the language, library authors, and developers, using and extending OCaml in new ways.

News

June 30, 2019: talks accepted.
April 3, 2019: Workshop annoucement. The submission website is also open.

Important dates

Friday 17th May (any time zone): Abstract submission deadline
Sunday 30th June: Author notification
Friday 23rd August: OCaml Workshop

Accepted Presentations

Codept, a whole-project dependency analyzer for OCaml Florian Angeletti
MirageOS 4: the dawn of practical build systems for exotic targets Lucas Pluvinage, Romain Calascibetta, Rudi Grinberg, Anil Madhavapeddy
Makecloud: Simple, Fast, Robust CI/CD for the modern era Adam Ringwood, Hezekiah Carty
The future of OCaml PPX: towards a unified and more robust ecosystem Nathan Rebours, Jeremie Dimino, Xavier Clerc, Carl Eastlund
CausalRPC: traceable distributed computation Craig Ferguson
The OCaml Platform in 2019 Anil Madhavapeddy, Gemma Gordon
Lessons from building a succinct blockchain with OCaml Nathan Holland
OwlDE: making ODEs first-class Owl citizens Marcello Seri, Ta-Chu Kao
Benchmarking the OCaml compiler: our experience Tom Kelly
Executing Owl Computation on GPU and TPU Jianxin Zhao

Additionally, there is an invited talk on recent developments and plans from the OCaml development team, given by Xavier Leroy.

Program Committee

David Allsopp, University of Cambridge, UK
Raja Boujbel, OCamlPro, France
Timothy Bourke, INRIA, France
Simon Cruanes, Imandra, USA
Emilio Jésus Gallego Arias, MINES ParisTech, France
Thomas Gazagnaire, Tarides, France
Ivan Gotovchits, CMU, USA
Hannes Mehnert, robur.io, Germany
Igor Pikovets, Ahrefs, Singapore
Thomas Refis, Jane Street Europe, UK
KC Sivaramakrishan, IIT Madras, India

Questions and contact

Please send any questions to the chair