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

This program is tentative and subject to change.

Thu 16 Oct 2025 16:30 - 16:40 at Peony NW - Report, Lightning Talks, and Keynote

Dusa is a recently designed logic programming language featuring mutually exclusive choice as a primitive to admit multiple solutions which capture a range of possibilities. We introduce miniDusa, a Dusa-inspired hosted domain-specific language (DSL) implemented using Racket and the syntax-spec metalanguage. This architecture lets us provide extensibility and expressivity features through integration with Racket, essentially “for free”.

Talk abstract (paper8.pdf)64KiB

This program is tentative and subject to change.

Thu 16 Oct

Displayed time zone: Perth change

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