Dmitri Boulytchev

According to our database, Dmitri Boulytchev authored at least 18 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Relational Solver for Constraint-based Type Inference.

Eridan Domoratskiy, Dmitry Boulytchev

CoRR, 2024

2023

Relational Solver for Java Generics Type System.

Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2022

Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One.

Daniil Berezun, Dmitry Boulytchev

Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022

Scheduling Complexity of Interleaving Search.

Dmitry Rozplokhas, Dmitry Boulytchev

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

2021

An Empirical Study of Partial Deduction for miniKanren.

Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev

Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021

Generic Programming with Combinators and Objects.

Dmitry Kosarev, Dmitry Boulytchev

CoRR, 2021

Efficient fair conjunction for structurally-recursive relations.

Peter Lozov, Dmitry Boulytchev

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2021

2020

Certified Semantics for Relational Programming.

Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

Relational Synthesis for Pattern Matching.

Dmitry Kosarev, Petr Lozov, Dmitry Boulytchev

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2018

Code Reuse With Transformation Objects.

Dmitri Boulytchev

CoRR, 2018

Improving Refutational Completeness of Relational Search via Divergence Test.

Dmitri Rozplokhas, Dmitri Boulytchev

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017

Typed Relational Conversion.

Petr Lozov, Andrei Vyatkin, Dmitry Boulytchev

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

2016

Typed Embedding of a Relational Language in OCaml.

Dmitry Kosarev, Dmitry Boulytchev

Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016

2015

Combinators and type-driven transformers in Objective Caml.

Dmitry Boulytchev

Sci. Comput. Program., 2015

2014

Polynomial-Time Optimal Pretty-Printing Combinators with Choice.

Anton Podkopaev, Dmitri Boulytchev

Proceedings of the Perspectives of System Informatics, 2014

2010

Hardware description language based on message passing and implicit pipelining.

Dmitri Boulytchev, Oleg S. Medvedev

Proceedings of the 2010 East-West Design & Test Symposium, 2010

2006

BURS-Based Instruction Set Selection.

Dmitri Boulytchev

Proceedings of the Perspectives of Systems Informatics, 2006

2001

An Empirical Study of Retargetable Compilers.

Dmitri Boulytchev, Dmitry Lomov

Proceedings of the Perspectives of System Informatics, 2001