Program - ICFP/SPLASH 2025

Detailed Table Session Timeline Detailed Timeline

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

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 Pre-print
10:56 26m Talk		Committing to the bit: Relational programming with semiring arrays 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 Pre-print
11:48 26m Talk		concurrentKanren: miniKanren for parallel execution miniKanren Sjoerd Dost None Pre-print

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 Galois, Inc, Naomi Spargo Galois, Inc., Jonathan Daugherty Galois, Inc., David Darais Galois Pre-print
13:58 13m Talk		The CoCompiler: DSL Lifting via Relational Compilation miniKanren Naomi Spargo Galois, Inc., Santiago Cuellar Galois, Inc, Jonathan Daugherty Galois, Inc., Chris Phifer Galois, David Darais Galois Pre-print
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 Pre-print
14:37 26m Talk		Fair intersection of seekable iterators miniKanren Michael Arntzenius UC Berkeley Pre-print
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 Pre-print

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 SemigroupoidsRemote miniKanren Attila Egri-Nagy Akita International University, Chrystopher L. Nehaniv University of Waterloo Pre-print
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 Pre-print
16:52 38m Panel		Frontiers: What's next for miniKanren and Relational Programming? miniKanren Jason Hemann Seton Hall University

miniKanren 2025 Program

Fri 17 Oct
Displayed time zone: Perth change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

miniKanren 2025 Program

Switch Program View

Program Display Configuration

Fri 17 OctDisplayed time zone: Perth change

Get Calendar (iCal)

Fri 17 Oct
Displayed time zone: Perth change