Follow
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
312018
Typed relational conversion
P Lozov, A Vyatkin, D Boulytchev
Trends in Functional Programming: 18th International Symposium, TFP 2017 …, 2018
182018
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
152002
Certified semantics for minikanren
D Rozplokhas, A Vyatkin, D Boulytchev
Proceedings of the 2019 miniKanren and Relational Programming Workshop, 80-98, 2019
132019
Relational interpreters for search problems
P Lozov, E Verbitskaia, D Boulytchev
Relational Programming Workshop, 43, 2019
132019
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
Combinators and type-driven transformers in objective caml
D Boulytchev
Science of Computer Programming 114, 57-73, 2015
102015
Relational synthesis for pattern matching
D Kosarev, P Lozov, D Boulytchev
Asian Symposium on Programming Languages and Systems, 293-310, 2020
92020
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
A Podkopaev, D Boulytchev
Perspectives of System Informatics: 9th International Ershov Informatics …, 2015
92015
BURS-based instruction set selection
D Boulytchev
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
92006
An empirical study of retargetable compilers
D Boulytchev, D Lomov
Perspectives of System Informatics: 4th International Andrei Ershov Memorial …, 2001
92001
Certified semantics for relational programming
D Rozplokhas, A Vyatkin, D Boulytchev
Asian Symposium on Programming Languages and Systems, 167-185, 2020
72020
Fair decision making via automated repair of decision trees
J Zhang, I Beschastnikh, S Mechtaev, A Roychoudhury
Proceedings of the 2nd International Workshop on Equitable Data and …, 2022
52022
An Empirical Study of Partial Deduction for miniKanren
E Verbitskaia, D Berezun, D Boulytchev
arXiv preprint arXiv:2109.02814, 2021
42021
Scheduling Complexity of Interleaving Search
D Rozplokhas, D Boulytchev
International Symposium on Functional and Logic Programming, 152-170, 2022
32022
Efficient fair conjunction for structurally-recursive relations
P Lozov, D Boulytchev
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and …, 2021
32021
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
Efficiently Scrapping Boilerplate Code in OCaml
D Boulytchev, S Mechtaev
Workshop on ML 4, 127-145, 2011
32011
On Fair Relational Conjunction
P Lozov, D BOULYTCHEV
Proceedings of the 2020 miniKanren and Relational Programming Work shop, 1-12, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20