Dmitry Boulytchev

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 13

Top Topics

Partial Deduction

Relational Calculus

Aggregate Functions

Relational Data

Top Venues

Publications

Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev
Relational Solver for Java Generics Type System. LOPSTR (2023)
Daniil Berezun, Dmitry Boulytchev
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One. TFPIE (2022)
Dmitry Rozplokhas, Dmitry Boulytchev
Scheduling Complexity of Interleaving Search. CoRR (2022)
Dmitry Rozplokhas, Dmitry Boulytchev
Scheduling Complexity of Interleaving Search. FLOPS (2022)
Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev
An Empirical Study of Partial Deduction for miniKanren. VPT@ETAPS (2021)
Peter Lozov, Dmitry Boulytchev
Efficient fair conjunction for structurally-recursive relations. PEPM@POPL (2021)
Dmitry Kosarev, Dmitry Boulytchev
Generic Programming with Combinators and Objects. CoRR (2021)
Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev
Certified Semantics for Relational Programming. APLAS (2020)
Dmitry Kosarev, Petr Lozov, Dmitry Boulytchev
Relational Synthesis for Pattern Matching. APLAS (2020)
Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev
Certified Semantics for Relational Programming. CoRR (2020)
Petr Lozov, Andrei Vyatkin, Dmitry Boulytchev
Typed Relational Conversion. TFP (2017)
Dmitry Kosarev, Dmitry Boulytchev
Typed Embedding of a Relational Language in OCaml. ML/OCAML (2016)
Dmitry Boulytchev
Combinators and type-driven transformers in Objective Caml. Sci. Comput. Program. 114 (2015)