• Sign in
  • Sign up
conf.researchr.org / Daniil Berezun
  • ICFP 2020 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • POPL 2017 profile
  • POPL 2024 profile
  • PPoPP 2020 profile
Daniil Berezun

Registered user since Sat 30 Apr 2022

Name:Daniil Berezun
Country:Netherlands
Affiliation:JetBrains Research; Constructor University Bremen
Personal website: https://research.jetbrains.org/researchers/danya_berezun/
Research interests:Programming Laguages

Contributions

2024

PEPM

  • Author of A Case Study in Functional Conversion and Mode Inference in miniKanren within the PEPM 2024-track

2023

miniKanren

  • Author of Semi-Automated Direction-Driven Functional Conversion within the miniKanren 2023-track

2022

miniKanren

  • 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

2020

miniKanren

  • Author of An Empirical Study of Partial Deduction for miniKanren within the miniKanren 2020-track

Principles and Practice of Parallel Programming

  • Author of Brief Announcement: Optimizing GPU Programs By Partial Evaluation within the Brief Announcements-track

2017

PEPM

  • Author of Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk) within the PEPM 2017-track
Share
xSat 24 May 09:14
using conf.researchr.org (v1.69.0)
Support page
Sign Up