Daniil Berezun

According to our database, Daniil Berezun authored at least 6 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Case Study in Functional Conversion and Mode Inference in miniKanren.

Ekaterina Verbitskaia, Igor Engel, Daniil Berezun

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024

2022

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

Daniil Berezun, Dmitry Boulytchev

Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022

2021

An Empirical Study of Partial Deduction for miniKanren.

Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev

Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021

Efficient Parallel Algorithms for String Comparison.

Nikita Mishin, Daniil Berezun, Alexander Tiskin

Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

2020

Optimizing GPU programs by partial evaluation.

Aleksey Tyurin, Daniil Berezun, Semyon V. Grigorev

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

2017

Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper).

Daniil Berezun, Neil D. Jones

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