OCaml Workshop 2025 took place during ICFP/SPLASH 2025, in Singapore.
ACM Sigplan ICFP page: OCaml Workshop 2025
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 @ACMSIGPLAN YouTube Channel.
03 Jul 2025
Abstract submission deadline
07 Aug 2025
Author notification
17 Oct 2025
OCaml Workshop
Presentations (9)
A Mechanically Verified Garbage Collector for OCaml
Authors(s):Sheera Shamsu, Dipesh Kafle, Dhruv Maroo, Kartik Nagar, Karthikeyan Bhargavan, KC Sivaramakrishnan
A New Era of OCaml Editing: Powered by Merlin, Delivered via LSP
Authors(s):Xavier Van de Woestyne, Sonja Heinze, Ulysse Gérard, Muluh Godson
OCaml Package Management with (only!) Dune
Authors(s):Stephen Sherratt, Marek Kubica, Rudi Grinberg
Taming the Flat Float Array Optimization: Tracking Separability in the Type System
Authors(s):Diana Kalinichenko, Richard A. Eisenberg
Three steps for OCaml to crest the AI humps
Authors(s):Sadiq Jaffer, Jonathan Ludlam, Ryan Gibb, Thomas Gazagnaire, Anil Madhavapeddy
Conference Details
Program Committee
•Kiran Gopinathan(University of Illinois Urbana Champaign)
•Yasunari Watanabe(Ahrefs)
•Jonah Beckford(Diskuv)
•Raja Boujbel(OCamlPro)
•Nathanaëlle Courant(OCamlPro)
•Zaynah Dargaye(Nomadic Labs)
•Stephen Dolan(Jane Street)
•Shon Feder(Tarides)
•Darius Foo(National University of Singapore)
•Charlène Gros(ISEN Lille)
•Son Ho(Inria)
•Nicolás Ojeda Bär(LexiFi)
•Sudha Parimala(Tarides)
•Mário Pereira(NOVA LINCS & DI -- Nova School of Science and Technology)
•Andrey Popp(Ahrefs)
•Gabriel Radanne(Inria)
•Sheera Shamsu(IIT Madras)
•Yahui Song(Standard Chartered Bank)
•Sam Westrick(New York University)