OCaml Workshop 2024

Milan, Italy

2024-09-07

OCaml Workshop 2024 took place during ICFP 2024, in Milan, Italy.

ACM Sigplan ICFP page: OCaml Workshop 2024

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

Video recordings can be found on the @OCamlWorkshops YouTube Channel.

30 May 2024

Abstract submission deadline

04 Jul 2024

Author notification

07 Sep 2024

OCaml Workshop

Presentations (16)

A Non-allocating Option

Authors(s):Richard A. Eisenberg

Details View on YouTube

B · o · B, a universal & secure file-transfer software in OCaml

Authors(s):Romain Calascibetta

Details View on YouTube

ChorCaml: Functional Choreographic Programming in OCaml

Authors(s):Rokas Urbonas

Details View on YouTube

Distributed Actors in OCaml

Authors(s):Wenke DU, Gabriel Radanne, Ludovic Henrio

Details View on YouTube

First-Class Windows: Building a Roadmap for OCaml on Windows

Authors(s):Sudha Parimala, Benjamin Canou, Pierre Boutillier, David Allsopp

Details View on YouTube

Flambda2 Validator

Authors(s):Irene Yoon, Chris Casinghino

Details View on YouTube

Mica: Automated Differential Testing for OCaml Modules

Authors(s):Ernest Ng, Harrison Goldstein, Benjamin C. Pierce

Details View on YouTube

Mixed Blocks: Storing More Fields Flat

Authors(s):Nicholas Roberts

Details View on YouTube

On the design and implementation of Modular Explicits

Authors(s):Samuel Vivien, Didier Rémy

Details View on YouTube

Opam 2.2 and beyond

Authors(s):Raja Boujbel, Kate Deplaix, David Allsopp

Details View on YouTube

Picos — Interoperable effects based concurrency

Authors(s):Vesa Karvonen

Details View on YouTube

Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml

Authors(s):Stefan K. Muller

Details View on YouTube

Project-wide occurrences for OCaml, a progress report

Authors(s):Ulysse Gérard

Details View on YouTube

Recursion schemes in OCaml: An experience report

Authors(s):Tim Williams

Details View on YouTube

Saturn: a library of verified concurrent data structures for OCaml 5

Authors(s):Clément Allain, Vesa Karvonen, Carine Morel

Details View on YouTube

Structured diagnostics for the OCaml compiler

Authors(s):Florian Angeletti

Details View on YouTube

Conference Details

Program Committee

•Armaël Guéneau(Inria Saclay - LMF)
•Sonja Heinze(Tarides)
•Abigael Decorne()
•Antonio Monteiro()
•Carine Morel(Tarides)
•Enrico Tassi(INRIA)
•Hugo Heuzard()
•Kate Deplaix(Consultant for the OCaml Software Foundation and Ahrefs)
•Marcello Seri(Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen)
•Milla Valnet(Sorbonne Université)
•Ningning Xie(University of Toronto; Google DeepMind)
•Richard A. Eisenberg(Jane Street)
•Robert Blanco(Max Planck Institute for Security and Privacy (MPI-SP))
•Simmo Saan(University of Tartu, Estonia)
•Takafumi Saikawa(Nagoya University)
•Troels Henriksen(University of Copenhagen)