miniKanren 2022
2022-09-15
-- online --
[miniKanren 2020, miniKanren 2021, miniKanren 2022, miniKanren 2023, miniKanren 2024, miniKanren 2026]
who it's for
miniKanren implementors, relational programming researchers, program synthesis researchers, language implementors, functional programmers, tooling engineers
topics
miniKanren profiler; fail-fast conjunct reordering; failed-state sampling; weighted model counting; variational inference in miniKanren; aggregate streams optimization; tabling for dynamic programming; wildcard logic variables; disequality constraints; relational conversion/program inversion; constraint-store implementation recipe
| title | author | length |
|---|---|---|
| Fail Fast and Profile On: Towards a miniKanren Profiler | Sloan Chochinov, Daksh Malhotra, Gregory Rosenblatt, Matthew Might, Lisa Zhang | 20m |
Prototype miniKanren profiler instruments states to count encounters, successes, and failures per program point, and collects failed-state samples. Using those… | ||
| Efficient Variational Inference in miniKanren with Weighted Model Countin... | Evan Donahue | 26m |
Extension of miniKanren implements probabilistic primitives and uses weighted model counting to compute likelihoods and EM-style variational updates, with a… | ||
| Wildcard Logic Variables | Dmitrii Kosarev, Daniil Berezun, Petr Lozov | 22m |
Claims a new variable kind that serves as a limited universal quantifier, implemented in OCanren to extend miniKanren style relations and OCaml-to-relational… | ||
| Relational Interpreteres, Conversion, and Synthesis | Dmitri Boulytchev | 44m |
Describes turning verifiers into solvers by program inversion so relational systems can synthesize programs from specifications without bespoke encodings… | ||
| A Tutorial Reconstruction of miniKanren with constraints | Bharathi Ramana Joshi, William E. Byrd | 26m |
Reconstructs the appendix D implementation to show exactly how miniKanren adds constraints and how to extend it, providing a four-part recipe for implementing… | ||
| nothing matches | ||