ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
ICFP/SPLASH 2025 (series) / ICFP 2025 (series) / Marina Bay Sands Convention Centre /

Room information: Peony NW

VenueMarina Bay Sands Convention Centre
Room namePeony NW
Floor4
Room number4512
Capacity80
Room Information

Venue floor plan

app-screen

Program

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
Chair(s): Paul Downen University of Massachusetts at Lowell
10:30
5m
Day opening
Welcome
Scheme
Youyou Cong Institute of Science Tokyo
10:35
25m
Talk
Stak Scheme: The tiny R7RS-small implementation
Scheme
Yota Toyama
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
Chair(s): Paulette Koronkevich University of British Columbia
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
DOI Pre-print
14:35
20m
Talk
Hygienic Macros via Staged Environment Machines (Position Paper)
Scheme
Yuito Murase Kyoto University, Japan
Pre-print
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
Chair(s): Youyou Cong Institute of Science Tokyo, Olivier Danvy Yale-NUS College and School of Computing, Singapore
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
Scheme and New Frontiers for Language Design
Scheme
Michael D. Adams National University of Singapore

Fri 17 Oct

Displayed time zone: Perth change

10:30 - 12:15
Extending miniKanren and Relational ProgrammingminiKanren at Peony NW
Chair(s): Ekaterina Verbitskaia JetBrains Research; Constructor University Bremen
10:30
26m
Talk
Beyond Cons: Purely Relational Data Structures
miniKanren
Rafaello Sanna Harvard University, William E. Byrd University of Alabama at Birmingham, Nada Amin Harvard University
10:56
26m
Talk
Committing to the bit: Relational programming with tensors and SAT solving
miniKanren
Dmitri Volkov Indiana University, Yafei Yang Indiana University, Chung-chieh Shan Indiana University
DOI Pre-print
11:22
26m
Talk
An Empirical Study of Rational Tree Unification for miniKanren
miniKanren
Eridan Domoratskiy Saint-Petersburg State University, Dmitrii Kosarev , Dmitri Boulytchev Saint Petersburg State University
11:48
26m
Talk
concurrentKanren: miniKanren for parallel execution
miniKanren
Sjoerd Dost None
13:45 - 15:30
Relational conversion, compilation, and encodingminiKanren at Peony NW
Chair(s): Jason Hemann Seton Hall University
13:45
13m
Talk
Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
miniKanren
Santiago Cuellar Princeton, Naomi Spargo Galois, Inc., Jonathan Daugherty Galois, Inc., David Darais Galois
13:58
13m
Talk
The CoCompiler: DSL Lifting via Relational Compilation
miniKanren
Naomi Spargo Galois, Inc., Santiago Cuellar Princeton, Jonathan Daugherty Galois, Inc., Chris Phifer Galois, David Darais Galois
14:11
26m
Talk
Typed Embedding of miniKanren for Functional Conversion
miniKanren
Igor Engel JetBrains Research; Constructor University Bremen, Ekaterina Verbitskaia JetBrains Research; Constructor University Bremen
14:37
26m
Talk
Fair intersection of seekable iterators
miniKanren
Michael Arntzenius UC Berkeley
15:03
26m
Talk
Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
miniKanren
Xiangyu Guo Arizona State University, Ajay Bansal Arizona State University
16:00 - 17:30
Explorations in miniKanren and Relational Programming & Panel/DiscussionminiKanren at Peony NW
Chair(s): Dmitri Boulytchev Saint Petersburg State University
16:00
26m
Talk
Computational Exploration of Finite Semigroupoids
miniKanren
Attila Egri-Nagy Akita International University, Chrystopher L. Nehaniv University of Waterloo
16:26
26m
Talk
Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics
miniKanren
Brysen Pfingsten Seton Hall University, Jason Hemann Seton Hall University
16:52
38m
Panel
Frontiers: What's next for miniKanren and Relational Programming?
miniKanren
Jason Hemann Seton Hall University

Sat 18 Oct

Displayed time zone: Perth change

10:30 - 12:15
Morning Paper SessionSPLASH -E at Peony NW
10:30
52m
Full-paper
An Exploration of How Generative AI Affects Workflow and Collaboration in a Software Engineering Course
SPLASH -E
Marie Salomon University of British Columbia, Kyle D. Chin , Reid Holmes University of British Columbia, Thomas Fritz University of Zurich, Gail Murphy University of British Columbia
11:22
52m
Full-paper
Porpoise: An LLM-Based Sandbox for Novices to Practice Writing Purpose Statements
SPLASH -E
Shriram Krishnamurthi Brown University, Thore Thießen University of Münster, Jan Vahrenhold University of Münster
13:45 - 15:30
Afternoon Paper Session 1SPLASH -E at Peony NW
13:45
35m
Full-paper
An Interactive Learning Environment for Program Design
SPLASH -E
Kouta Kumamoto , Youyou Cong Institute of Science Tokyo, Hidehiko Masuhara Institute of Science Tokyo
14:20
35m
Full-paper
Continuations for All: Language Design Considerations for Accessible Continuations
SPLASH -E
Youyou Cong Institute of Science Tokyo, Filip Strömbäck Linköping University, Kazuki Ikemori Tokyo Institute of Technology
14:55
35m
Full-paper
Daisy: An Exercise Environment for Learning Information Modeling
SPLASH -E
Jessica Belicia Cahyono Institute of Science Tokyo, Youyou Cong Institute of Science Tokyo, Hidehiko Masuhara Institute of Science Tokyo
16:00 - 17:30
Afternoon Paper Session 2SPLASH -E at Peony NW
16:00
30m
Full-paper
Derivation Visualization for Context-Free Grammar Design: Helping Students Understand Context-Free Grammars
SPLASH -E
Marco T Morazan Seton Hall University, Andrés M. Garced Seton Hall University, Tijana Minić
16:30
30m
Full-paper
Interactive Theorem Provers for Proof Education
SPLASH -E
Romina Mahinpei Princeton University, Manoel Horta Ribeiro , Mae Milano Princeton University
17:00
30m
Full-paper
Personalization of Programming Education: An NLP-based Bi-dimensional Classification of Programming Exercises
SPLASH -E
Tommie Lombarts Eindhoven University of Technology, Gijs Walravens Eindhoven University of Technology, Mazyar Seraj Eindhoven University of Technology, Lina Ochoa Eindhoven University of Technology, Mark van den Brand Eindhoven University of Technology

Thu 16 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony NW

Scheme

Implementation, Application, and Types

Scheme

Macros and Denotational Semantics

Scheme

Report, Lightning Talks, and Keynote

Fri 17 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony NW

miniKanren

Extending miniKanren and Relational Programming

miniKanren

Relational conversion, compilation, and encoding

miniKanren

Explorations in miniKanren and Relational Programming & Panel/Discussion

Sat 18 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony NW

SPLASH -E

Morning Paper Session

SPLASH -E

Afternoon Paper Session 1

SPLASH -E

Afternoon Paper Session 2

Thu 16 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony NW
Scheme
Welcome
10:30 - 10:35
Scheme
Stak Scheme: The tiny R7RS-small implementation
10:35 - 11:00
Scheme
Gouki Scheme: An Embedded Scheme Implementation for Async Rust
11:00 - 11:25
Scheme
Automatic Invariant Testing for Finite-State Machines
11:25 - 11:50
Scheme
Sound Default-Typed Scheme (Position Paper)
11:50 - 12:10
Scheme
Rewriting Macros on the Fly: A Modular Approach to Administrative Reduc ...
13:45 - 14:10
Scheme
Fast and Extensible Hybrid Embeddings with Micros
14:10 - 14:35
Scheme
Hygienic Macros via Staged Environment Machines (Position Paper)
14:35 - 14:55
Scheme
Checking a Denotational Semantics of Scheme in Agda
14:55 - 15:20
SchemeRemote
Scheme Reports at Fifty: Where do we go from here?
16:00 - 16:20
Scheme
Brack: A Verified Compiler for Scheme via CakeML (Lightning Talk)
16:20 - 16:30
Scheme
miniDusa: An Extensible Finite-Choice Logic Programming Language (Light ...
16:30 - 16:40
Scheme
Scheme and New Frontiers for Language Design
16:40 - 17:30

Fri 17 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony NW
miniKanren
Beyond Cons: Purely Relational Data Structures
10:30 - 10:56
miniKanren
Committing to the bit: Relational programming with tensors and SAT solving
10:56 - 11:22
miniKanren
An Empirical Study of Rational Tree Unification for miniKanren
11:22 - 11:48
miniKanren
concurrentKanren: miniKanren for parallel execution
11:48 - 12:15
miniKanren
Designing Walrus: Relational Programming with Rich Types, On-Demand Laz ...
13:45 - 13:58
miniKanren
The CoCompiler: DSL Lifting via Relational Compilation
13:58 - 14:11
miniKanren
Typed Embedding of miniKanren for Functional Conversion
14:11 - 14:37
miniKanren
Fair intersection of seekable iterators
14:37 - 15:03
miniKanren
Encoding Numeric Computations and Infusing Heuristic Knowledge Using In ...
15:03 - 15:29
miniKanren
Computational Exploration of Finite Semigroupoids
16:00 - 16:26
miniKanren
Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics
16:26 - 16:52
miniKanren
Frontiers: What's next for miniKanren and Relational Programming?
16:52 - 17:30

Sat 18 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony NW
SPLASH -E
An Exploration of How Generative AI Affects Workflow and Collaboration ...
10:30 - 11:22
SPLASH -E
Porpoise: An LLM-Based Sandbox for Novices to Practice Writing Purpose ...
11:22 - 12:15
SPLASH -E
An Interactive Learning Environment for Program Design
13:45 - 14:20
SPLASH -E
Continuations for All: Language Design Considerations for Accessible Co ...
14:20 - 14:55
SPLASH -E
Daisy: An Exercise Environment for Learning Information Modeling
14:55 - 15:30
SPLASH -E
Derivation Visualization for Context-Free Grammar Design: Helping Stude ...
16:00 - 16:30
SPLASH -E
Interactive Theorem Provers for Proof Education
16:30 - 17:00
SPLASH -E
Personalization of Programming Education: An NLP-based Bi-dimensional C ...
17:00 - 17:30