Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
Thu 27 Aug 2020 15:30 - 15:50 at miniKanren - Afternoon Session

We introduce \emph{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.

This program is tentative and subject to change.

Thu 27 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

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