
Даниил Березун
Исследовательские группы
Биография
Даниил является кандидатом физико-математических наук. Он защитил кандидатскую диссертацию на тему "Трассирующая нормализация" в марте 2018 года. В настоящее время Даниил является руководителем ислледовательской группы метавычислений и распределённых технологий в составе лаборатории языковых инструментов JetBrains Research, а также доцентом в Высшей Школе Экономики.
Профессиональная активность
- Анализ, разработка и реализация языков программирования
- Мета-программирование и мета-вычисления
- Типы данных в языках программирования
- Семантика языков программирования
- Сертификационное программирование
- Полу-локальные алгоритмы поиска
Публикации
An Empirical Study of Partial Deduction for MiniKanren
Март 2021
Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One
2021
Daniil Berezun, Dmitry Boulytchev
Optimizing GPU programs by partial evaluation
Февраль 2020
Aleksey Tyurin, Daniil Berezun, Semyon Grigorev
While GPU utilization allows one to speed up computations to the orders of magnitude, memory management remains the bottleneck making it often a challenge to achieve the desired performance. Hence, different memory optimizations are leveraged to make memory being used more effectively. We propose an approach automating memory management utilizing partial evaluation, a program transformation technique that enables data accesses to be pre-computed, optimized, and embedded into the code, saving memory transactions. An empirical evaluation of our approach shows that the transformed program could be up to 8 times as efficient as the original one in the case of CUDA C naïve string pattern matching algorithm implementation.
A Survey of Smart Contract Safety and Programming Languages
2019
A. Tyurin, I. Tyulyandin, V. Maltsev, I. Kirilenko, and D. Berezun
Survey on Blockchain Technology, Consensus Algorithms, and Alternative Distributed Technologies
2019
N. Mishin, A. Fefelov, V. Bushev, I. Kirilenko, and D. Berezun
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation
Январь 2017
Daniil Berezun and Neil D. Jones
Complete Head Linear Reduction (in Russian)
2017
Berezun D.A.
Untyped Lambda-Calculus Normalization by Traversals (in Russian)
2017
Berezun D.A.
Incremental Garbage Collection Library for C++ (in Russian)
2016
E. Moiseenko, D. Berezun
Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation
2016
Daniil Berezun and Neil D. Jones
Precise Garbage Collection for C++ with a Non-Cooperative Compiler
2014
Daniil Berezun, Dmitry Boulytchev