Daniil Berezun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2017–2024
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | PEPM | A Case Study in Functional Conversion and Mode Inference in miniKanren. | Ekaterina Verbitskaia, Igor Engel, Daniil Berezun |
| 2021 | ICPP | Efficient Parallel Algorithms for String Comparison. | Nikita Mishin, Daniil Berezun, Alexander Tiskin |
| 2020 | PPoPP | Optimizing GPU programs by partial evaluation. | Aleksey Tyurin, Daniil Berezun, Semyon V. Grigorev |
| 2017 | PEPM | Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). | Daniil Berezun, Neil D. Jones |