Program - ICFP/SPLASH 2025

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

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	Implementation, Application, and TypesScheme at Peony NW

10:30 5m Day opening		Welcome Scheme
10:35 25m Talk		Stak Scheme: The tiny R7RS-small implementation Scheme Yota Toyama None File Attached
11:00 25m Talk		Gouki Scheme: An Embedded Scheme Implementation for Async Rust Scheme Matthew Plant OneChronos File Attached
11:25 25m Talk		Automatic Invariant Testing for Finite-State Machines Scheme Marco Morazan pc, Sophia Turano Seton Hall University, Andrés M. Garced Seton Hall University, David Anthony K. Fields Seton Hall University
11:50 20m Talk		Sound Default-Typed Scheme (Position Paper) Scheme Jan-Paul Ramos-Davila Boston University File Attached

13:45 - 15:30	Macros and Denotational SemanticsScheme at Peony NW

13:45 25m Talk		Rewriting Macros on the Fly: A Modular Approach to Administrative Reduction During Expansion Scheme Paul Downen University of Massachusetts at Lowell
14:10 25m Talk		Fast and Extensible Hybrid Embeddings with Micros Scheme Sean Bocirnea University of British Columbia, William J. Bowman University of British Columbia
14:35 20m Talk		Hygienic Macros via Staged Environment Machines (Position Paper) Scheme Yuito Murase Kyoto University, Japan
14:55 25m Talk		Checking a Denotational Semantics of Scheme in Agda Scheme Peter D. Mosses Swansea University and Delft University of Technology

16:00 - 17:30	Report, Lightning Talks, and KeynoteScheme at Peony NW

16:00 20m Talk		Scheme Reports at Fifty: Where do we go from here?Remote Scheme Daphne Preston-Kendal
16:20 10m Talk		Brack: A Verified Compiler for Scheme via CakeML (Lightning Talk) Scheme Pascal Lasnier University of Cambridge, Jeremy Yallop University of Cambridge, Magnus O. Myreen Chalmers University of Technology File Attached
16:30 10m Talk		miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk) Scheme Ari Prakash Northeastern University, Zachary Eisbach Northeastern University File Attached
16:40 50m Keynote		Keynote Scheme Michael D. Adams National University of Singapore

Scheme 2025 Program

This program is tentative and subject to change.

Thu 16 Oct
Displayed time zone: Perth change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Scheme 2025 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Thu 16 OctDisplayed time zone: Perth change

Get Calendar (iCal)

Thu 16 Oct
Displayed time zone: Perth change