OCaml Workshop 2019
2019-08-23
Berlin, Germany
Berlin, Germany
17 May 2019
Abstract submission deadline (any timezone)
30 Jun 2019
Author notification
23 Aug 2019
OCaml Workshop
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.
All Presentations
| Title | Authors | Resources |
|---|---|---|
| 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 |
Workshop Details
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)