An Empirical Study of Retargetable Compilers. - Dmitri Boulytchev; Dmitry Lomov (Ershov Memorial Conference, 2001)

BURS-Based Instruction Set Selection. - Dmitri Boulytchev (Ershov Memorial Conference, 2006)

Hardware description language based on message passing and implicit pipelining. - Dmitri Boulytchev; Oleg S. Medvedev (EWDTS, 2010)

Polynomial-Time Optimal Pretty-Printing Combinators with Choice. - Anton Podkopaev; Dmitri Boulytchev (Ershov Memorial Conference, 2014)

Combinators and type-driven transformers in Objective Caml. - Dmitry Boulytchev (Sci. Comput. Program., 2015)

Typed Embedding of a Relational Language in OCaml. - Dmitry Kosarev; Dmitry Boulytchev (ML/OCAML, 2016)

Typed Relational Conversion. - Petr Lozov; Andrei Vyatkin; Dmitry Boulytchev (TFP, 2017)

Improving Refutational Completeness of Relational Search via Divergence Test. - Dmitri Rozplokhas; Dmitri Boulytchev (PPDP, 2018)

Code Reuse With Transformation Objects. - Dmitri Boulytchev (CoRR, 2018)

Relational Synthesis for Pattern Matching. - Dmitry Kosarev; Petr Lozov; Dmitry Boulytchev (APLAS, 2020)

Certified Semantics for Relational Programming. - Dmitry Rozplokhas; Andrey Vyatkin; Dmitry Boulytchev (APLAS, 2020)

Efficient fair conjunction for structurally-recursive relations. - Peter Lozov; Dmitry Boulytchev (PEPM@POPL, 2021)

Generic Programming with Combinators and Objects. - Dmitry Kosarev; Dmitry Boulytchev (CoRR, 2021)

An Empirical Study of Partial Deduction for miniKanren. - Ekaterina Verbitskaia; Daniil Berezun; Dmitry Boulytchev (VPT@ETAPS, 2021)

Scheduling Complexity of Interleaving Search. - Dmitry Rozplokhas; Dmitry Boulytchev (FLOPS, 2022)

Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One. - Daniil Berezun; Dmitry Boulytchev (TFPIE, 2022)

Relational Solver for Java Generics Type System. - Peter Lozov; Dmitry Kosarev; Dmitry Ivanov; Dmitry Boulytchev (LOPSTR, 2023)

A Relational Solver for Constraint-based Type Inference. - Eridan Domoratskiy; Dmitry Boulytchev (CoRR, 2024)

Constraint Programming for Automatic User Interface Construction. - Peter Lozov; Dmitry Kosarev; Dmitri Boulytchev (Program. Comput. Softw., 2025)