miniKanren 2022 Contributors

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

co-located with ICFP 2022

Filter

Role Type

Contributing to

Number of Roles

Country

Results (25)

B Daniil BerezunBerezun, Daniil JetBrains ResearchNetherlands Wildcard Logic Variables On a Direction-Driven Functional Conversion Co-chair in Program Committee within the miniKanren-track
Dmitri BoulytchevBoulytchev, Dmitri St. Petersburg State University, St. Petersburg, RussiaRussia Relational Interpreters, Conversion, and Synthesis On a Direction-Driven Functional Conversion On a Declarative Guideline-Directed UI Layout Synthesis
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Session Chair of Session 3 (part of miniKanren) A Tutorial Reconstruction of miniKanren with constraints
C Sloan ChochinovChochinov, Sloan University of Toronto Mississauga Fail Fast and Profile On: Towards a miniKanren Profiler
D Francesco DagninoDagnino, Francesco DIBRIS, University of Genova, ItalyItaly PC Member in Program Committee within the miniKanren-track
Evan DonahueDonahue, Evan University of Tokyo Efficient Variational Inference in miniKanren with Weighted Model Counting
F Denis FokinFokin, Denis On a Declarative Guideline-Directed UI Layout Synthesis
Daniel P. FriedmanFriedman, Daniel P. Indiana University, USA Some criteria for implementations of conjunction and disjunction in microKanren
G Robert GlückGlück, Robert University of CopenhagenDenmark Session Chair of Session 1 (part of miniKanren) PC Member in Program Committee within the miniKanren-track
H Jason HemannHemann, Jason Seton Hall UniversityUnited States Session Chair of Session 2 (part of miniKanren) Some criteria for implementations of conjunction and disjunction in microKanren PC Member in Program Committee within the miniKanren-track
J Bharathi Ramana JoshiJoshi, Bharathi Ramana IIIT Hyderabad A Tutorial Reconstruction of miniKanren with constraints
K Dmitrii KosarevKosarev, Dmitrii Saint Petersburg State UniversityRussia Wildcard Logic Variables On a Declarative Guideline-Directed UI Layout Synthesis
L Petr LozovLozov, Petr St. Petersburg State University, St. Petersburg, Russia Wildcard Logic Variables On a Declarative Guideline-Directed UI Layout Synthesis PC Member in Program Committee within the miniKanren-track
M Weixi MaMa, Weixi Indiana University PC Member in Program Committee within the miniKanren-track
Marco MaggesiMaggesi, Marco Università di Firenze PC Member in Program Committee within the miniKanren-track
Daksh MalhotraMalhotra, Daksh University of Toronto Mississauga Fail Fast and Profile On: Towards a miniKanren Profiler
Matthew MightMight, Matthew University of Alabama at Birmingham \| Harvard Medical SchoolUnited States Fail Fast and Profile On: Towards a miniKanren Profiler
Dmitry MordvinovMordvinov, Dmitry Saint-Petersburg State University, JetBrains Research PC Member in Program Committee within the miniKanren-track
R Gregory RosenblattRosenblatt, Gregory University of Alabama at BirminghamCanada Fail Fast and Profile On: Towards a miniKanren Profiler
S Tom SchrijversSchrijvers, Tom KU LeuvenBelgium PC Member in Program Committee within the miniKanren-track
Miguel-Angel SiciliaSicilia, Miguel-Angel PC Member in Program Committee within the miniKanren-track
Cameron SwordsSwords, Cameron Meta Reality Labs PC Member in Program Committee within the miniKanren-track
T Kanae TsushimaTsushima, Kanae National Institute of Informatics, JapanJapan Co-chair in Program Committee within the miniKanren-track
V Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrainsRussia On a Direction-Driven Functional Conversion
Z Lisa ZhangZhang, Lisa University of Toronto MississaugaCanada Fail Fast and Profile On: Towards a miniKanren Profiler