Даниил Березун

Даниил Березун


Исследовательские группы

Биография

Даниил является кандидатом физико-математических наук. Он защитил кандидатскую диссертацию на тему "Трассирующая нормализация" в марте 2018 года. В настоящее время Даниил является руководителем ислледовательской группы метавычислений и распределённых технологий в составе лаборатории языковых инструментов JetBrains Research, а также доцентом в Высшей Школе Экономики.

Автореферат диссертации.

Кандидатская диссертация.

Профессиональная активность

  • Анализ, разработка и реализация языков программирования
  • Мета-программирование и мета-вычисления
  • Типы данных в языках программирования
  • Семантика языков программирования
  • Сертификационное программирование
  • Полу-локальные алгоритмы поиска

Публикации

An Empirical Study of Partial Deduction for MiniKanren

March 2021

Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev

Подробнее

Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One

2021

Daniil Berezun, Dmitry Boulytchev

TFPIE-2021

Подробнее

Optimizing GPU programs by partial evaluation

February 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.

PPoPP '20: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Подробнее

A Survey of Smart Contract Safety and Programming Languages

2019

A. Tyurin, I. Tyulyandin, V. Maltsev, I. Kirilenko, and D. Berezun

Preliminary Proceedings of the 13 rd Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2019), May 29-31, 2019 – Saratov, Russian Federation

Подробнее

Survey on Blockchain Technology, Consensus Algorithms, and Alternative Distributed Technologies

2019

N. Mishin, A. Fefelov, V. Bushev, I. Kirilenko, and D. Berezun

SEIM-19

Подробнее

Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation

January 2017

Daniil Berezun and Neil D. Jones

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Подробнее

Complete Head Linear Reduction (in Russian)

2017

Berezun D.A.

St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunications and Control Systems

Подробнее

Untyped Lambda-Calculus Normalization by Traversals (in Russian)

2017

Berezun D.A.

Известия вузов. Северо Кавказский регион. Технические науки. – 2017. – No 4. – C. 5–12.

Подробнее

Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation

2016

Daniil Berezun and Neil D. Jones

META 2016 Fifth International Valentin Turchin Workshop on Metacomputation

Подробнее

Incremental Garbage Collection Library for C++ (in Russian)

2016

E. Moiseenko, D. Berezun

SEIM-16

Подробнее

Precise Garbage Collection for C++ with a Non-Cooperative Compiler

2014

Daniil Berezun, Dmitry Boulytchev

Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia

Подробнее