ICFP/SPLASH 2025 (series) / Scheme 2025 (series) / Scheme 2025 /
Gouki Scheme: An Embedded Scheme Implementation for Async Rust
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 OctDisplayed time zone: Perth change
Thu 16 Oct
Displayed time zone: Perth change
10:30 - 12:15 | |||
10:30 5mDay opening | Welcome Scheme | ||
10:35 25mTalk | Stak Scheme: The tiny R7RS-small implementation Scheme Yota Toyama None File Attached | ||
11:00 25mTalk | Gouki Scheme: An Embedded Scheme Implementation for Async Rust Scheme Matthew Plant OneChronos File Attached | ||
11:25 25mTalk | 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 20mTalk | Sound Default-Typed Scheme (Position Paper) Scheme Jan-Paul Ramos-Davila Boston University File Attached |