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
242018
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
Certified semantics for minikanren
D Rozplokhas, A Vyatkin, D Boulytchev
Proceedings of the 2019 miniKanren and Relational Programming Workshop, 80-98, 2019
132019
Typed relational conversion
P Lozov, A Vyatkin, D Boulytchev
International Symposium on Trends in Functional Programming, 39-58, 2017
122017
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
Improving refutational completeness of relational search via divergence test
D Rozplokhas, D Boulytchev
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
112018
An empirical study of retargetable compilers
D Boulytchev, D Lomov
International Andrei Ershov Memorial Conference on Perspectives of System …, 2001
102001
BURS-based instruction set selection
D Boulytchev
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
92006
Relational interpreters for search problems
P Lozov, E Verbitskaia, D Boulytchev
and Relational Programming Workshop, 43, 2019
82019
Combinators and type-driven transformers in Objective Caml
D Boulytchev
Science of Computer Programming 114, 57-73, 2015
82015
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
32020
Precise Garbage Collection for C++ with a Non-cooperative Compiler
B Daniil, B Dmitri
Proceedings of the 10th Central and Eastern European Software Engineering …, 2014
32014
On Fair Relational Conjunction
P LOZOV, D BOULYTCHEV
22020
An Empirical Study of Partial Deduction for miniKanren
E Verbitskaia, D Berezun, D Boulytchev
arXiv preprint arXiv:2109.02814, 2021
12021
Efficient fair conjunction for structurally-recursive relations
P Lozov, D Boulytchev
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and …, 2021
12021
dxo: A System for Relational Algebra and Differentiation
J Steele, W Byrd
arXiv preprint arXiv:2008.03441, 2020
12020
Code Reuse With Transformation Objects
D Boulytchev
arXiv preprint arXiv:1802.01930, 2018
12018
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
Efficiently Scrapping Boilerplate Code in OCaml
D Boulytchev, S Mechtaev
Workshop on ML, ML 11, 2011
12011
The system can't perform the operation now. Try again later.
Articles 1–20