Fail Fast and Profile On: Towards a miniKanren Profiler (miniKanren 2022)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Sloan Chochinov, Daksh Malhotra, Gregory Rosenblatt, Matthew Might, Lisa Zhang

Track

miniKanren 2022

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 15 Sep 2022 15:00 - 15:30 at M3 - Session 3 Chair(s): William E. Byrd

Abstract

We present a prototype of a miniKanren profiling tool. The profiler tracks, for each goal in a miniKanren program, the number of times that it fails, succeeds, and is encountered. Moreover, the profiler tracks and displays samples of failing states. We demonstrate with a few examples that these statistics are useful for reordering relations in conjuncts using a “fail fast” strategy to improve performance.

Link to Preprint

https://drive.google.com/file/d/1ldMlExvR7Sb-M5wJVgayzHokMxinuWYg/view?usp=sharing

Sloan ChochinovPresenter

University of Toronto Mississauga

Daksh MalhotraPresenter

University of Toronto Mississauga

Gregory Rosenblatt

University of Alabama at Birmingham

Canada

Matthew Might

University of Alabama at Birmingham | Harvard Medical School

United States

Lisa Zhang

University of Toronto Mississauga

Canada

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

14:00 - 15:30	Session 3miniKanren at M3 Chair(s): William E. Byrd University of Alabama at Birmingham, USA

14:00 30m Talk		Efficient Variational Inference in miniKanren with Weighted Model CountingVirtual, Live miniKanren P: Evan Donahue University of Tokyo Pre-print File Attached
14:30 30m Talk		Some criteria for implementations of conjunction and disjunction in microKanrenVirtual, Live miniKanren P: Jason Hemann Seton Hall University, Daniel P. Friedman Indiana University, USA Pre-print
15:00 30m Talk		Fail Fast and Profile On: Towards a miniKanren ProfilerVirtual, Live miniKanren P: Sloan Chochinov University of Toronto Mississauga, P: Daksh Malhotra University of Toronto Mississauga, Gregory Rosenblatt University of Alabama at Birmingham, Matthew Might University of Alabama at Birmingham \| Harvard Medical School, Lisa Zhang University of Toronto Mississauga Pre-print