Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniil Berezun
conf.researchr.org general profile
ICFP 2020 profile
ICFP 2022 profile
POPL 2017 profile
PPoPP 2020 profile
Registered user since Sat 30 Apr 2022
Name:
Daniil Berezun
Affiliation:
JetBrains
Contributions
miniKanRen 2022
Co-chair in Program Committee 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
Share
x
Tue 24 May 08:48