ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

This program is tentative and subject to change.

Tue 14 Oct 2025 14:05 - 14:30 at Orchid West - Applications and SRC Talks

Docker is a developer tool used by millions of developers to build, share and run software stacks. The Docker Desktop clients for Mac and Windows have long used a novel combination of virtualisation and OCaml unikernels to seamlessly run Linux containers on these non-Linux hosts. We reflect on a decade of shipping this functional OCaml code into production across hundreds of millions of developer desktops, and discuss the lessons learnt from our experiences in integrating OCaml deeply into the container architecture that now drives much of the global cloud. We conclude by observing just how good a fit for systems programming that the unikernel approach has been, particularly when combined with the OCaml module and type system.

This program is tentative and subject to change.

Tue 14 Oct

Displayed time zone: Perth change

13:40 - 15:25
13:40
25m
Talk
A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware
ICFP Papers
Liyi Li Iowa State University, David Young University of Kansas, USA, James Bryan Graves Indiana University, Chandeepa Dissanayake Iowa State University, Amr Sabry Indiana University
DOI
14:05
25m
Talk
Functional Networking for Millions of Docker Desktops (Experience Report)
ICFP Papers
Anil Madhavapeddy University of Cambridge, UK, David J. Scott Docker, Inc., Patrick Ferris University of Cambridge, UK, Ryan Gibb University of Cambridge, Thomas Gazagnaire Tarides
DOI
14:30
25m
Talk
Polynomial-Time Program Equivalence for Machine Knitting
ICFP Papers
Nathan Hurtig University of Washington, Jenny Han Lin University of Utah, Thomas S. Price Carnegie Mellon University, Adriana Schulz University of Washington, James McCann Carnegie Mellon University, Gilbert Bernstein University of Washington
DOI
14:55
30m
Talk
SRC Talks
ICFP Student Research Competition