conf.researchr.org / 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.
Country:Russia
Affiliation:Saint Petersburg State University
Research interests:Programming languages, compilers, functional programming, logic and relational programming, types, static analysis
Contributions
2024
2023
2022
miniKanren
2021
2020
APLAS
miniKanren
- 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