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

We introduce a miniKanren relational interpreter for a subset of JavaScript, capable of synthesizing imperative, S-expression JavaScript code to solve small problems that even human programmers might find tricky. We write a relational parser that parses S-expression JavaScript to an intermediate language called LambdaJS, and a relational interpreter for LambdaJS. We show that program synthesis is feasible through the composition of these two disjoint relations for parsing and evaluation. Finally, we discuss three somewhat surprising performance characteristics of composing these two relations.

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
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
miniKanren
Dmitrii KosarevJetBrains Research, Saint Petersburg State University, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
16:10 - 16:30
Talk
miniKanren
Jason HemannNortheastern University, United States, Daniel P. FriedmanIndiana University, USA
Pre-print
16:30 - 16:50
Talk
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
miniKanren
Julie SteeleGeorgetown Day School, William E. ByrdUniversity of Alabama at Birmingham, USA
Pre-print