3 papers
cs.PL2025
Typed Embedding of miniKanren for Functional Conversion
Igor Engel, Ekaterina Verbitskaia
Relational programming enables program synthesis through a verifier-to-solver approach. An earlier paper introduced a functional conversion that mitigated some of the inherent perf…
cs.SE2025
Can LLMs Enable Verification in Mainstream Programming?
Aleksandr Shefer, Igor Engel, Stanislav Alekseev +3
Although formal methods are capable of producing reliable software, they have seen minimal adoption in everyday programming. Automatic code generation using large language models i…
cs.PL2024
Proceedings of the 2024 miniKanren and Relational Programming Workshop
Ekaterina Verbitskaia, Joseph P. Near
The miniKanren and Relational Programming Workshop is a workshop for the miniKanren family of relational (pure constraint logic programming) languages: miniKanren, microKanren, cor…