Back to Conferences

OCaml Workshop 2019

Berlin, Germany

2019-08-23

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.

17 May 2019

Abstract submission deadline (any timezone)

30 Jun 2019

Author notification

23 Aug 2019

OCaml Workshop

Presentations (10)

Codept, a whole-project dependency analyzer for OCaml

Authors(s):Florian Angeletti

MirageOS 4: the dawn of practical build systems for exotic targets

Authors(s):Lucas Pluvinage, Romain Calascibetta, Rudi Grinberg, Anil Madhavapeddy

Makecloud: Simple, Fast, Robust CI/CD for the modern era

Authors(s):Adam Ringwood, Hezekiah Carty

The future of OCaml PPX: towards a unified and more robust ecosystem

Authors(s):Nathan Rebours, Jeremie Dimino, Xavier Clerc, Carl Eastlund

CausalRPC: traceable distributed computation

Authors(s):Craig Ferguson

The OCaml Platform in 2019

Authors(s):Anil Madhavapeddy, Gemma Gordon

Lessons from building a succinct blockchain with OCaml

Authors(s):Nathan Holland

OwlDE: making ODEs first-class Owl citizens

Authors(s):Marcello Seri, Ta-Chu Kao

Benchmarking the OCaml compiler: our experience

Authors(s):Tom Kelly

Executing Owl Computation on GPU and TPU

Authors(s):Jianxin Zhao

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