ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Fri 17 Oct 2025 11:30 - 12:00 at Peony NE - Compiler & Runtime

The OCaml build system Dune keeps track of a project’s dependencies on external software packages. Historically however, Dune has been unable to download or install these packages completely independently, relying on additional tools to perform these functions. This complicated the development of projects in OCaml as users needed to be fluent in both Dune as well as an additional tool (often opam) to manage a project’s dependencies. Recent work on Dune has added package management capabilities directly to the build system, enabling workflows where Dune is the only tool necessary to develop software in OCaml.

This talk will showcase Dune’s new package management features by developing an OCaml program starting from a bare system with no OCaml tooling installed.

This program is tentative and subject to change.

Fri 17 Oct

Displayed time zone: Perth change

10:30 - 12:15
Compiler & RuntimeOCaml at Peony NE
10:30
30m
Talk
Taming the Flat Float Array Optimization: Tracking Separability in the Type System
OCaml
Diana Kalinichenko Jane Street, Richard A. Eisenberg Jane Street
11:00
30m
Talk
A Mechanically Verified Garbage Collector for OCaml
OCaml
Sheera Shamsu IIT Madras, Dipesh Kafle NIT Trichy, Tiruchirappalli, India, Dhruv Maroo IIT Madras, Chennai, Kartik Nagar IIT Madras, Karthikeyan Bhargavan Cryspen, France, KC Sivaramakrishnan IIT Madras and Tarides
11:30
30m
Talk
OCaml Package Management with (only!) Dune
OCaml
Stephen Sherratt Tarides, Marek Kubica Tarides, Rudi Grinberg OCaml Labs