ICFP 2020 (series) / miniKanren 2020 (series) / miniKanren 2020 /
A Relational Interpreter for Synthesizing JavaScript
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
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 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 Pre-print |