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 AugDisplayed time zone: Eastern Time (US & Canada) change
Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change
15:30 - 17:10 | Afternoon SessionminiKanren at miniKanren Chair(s): Nada Amin Harvard University, Weixi Ma Indiana University | ||
15:30 20mTalk | mediKanren: A System for Bio-medical Reasoning miniKanren Michael Patton University of Alabama at Birmingham, Gregory Rosenblatt University of Alabama at Birmingham, USA, William E. Byrd University of Alabama at Birmingham, USA, Matthew Might University of Alabama at Birmingham | Harvard Medical School Link to publication | ||
15:50 20mTalk | Relational Synthesis for Pattern Matching miniKanren Dmitrii Kosarev JetBrains Research, Saint Petersburg State University, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia Link to publication | ||
16:10 20mTalk | Some Novel miniKanren Synthesis Tasks miniKanren Link to publication | ||
16:30 20mTalk | A Relational Interpreter for Synthesizing JavaScript miniKanren Artem Chirkov University of Toronto Mississauga, Gregory Rosenblatt University of Alabama at Birmingham, USA, Matthew Might University of Alabama at Birmingham | Harvard Medical School, Lisa Zhang University of Toronto Mississauga Link to publication | ||
16:50 20mTalk | dxo: A System for Relational Algebra and Differentiation miniKanren Link to publication | ||