OCaml 2022
Fri 16 Sep 2022 Ljubljana, Slovenia
co-located with ICFP 2022
VenueCankarjev Dom
Room nameM3
Capacity60
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
Session 1miniKanren at M3
Chair(s): Robert Glück University of Copenhagen
09:00
30m
Talk
On a Declarative Guideline-Directed UI Layout SynthesisVirtual, Live
miniKanren
Dmitrii Kosarev Saint Petersburg State University, P: Petr Lozov St. Petersburg State University, St. Petersburg, Russia, Denis Fokin , Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Pre-print File Attached
09:30
30m
Talk
On a Direction-Driven Functional ConversionVirtual, Live
miniKanren
P: Ekaterina Verbitskaia JetBrains, Daniil Berezun JetBrains Research, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Pre-print File Attached
10:00
30m
Talk
Wildcard Logic VariablesVirtual, Live
miniKanren
P: Dmitrii Kosarev Saint Petersburg State University, Daniil Berezun JetBrains Research, Petr Lozov St. Petersburg State University, St. Petersburg, Russia
Pre-print File Attached
11:00 - 12:30
Session 2miniKanren at M3
Chair(s): Jason Hemann Seton Hall University
11:00
30m
Talk
A Tutorial Reconstruction of miniKanren with constraintsVirtual Tutorial
miniKanren
P: Bharathi Ramana Joshi IIIT Hyderabad, William E. Byrd University of Alabama at Birmingham, USA
Pre-print File Attached
11:30
60m
Tutorial
Relational Interpreters, Conversion, and SynthesisVirtual Live Tutorial
miniKanren
P: Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
File Attached
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

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
M3