Daniil Berezun

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 6

Top Topics

Partial Evaluation

Parallel Algorithm

Top Venues

Publications

Ekaterina Verbitskaia, Igor Engel, Daniil Berezun
A Case Study in Functional Conversion and Mode Inference in miniKanren. PEPM (2024)
Daniil Berezun, Dmitry Boulytchev
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One. TFPIE (2022)
Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev
An Empirical Study of Partial Deduction for miniKanren. VPT@ETAPS (2021)
Nikita Mishin, Daniil Berezun, Alexander Tiskin
Efficient Parallel Algorithms for String Comparison. ICPP (2021)
Aleksey Tyurin, Daniil Berezun, Semyon V. Grigorev
Optimizing GPU programs by partial evaluation. PPoPP (2020)
Daniil Berezun, Neil D. Jones
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). PEPM (2017)