OCaml Workshop 2023 took place during ICFP 2023, in Seattle, Washington, United States.
ACM Sigplan ICFP page: OCaml Workskop 2023
The OCaml Users and Developers Workshop brings together the OCaml community, including users of OCaml in industry, academia, hobbyists, and the free software community.
01 Jun 2023
Abstract submission deadline
06 Jul 2023
Author notification
09 Sep 2023
OCaml Workshop
Presentations (16)
Building a Lock-Free STM for OCaml
Authors(s):Vesa Karvonen, Bartosz Modelski, Carine Morel, Thomas Leonard, KC Sivaramakrishnan, YSS Narasimha Naidu, Sudha Parimala
Efficient OCaml Compilation With Flambda 2
Authors(s):Pierre Chambart, Vincent LAVIRON, Mark Shinwell
Eio 1.0 – Effects-Based I/O for OCaml 5
Authors(s):Thomas Leonard, Patrick Ferris, Christiano Haesbaert, Lucas Pluvinage, Vesa Karvonen, Sudha Parimala, KC Sivaramakrishnan, Vincent Balat, Anil Madhavapeddy
Flambda 2 Types: An Abstract Domain for Static Analysis of Functional Programs
Authors(s):Vincent LAVIRON, Pierre Chambart, Mark Shinwell
Less Power for More Learning: Restricting OCaml Features for Effective Teaching
Authors(s):Max Lang, Nico Petzendorfer
Modern DSL Compiler Architecture in OCaml Our Experience With Catala
Authors(s):Louis Gesbert, Denis Merigoux
Osiris: An Iris-Based Program Logic for OCaml
Authors(s):Arnaud Daby-Seesaram, François Pottier, Armaël Guéneau
Owi: An Interpreter and a Toolkit for WebAssembly Written in OCaml
Authors(s):Léo Andrès, Pierre Chambart, Eric Patrizio, Dario Pinto
Runtime Detection of Data Races in OCaml with ThreadSanitizer
Authors(s):Olivier Nicole, Fabrice Buoro
Safe and Efficient Generic Functions With MacoCaml
Authors(s):Dmitrij Szamozvancev, Leo White, Ningning Xie, Jeremy Yallop
State of the OCaml Platform 2023
Authors(s):Thibaut Mattio, Anil Madhavapeddy, Thomas Gazagnaire, David Allsopp
Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the code
Authors(s):Edwin Török
Conference Details
Program Committee
•Kenichi Asai(Ochanomizu University)
•Jonah Beckford(Diskuv)
•Raja Boujbel(OCamlPro)
•Chris Casinghino(Jane Street)
•Nathanaëlle Courant(OCamlPro)
•Jacques Garrigue(Nagoya University)
•Kiran Gopinathan(National University of Singapore)
•Oleg Kiselyov(Tohoku University)
•Andrey Mokhov(Jane Street)
•Benoît Montagu(Inria)
•Sudha Parimala(Tarides)
•Matija Pretnar(University of Ljubljana, Slovenia)
•Jonathan Protzenko(Microsoft Research, Redmond)
•Claude Rubinson(University of Houston-Downtown)
•Gabriel Scherer(INRIA Saclay)