• Sign in
  • Sign up
conf.researchr.org / Daniil Berezun
  • 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
xTue 24 May 08:48
using conf.researchr.org (v1.55.6)
Support page
Sign Up