Mentoring with Matthias Felleisen Matthias FelleisenPLT @ Northeastern University

09:00 - 11:00: miniKanren 2020 - Morning Keynote at miniKanren Chair(s): Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia

λKanren: Higher-order Logic Programming with Shallow Embedding Weixi MaIndiana University, Kuang-Chen Lu Indiana University Bloomington, Daniel P. Friedman Indiana University, USA

The Pill is in The Proof: Saving Lives with Logic Matthew Might University of Alabama at Birmingham | Harvard Medical School

mediKanren: A System for Bio-medical Reasoning 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

We introduce mediKanren, a combination of miniKanren, a database describing relationships between medical concepts, and a graphical user interface (GUI) to simplify data exploration and common queries. All features of the faster-miniKanren implementation are available for queries, including typical constructs like run, conde, fresh, various constraints, and (potentially recursive) user-defined relations. We provide the database as a set of miniKanren relations. To make queries fast, we represent the data backing these relations as specially formatted files on disk, with indexes for fast retrieval. We use the miniKanren project syntax to write Racket code that interfaces with this representation. Performance is sufficient for the GUI to support low latency querying in the common case.

In this paper we provide an overview of mediKanren, give examples of queries in low-level and medium-level query languages, and give an example of how query results have resulted in treatment for a patient with a rare genetic disease.

A Relational Interpreter for Synthesizing JavaScript 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

SICP JS: Ketchup on Caviar? Martin Henz National University of Singapore, Tobias Wrigstad Uppsala University, Sweden

21st Century Lisp in Academic Research and Pedagogy Bohdan Khomtchouk University of Chicago, Jonah Fleishhacker University of Chicago