Daniil Berezun

Orcid: 0000-0001-6306-275X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Case Study in Functional Conversion and Mode Inference in miniKanren.
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.
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.
Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021

Efficient Parallel Algorithms for String Comparison.
Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

2020
Optimizing GPU programs by partial evaluation.
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).
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017


  Loading...