ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Wed 15 Oct 2025 13:40 - 14:40 at Peony SE - Keynote / Language Semantics & Type Systems Chair(s): Yusuke Izawa

The POSIX programming model has provided a long-standing abstraction for I/O, but contemporary systems increasingly expose interfaces that deviate from this model in pursuit of performance, scalability, and flexibility. This talk traces the evolution of shared-memory and asynchronous I/O mechanisms, beginning with early hypervisor-driven approaches such as Xen’s virtual device drivers, and continuing through to modern system interfaces including Linux’s io_uring and macOS’s libdispatch. These developments illustrate the growing fragmentation of the I/O landscape, but also highlight opportunities for unifying abstractions that balance expressivity with ergonomics for these highly concurrent interfaces.

As a case study, I will discuss how Docker integrates these heterogeneous interfaces into end-to-end data paths. Finally, I will present ongoing work in the OCaml 5 ecosystem, where effect-based concurrency abstractions, as implemented in the Eio library, offer a principled way of reconciling post-POSIX I/O mechanisms with high-level language runtimes. My perspective aims to inform discussions on virtual machine and runtime design, with implications for concurrency models, performance engineering, and cross-platform systems support.

Anil Madhavapeddy is the Professor of Planetary Computing at the University of Cambridge Computer Laboratory. He co-directs the Centre for Earth Observation and the Cambridge Centre for Carbon Credits (4C), with the aim of accelerating natural climate solutions that contribute towards ending deforestation and improving biodiversity globally. He has decades of experience with constructing Internet-scale systems, and has contributed to open-source projects such as OCaml, Docker, Xen, and OpenBSD, with users ranging from cloud computing providers to financial institutions to governments worldwide.

Wed 15 Oct

Displayed time zone: Perth change

13:40 - 15:20
Keynote / Language Semantics & Type SystemsVMIL at Peony SE
Chair(s): Yusuke Izawa Tokyo Metropolitan University
13:40
60m
Keynote
The Wild West of post-POSIX IO Interfaces
VMIL
Anil Madhavapeddy University of Cambridge, UK
14:40
15m
Short-paper
Heterogeneous translation of Scala-like function types in Java-TX
VMIL
Julian Schmidt Baden-Wuerttemberg Cooperative State University, Daniel Holle Baden-Wuerttemberg Cooperative State University, Martin Plümicke DHBW Stuttgart, Campus Horb, Germany
14:55
15m
Talk
TEAL: a Total Expressive Assembly Language
VMIL
Yulong Huang University of Cambridge, Jeremy Yallop University of Cambridge