OCaml 2020
The OCaml Users and Developers Workshop Jersey City, New Jersey, United States, August 28th, 2020.
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.
News
- July 17, 2020: Talks are accepted!
- May 7, 2020: Deadline Extension.
- March 30, 2020: Workshop annoucement. The submission website is also open.
Important dates
- Friday 29th May (any time zone): Abstract submission deadline (updated)
- Friday 17th July: Author notification
- Friday 14th August: Camera-ready Deadline
- Friday 28th August: OCaml Workshop
Accepted Presentations
- A Declarative Syntax Definition for OCaml Luis Eduardo de Souza Amorim, Eelco Visser
- A Simple State-Machine Framework for Property-Based Testing in OCaml Jan Midtgaard
- AD-OCaml: Algorithmic Differentiation for OCaml Markus Mottl
- API migration: compare transformed Joseph Harrison, Steven Varoumas, Simon Thompson, Reuben Rowe
- Irmin v2 Clément Pascutto, Ioana Cristescu, Craig Ferguson, Thomas Gazagnaire, Romain Liautaud
- LexiFi Runtime Types Patrik Keller, Marc Lasson
- OCaml Under The Hood: SmartPy Sebastien Mondet
- OCaml-CI : A Zero-Configuration CI Thomas Leonard, Craig Ferguson, Kate Deplaix, Magnus Skjegstad, Anil Madhavapeddy
- Parallelising your OCaml Code with Multicore OCaml Sadiq Jaffer, Sudha Parimala, KC Sivaramakrishnan, Tom Kelly, Anil Madhavapeddy
- The ImpFS filesystem Tom Ridge
- The final pieces of the OCaml documentation puzzle Jonathan Ludlam, Gabriel Radanne, Leo White
- Types in amber Paul Steckler, Matthew Ryan
Program Committee
- Ivan Gotovchits, CMU, USA (chair)
- 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
Organizing Comittee
- Ivan Gotovchits (chair)
- Gemma Gordon (co-chair)
- Anil Madhavapeddy (co-chair)
- Frédéric Bour
- Enzo Crance
- Shon Feder
- Sonja Heinze
- Shakthi Kannan
- Flynn Ludlam
- Tim McGilchrist
- Sebastien Mondet
- Sudha Parimala
- Tom Ridge
- Marcello Seri
- Daniel Tornabene
- Shiwei Weng
Questions and contact
Please send any questions to the chair