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

This program is tentative and subject to change.

Fri 17 Oct 2025 16:30 - 17:00 at Peony NE - Future of OCaml

We discuss how OCaml could adapt to the fast-moving world of AI-assisted agentic coding. We first benchmark how well represented OCaml is in the large and diverse set of open weight models that can be run locally. We then consider what is unique about OCaml programming (in particular, modules and abstraction) that differentiates it in this space. We then consider the changes required in our ecosystem to work better with AI coding assistants.

This program is tentative and subject to change.

Fri 17 Oct

Displayed time zone: Perth change

16:00 - 17:30
Future of OCamlOCaml at Peony NE
16:00
30m
Talk
Toward a More Secure OCaml EcosystemInvited Talk
OCaml
Maksim Grankin Bloomberg
16:30
30m
Talk
Three steps for OCaml to crest the AI humps
OCaml
Sadiq Jaffer University of Cambridge, Anil Madhavapeddy University of Cambridge, UK, Ryan Gibb University of Cambridge, Jonathan Ludlam University of Cambridge
17:00
30m
Talk
A New Era of OCaml Editing: Powered by Merlin, Delivered via LSP
OCaml