xOur data center is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
ICFP 2021
Sun 22 - Sat 28 August 2021
Fri 27 Aug 2021 00:00 - 00:30 at miniKanren - Session B Chair(s): Michael Ballantyne

We extend miniKanren with a new fresh form that combines logic variable instantiation with unification. We show how combining these operations exposes information about the dependencies between logic variables that permits a variety of optimizations and heuristics. These optimizations include minimizing the introduction of new logic variables, eagerly exploiting ground terms, and reordering conjuncts according to the interdependencies between relations that share logic variables. We demonstrate improved performance in a collection of relational program synthesis tasks and describe possible avenues for further exploration within this architectural framework.

Thu 26 Aug

Displayed time zone: Seoul change

23:30 - 01:00
Session BminiKanren at miniKanren
Chair(s): Michael Ballantyne Northeastern University
23:30
30m
Paper
Prolog-Style Meta-Programming miniKanren
miniKanren
Nada Amin Harvard University, William E. Byrd University of Alabama at Birmingham, USA, Tiark Rompf Purdue University
Pre-print Media Attached
00:00
30m
Paper
Guarded Fresh Goals: Dependency-Directed Introduction of Fresh Logic Variables
miniKanren
Evan Donahue University of Tokyo
Pre-print Media Attached
00:30
30m
Paper
Universal Quantification and Implication in miniKanren
miniKanren
Ende Jin , Gregory Rosenblatt University of Alabama at Birmingham, USA, Matthew Might University of Alabama at Birmingham | Harvard Medical School, Lisa Zhang University of Toronto Mississauga
Pre-print Media Attached