Daniil Berezun -

Registered user since Sat 30 Apr 2022

Name:Daniil Berezun

Country:Netherlands

Affiliation:JetBrains Research

Personal website:https://research.jetbrains.org/researchers/danya_berezun/

Research interests:Programming Laguages

Contributions

miniKanren 2022	Co-chair in Program Committee within the miniKanren 2022-track Author of Wildcard Logic Variables within the miniKanren 2022-track Author of On a Direction-Driven Functional Conversion within the miniKanren 2022-track
miniKanren 2020	Author of An Empirical Study of Partial Deduction for miniKanren within the miniKanren 2020-track
PPoPP 2020	Author of Brief Announcement: Optimizing GPU Programs By Partial Evaluation within the Brief Announcements-track
PEPM 2017	Author of Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk) within the PEPM 2017-track