ICFP/SPLASH 2025 (series) / miniKanren 2025 (series) / miniKanren 2025 /
concurrentKanren: miniKanren for parallel execution
This program is tentative and subject to change.
Fri 17 Oct 2025 11:48 - 12:15 at Peony NW - Extending miniKanren and Relational Programming Chair(s): Ekaterina Verbitskaia
Concurrent logic programming predates miniKanren, but concurrent implementations of miniKanren have remained largely unexplored. In this work we present a parallel implementation of miniKanren in Golang, demonstrating its feasibility and potential for performance improvements. Our approach leverages implicit parallelism allowing legacy programs to benefit from parallel execution. We discuss implementation strategies and evaluate the impact of parallelism, laying groundwork for future language-agnostic models.
This program is tentative and subject to change.
Fri 17 OctDisplayed time zone: Perth change
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 26mTalk | 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 26mTalk | 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 | ||
11:22 26mTalk | 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 26mTalk | concurrentKanren: miniKanren for parallel execution miniKanren Sjoerd Dost None | ||