| 24 |
PEPM’24 |
A Case Study in Functional Conversion and Mode Inference in miniKanren |
Jan ‘24 |
E. Verbitskaia, Igor Engel, D.Berezun |
paper |
| 23 |
miniKanren 2023 |
Semi-Automated Direction-Driven Functional Conversion |
Sep ‘23 |
E. Verbitskaia, Igor Engel, D.Berezun |
paper |
| 22 |
miniKanren 2022 |
Wildcard Logic Variables |
Sep ‘22 |
D. Kosarev, D.Berezun, P.Losov |
paper |
| 21 |
miniKanren 2022 |
On a Direction-Driven Functional Conversion |
Sep ‘22 |
E. Verbitskaia, D.Berezun, D.Boulytchev |
paper |
| 20 |
ICPP’21 |
Efficient Parallel Algorithms for String Comparison |
Aug ‘21 |
N.Mishin, D.Berezun, A.Tiskin |
paper, slides |
| 19 |
TFPIE’21 |
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One |
Jul ‘21 |
D. Boulytchev, D.Berezun |
paper, slides |
| 18 |
SYRCoSE’21 |
Empirical Study of Partial Evaluation of Matrix and String Algorithms |
May ‘21 |
I.Balashov, S.Grigorev, D.Berezun |
paper |
| 17 |
SEIM’21 |
Viterbi Algorithm Specialization Using Linear Algebra |
Apr ‘21 |
I.Tyulyandin, D.Berezun, S.Grigorev |
paper |
| 16 |
VPT’21 |
An empirical study of partial deduction for MINIKANREN |
Feb ‘21 |
E. Verbitskaia, D.Berezun, D.Boulytchev |
paper |
| 15 |
miniKanren 2020 |
An Empirical Study of Partial Deduction for miniKanren |
Aug ‘20 |
E. Verbitskaia, D.Berezun, D.Boulytchev |
paper |
| 14 |
TEASE-LP’20 |
Binding-Time Analysis for miniKanren |
May ‘20 |
E. Verbitskaia, I. Artemeva, D.Berezun |
paper |
| 13 |
PPoPP’20 |
Optimizing GPU programs by partial evaluation |
Feb ‘20 |
A.Tyurin, D.Berezun, S.Grigorev |
|
| 12 |
Proceedings of the institute
for system programming
of the RAS |
Overview of the Languages for Safe Smart Contract Programming |
2019 |
A.Tyurin, I.Tyulyandin, V.Maltsev, I.Kirilenko, and D. Berezun |
paper |
| 11 |
SYRCoSE’19 |
Survey of Smart Contract Safety and Programming Languages |
May ‘19 |
A.Tyurin, I.Tyulyandin, V.Maltsev, I.Kirilenko, and D. Berezun |
paper |
| 10 |
SEIM’19 |
Survey on Blockchain Technology, Consensus Algorithms, and Alternative Distributed Technologies |
Apr ‘19 |
N.Mishin, A.Fefelov, V.Bushev, I.Kirilenko, and D.Berezun |
paper |
| 9 |
PhD Thesis |
Трассирующая нормализация |
Mar’18 |
D.Berezun |
text, abstract, slides |
| 8 |
PEPM’17 |
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper) |
Jan ‘17 |
D.Berezun and Neil D. Jones |
paper |
| 7 |
Известия вузов.
Северо Кавказский регион.
Технические науки.
–2017.–№4.–C.5–12. |
Трассирующая нормализация нетипизированного лямбда-исчисления
Untyped Lambda-Calculus Normalization by Traversals (in Russian) |
Sep ‘17 |
Berezun D.A. |
paper |
| 6 |
St. Petersburg State Polytechnical
University Journal. Computer
Science. Telecommunications
and Control Systems |
Полная головная линейная редукция
Complete Head Linear Reduction (in Russian) |
‘17 |
Berezun D.A. |
paper |
| 5 |
ЯПиК’17 (PLC’2017) |
Трассирующая нормализация, основанная на игровой семантике и частичных вычислениях |
Apr ‘17 |
D.Berezun, N.Jones |
|
| 4 |
ЯПиК’17 (PLC’2017) |
Независимая от компилятора библиотека точной сборки мусора для языка C++ (in Russian) |
Apr ‘17 |
E.Moiseenko, D.Berezun |
|
| 3 |
META’16 |
Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation |
Jun ‘16 |
D.Berezun and Neil D. Jones |
paper |
| 2 |
SEIM’16 |
Incremental Garbage Collection Library for C++ (in Russian) |
‘16 |
E.Moiseenko, D.Berezun |
|
| 1 |
SECR’14 |
Precise Garbage Collection for C++ with a Non-Cooperative Compiler |
‘14 |
D.Berezun, D.Boulytchev |
paper, talk |
![]() |
![]() |
![]() |
![]() |
|
|
DaniilBerezun