Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Thu 27 Aug 2020 16:10 - 16:30 at miniKanren - Afternoon Session Chair(s): Nada Amin, Weixi Ma

Synthesizing quines with a relational interpreter in miniKanren is a relatively simple but not infrequently arresting example. We exhibit several related, novel synthesis tasks—either pre-existing programming challenges not solved by miniKanren synthesis, or newly formulated challenges of our own. In doing so we exhibit a relational interpreter for a ``mirrored'' language. These examples demonstrate miniKanren’s potential and versatility as a platform or substrate for experimenting on executable program specifications. As with quines, these examples are themselves interesting from a theoretical perspective, may also suggest other, more practical future applications.

Thu 27 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

15:30 - 17:10: Afternoon SessionminiKanren at miniKanren
Chair(s): Nada AminHarvard University, Weixi MaIndiana University
15:30 - 15:50
Talk
mediKanren: A System for Bio-medical Reasoning
miniKanren
Michael PattonUniversity of Alabama at Birmingham, Gregory RosenblattUniversity of Alabama at Birmingham, USA, William E. ByrdUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
Pre-print
15:50 - 16:10
Talk
Relational Synthesis for Pattern Matching
miniKanren
Dmitrii KosarevJetBrains Research, Saint Petersburg State University, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
16:10 - 16:30
Talk
Some Novel miniKanren Synthesis Tasks
miniKanren
Jason HemannNortheastern University, United States, Daniel P. FriedmanIndiana University, USA
Pre-print
16:30 - 16:50
Talk
A Relational Interpreter for Synthesizing JavaScript
miniKanren
Artem ChirkovUniversity of Toronto Mississauga, Gregory RosenblattUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School, Lisa ZhangUniversity of Toronto Mississauga
Pre-print
16:50 - 17:10
Talk
dxo: A System for Relational Algebra and Differentiation
miniKanren
Julie SteeleGeorgetown Day School, William E. ByrdUniversity of Alabama at Birmingham, USA
Pre-print