ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Thu 16 Oct 2025 11:00 - 11:25 at Peony NW - Implementation, Application, and Types

GoukiScheme is the first-of-its-kind JIT compiler for the R6RS dialect of Scheme that supports call-with-current-continuation while being embeddable within and seamlessly integrating with a compiled language with first class support for async/await (Rust).

Paper (paper3.pdf)466KiB

This program is tentative and subject to change.

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
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