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

Thu 16 Oct
Displayed time zone: Perth change

10:30 - 12:15	ML Workshop 1ML Family Workshop at Peony NE Chair(s): Chris Casinghino Jane Street

10:30 5m Day opening		Welcome ML Family Workshop Sam Westrick New York University
10:35 30m Talk		MsML: A Proposal for a successor MLRemote ML Family Workshop David MacQueen University of Chicago (Emeritus)
11:05 30m Talk		Range-Analysis-Based Optimization for SML/NJ ML Family Workshop John Reppy University of Chicago, Byron Zhong University of Chicago Pre-print
11:35 30m Talk		LunarML: From Standard ML to Scripting Languages ML Family Workshop Mizuki Arata None File Attached

13:45 - 15:30	ML Workshop 2ML Family Workshop at Peony NE Chair(s): Sam Westrick New York University

13:45 30m Talk		Freezing Bidirectional Typing (Extended Abstract) ML Family Workshop Wenhao Tang The University of Edinburgh, Shengyi Jiang The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Sam Lindley University of Edinburgh Pre-print
14:15 30m Talk		A typed approach to ontology manipulation (experience report) ML Family Workshop Davide Camino University of Torino, Italy, Andrea Zito University of Torino, Italy, Viviana Bono University of Torino, Lorenzo Bafunno University of Torino, Italy, Lorenzo Pasini University of Torino, Italy, Emanuele Rovaretto University of Torino, Italy
14:45 45m Talk		From CakeML to Proof Checking, and Back AgainInvited Talk ML Family Workshop Yong Kiam Tan Institute for Infocomm Research, A*STAR

16:00 - 17:30	ML Workshop 3ML Family Workshop at Peony NE Chair(s): Anton Lorenzen University of Edinburgh

16:00 30m Talk		Implicit modules, a middle step towards modular implicitsRemote ML Family Workshop Samuel Vivien INRIA & PSL, Didier Rémy Inria
16:30 30m Talk		A Core Language for Extended Pattern Matching and Binding Boolean Expressions ML Family Workshop Arthur Charguéraud Inria, Yanni Lefki Inria
17:00 30m Talk		Compositional Deep Argument Flattening ML Family Workshop Martin Elsman University of Copenhagen Pre-print

ML Family Workshop 2025 Program

Thu 16 Oct
Displayed time zone: Perth change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

ML Family Workshop 2025 Program

Switch Program View

Program Display Configuration

Thu 16 OctDisplayed time zone: Perth change

Get Calendar (iCal)

Thu 16 Oct
Displayed time zone: Perth change