2 citations · 3 across the 3 of their papers we have counts for
3 papers
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…
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One
Daniil Berezun, Dmitry Boulytchev
We report on a one-semester compiler construction course based on the idea of implementing a small self-contained compiler for a small model language from scratch, not using other…
An Empirical Study of Partial Deduction for miniKanren
Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev
We study conjunctive partial deduction, an advanced specialization technique aimed at improving the performance of logic programs, in the context of relational programming language…