Program - ICFP/SPLASH 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 17 Oct
Displayed time zone: Perth change

10:30 - 12:15	Compiler & RuntimeOCaml at Peony NE Chair(s): Fermin Reig

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 File Attached
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 Link to publication DOI Pre-print Media Attached File Attached
11:30 30m Talk		OCaml Package Management with (only!) Dune OCaml Stephen Sherratt Tarides, Marek Kubica Tarides, Rudi Grinberg OCaml Labs File Attached

13:45 - 15:30	Community & EcosystemOCaml at Peony NE Chair(s): Sheera Shamsu IIT Madras

13:45 30m Talk		How the OCaml Community Established Its Code of ConductInvited Talk OCaml Sudha Parimala Tarides
14:15 30m Talk		Embedding WebAssembly in OCaml for Safe Program Construction OCaml Hunter DeMeyer University of Illinois Urbana-Champaign File Attached
14:45 30m Talk		smaws: An AWS SDK for OCaml OCaml Chris Armstrong File Attached

16:00 - 17:30	Future of OCamlOCaml at Peony NE Chair(s): Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)

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, Jonathan Ludlam University of Cambridge, Ryan Gibb University of Cambridge, Thomas Gazagnaire Tarides, Anil Madhavapeddy University of Cambridge, UK File Attached
17:00 30m Talk		A New Era of OCaml Editing: Powered by Merlin, Delivered via LSP OCaml Xavier Van de Woestyne Tarides, Sonja Heinze Tarides, Ulysse Gérard Tarides, Muluh Godson Tarides File Attached

OCaml 2025 Program

Fri 17 Oct
Displayed time zone: Perth change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

OCaml 2025 Program

Switch Program View

Program Display Configuration

Fri 17 OctDisplayed time zone: Perth change

Get Calendar (iCal)

Fri 17 Oct
Displayed time zone: Perth change