Dmitri Boulytchev
Dmitri Boulytchev
Associate Professor of Computer Science, Saint-Petersburg State University
Verified email at math.spbu.ru - Homepage
Title
Cited by
Cited by
Year
Typed embedding of a relational language in OCaml
D Kosarev, D Boulytchev
arXiv preprint arXiv:1805.11006, 2018
192018
Hardware description language based on message passing and implicit pipelining
D Boulytchev, O Medvedev
2010 East-West Design & Test Symposium (EWDTS), 438-441, 2010
152010
On project-specific languages and their application in reengineering
D Boulychev, D Koznov, AA Terekhov
Proceedings of the Sixth European Conference on Software Maintenance and …, 2002
122002
Typed relational conversion
P Lozov, A Vyatkin, D Boulytchev
International Symposium on Trends in Functional Programming, 39-58, 2017
112017
An empirical study of retargetable compilers
D Boulytchev, D Lomov
International Andrei Ershov Memorial Conference on Perspectives of System …, 2001
112001
BURS-based instruction set selection
D Boulytchev
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
102006
Certified semantics for minikanren
D Rozplokhas, A Vyatkin, D Boulytchev
Proceedings of the 2019 miniKanren and Relational Programming Workshop, 80-98, 2019
92019
Improving refutational completeness of relational search via divergence test
D Rozplokhas, D Boulytchev
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
92018
Combinators and type-driven transformers in Objective Caml
D Boulytchev
Science of Computer Programming 114, 57-73, 2015
72015
Relational interpreters for search problems
P Lozov, E Verbitskaia, D Boulytchev
and Relational Programming Workshop, 43, 2019
62019
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
A Podkopaev, D Boulytchev
International Andrei Ershov Memorial Conference on Perspectives of System …, 2014
52014
Certified Semantics for Relational Programming
D Rozplokhas, A Vyatkin, D Boulytchev
Asian Symposium on Programming Languages and Systems, 167-185, 2020
22020
Precise garbage collection for C++ with a non-cooperative compiler
D Berezun, D Boulytchev
Proceedings of the 10th Central and Eastern European Software Engineering …, 2014
12014
Teaching Compiler Development using .NET Platform
A Terekhov, D Boulychev, A Moscal, N Voyakovskaya
Proceedings of the 2nd International Workshop on .NET Technologies, Plzen …, 2004
12004
Efficient fair conjunction for structurally-recursive relations
P Lozov, D Boulytchev
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and …, 2021
2021
Relational Synthesis for Pattern Matching
D Kosarev, P Lozov, D Boulytchev
Asian Symposium on Programming Languages and Systems, 293-310, 2020
2020
An Empirical Study of Partial Deduction for miniKanren
E Verbitskaia, D Berezun, D Boulytchev
2020
Certified Semantics for Disequality
D ROZPLOKHAS, D BOULYTCHEV
2020
On Fair Relational Conjunction
P LOZOV, D BOULYTCHEV
2020
Code Reuse With Transformation Objects
D Boulytchev
arXiv preprint arXiv:1802.01930, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20