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. The meeting will be held online this year.
This workshop was originally planned to take place in Jersey City, New Jersey, USA and was later changed to be held virtually.
30 Mar 2020
Workshop Announcement
29 May 2020
Abstract submission deadline (any timezone)
17 Jul 2020
Author notification
14 Aug 2020
Camera-ready Deadline
28 Aug 2020
OCaml Workshop
Presentations (12)
A Declarative Syntax Definition for OCaml
Authors(s):Luis Eduardo de Souza Amorim, Eelco Visser
A Simple State-Machine Framework for Property-Based Testing in OCaml
Authors(s):Jan Midtgaard
API Migration: compare transformed
Authors(s):Joseph Harrison, Steven Varoumas, Simon Thompson, Reuben Rowe
Irmin v2
Authors(s):Clément Pascutto, Ioana Cristescu, Craig Ferguson, Thomas Gazagnaire, Romain Liautaud
OCaml-CI: A Zero-Configuration CI
Authors(s):Thomas Leonard, Craig Ferguson, Kate Deplaix, Magnus Skjegstad, Anil Madhavapeddy
Parallelising your OCaml Code with Multicore OCaml
Authors(s):Sadiq Jaffer, Sudha Parimala, KC Sivaramakrishnan, Tom Kelly, Anil Madhavapeddy
The Final Pieces of the OCaml Documentation Puzzle
Authors(s):Jonathan Ludlam, Gabriel Radanne, Leo White
Conference Details
Program Committee
•Ivan Gotovchits(CMU, USA)
•Florian Angeletti(INRIA, France)
•Chris Casinghino(Draper Laboratory, USA)
•Catherine Gasnier(Facebook, USA)
•Rudi Grinberg(OCaml Labs, UK)
•Oleg Kiselyov(Tohoku University, Japan)
•Andreas Rossberg(Dfinity Stiftung, Germany)
•Marcello Seri(University of Groningen, Netherlands)
•Edwin Torok(Citrix, UK)
•Leo White(Jane Street, USA)
•Greta Yorsh(Jane Street, USA)
•Sarah Zennou(Airbus, France)