Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). - Daniil Berezun; Neil D. Jones (PEPM, 2017)

Optimizing GPU programs by partial evaluation. - Aleksey Tyurin; Daniil Berezun; Semyon V. Grigorev (PPoPP, 2020)

Efficient Parallel Algorithms for String Comparison. - Nikita Mishin; Daniil Berezun; Alexander Tiskin (ICPP, 2021)

An Empirical Study of Partial Deduction for miniKanren. - Ekaterina Verbitskaia; Daniil Berezun; Dmitry Boulytchev (VPT@ETAPS, 2021)

Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One. - Daniil Berezun; Dmitry Boulytchev (TFPIE, 2022)

A Case Study in Functional Conversion and Mode Inference in miniKanren. - Ekaterina Verbitskaia; Igor Engel; Daniil Berezun (PEPM, 2024)

Can LLMs Enable Verification in Mainstream Programming? - Aleksandr Shefer; Igor Engel; Stanislav Alekseev; Daniil Berezun; Ekaterina Verbitskaia; Anton Podkopaev (CoRR, 2025)