Dmitri Boulytchev

Registered user since Wed 26 Feb 2020

Name: Dmitri Boulytchev

Bio: - 1989-1994 — master program at Saint Petersburg State University, Faculty of Mathematics and Mechanics, computer science department. - 1999 - present time — Saint Petersburg State University, Faculty of Mathematics and Mechanics, chair of Software Engineering. - 2004 - PhD in Computer Science. - 2012 - present time — JetBrains Research, Programming Languages and Tools Laboratory supervisor.

Country: Russia

Affiliation: Saint Petersburg State University / JetBrains Research

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

Research interests: Programming languages, compilers, functional programming, logic and relational programming, types, static analysis

Contributions

PEPM 2021 Author of Efficient Fair Conjunction for Structurally-Recursive Relations within the PEPM 2021-track
APLAS 2020 Author of Certified Semantics for Relational Programming within the Research Papers-track
Author of Relational Synthesis for Pattern Matching within the Research Papers-track
CPP 2021 Author of Certified Semantics for miniKanren within the Lightning Talks-track
miniKanren 2020 Author of On Fair Relational Conjunction within the miniKanren 2020-track
Author of An Empirical Study of Partial Deduction for miniKanren within the miniKanren 2020-track
Author of Certified Semantics for Disequality within the miniKanren 2020-track
PC Chair in Program Committee within the miniKanren 2020-track
Session Chair of Morning Keynote (part of miniKanren 2020)
Author of Relational Synthesis for Pattern Matching within the miniKanren 2020-track
miniKanren 2019 Session Chair of Session 4 (part of miniKanren 2019)
Author of Certified Semantics for miniKanren within the miniKanren 2019-track
Author of Relational Interpreters for Search Problems within the miniKanren 2019-track
ML 2018 Author of Generic Programming with Combinators and Objects within the ML 2018-track
ML 2017 Author of Relational conversion for OCaml within the ML 2017-track
ML 2016 Author of Typed Embedding of Relational Language in OCaml within the ML-track