Overview of the languages for safe smart contract programming TA Valerievitch, TI Vladimirovitch, KJ Alexandrovitch, BD Andreevitch Труды Института системного программирования РАН 31 (3), 157-176, 2019 | 14 | 2019 |
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation D Berezun, ND Jones Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and …, 2017 | 9 | 2017 |
An Empirical Study of Partial Deduction for miniKanren E Verbitskaia, D Berezun, D Boulytchev arXiv preprint arXiv:2109.02814, 2021 | 7 | 2021 |
Optimizing GPU programs by partial evaluation A Tyurin, D Berezun, S Grigorev Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of …, 2020 | 6 | 2020 |
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One D Berezun, D Boulytchev arXiv preprint arXiv:2207.12698, 2022 | 3 | 2022 |
Wildcard Logic Variables D Kosarev, D Berezun, P Lozov miniKanren and Relational Programming Workshop, 2022 | 2 | 2022 |
Efficient parallel algorithms for string comparison N Mishin, D Berezun, A Tiskin Proceedings of the 50th International Conference on Parallel Processing, 1-10, 2021 | 2 | 2021 |
Viterbi algorithm specialization using linear algebra I Tyulyandin, D Berezun, S Grigorev Accepted on SEIM21, to be appear in official proceedings, 2021 | 2 | 2021 |
Precise garbage collection for C++ with a non-cooperative compiler D Berezun, D Boulytchev Proceedings of the 10th Central and Eastern European Software Engineering …, 2014 | 2 | 2014 |
A Case Study in Functional Conversion and Mode Inference in miniKanren E Verbitskaia, I Engel, D Berezun Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial …, 2024 | 1 | 2024 |
On a Direction-Driven Functional Conversion E Verbitskaia, D Berezun, D Boulytchev Relational Programming Workshop, 2022 | 1 | 2022 |
Binding-Time Analysis for miniKanren E Verbitskaia, I Artemeva, D Berezun | 1 | 2020 |
Semi-Automated Direction-Driven Functional Conversion E VERBITSKAIA, I ENGEL, D BEREZUN This report aggregates the papers presented at the fifth miniKanren and …, 0 | 1 | |
Survey on blockchain technology, consensus algorithms, and alternative distributed technologies A Fefelov, N Mishin, V Bushev, DA Berezun Fourth Conference on Software Engineering and Information Management (SEIM …, 2019 | | 2019 |
Обзор языков для безопасного программирования смарт-контрактов AV Tyurin, IV Tyuluandin, VS Maltsev, IA Kirilenko, DA Berezun Труды Института системного программирования РАН 14, 158, 2019 | | 2019 |
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, EPTCS A Lisitsa, A Nemytykh, A Nepeivoda, E Verbitskaia, D Berezun, ... | | 2017 |
Complete head linear reduction DA Berezun Computing, Telecommunication and Control 10 (3), 59-82, 2017 | | 2017 |
Трассирующая нормализация нетипизированного лямбда-исчисления ДА Березун Известия высших учебных заведений. Северо-Кавказский регион. Технические …, 2017 | | 2017 |
Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation D Berezun, ND Jones Fifth International Valentin Turchin Workshop on Metacomputation, 11, 2016 | | 2016 |
Empirical study of partial evaluation of matrix and string algorithms I Balashov, S Grigorev, D Berezun | | |