Projects per year
Personal profile
Education/Academic qualification
Physical and Mathematical Sciences, Candidate of Sciences
11 Mar 2005 → …
Award Date: 11 Mar 2005
Fingerprint
Dive into the research topics where Дмитрий Юрьевич Булычев is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
- 2 Finished
-
RFBR_a_2018 - 3: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2020 г. этап 3
Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.
29/03/20 → 26/12/20
Project: Grant fulfilment › Grant stage fulfilment
-
RFBR_a_2018 - 2: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2019 г. этап 2
Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.
25/03/19 → 15/12/19
Project: Grant fulfilment › Grant stage fulfilment
Research output
-
Efficient fair conjunction for structurally-recursive relations
Lozov, P. & Boulytchev, D., 18 Jan 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, p. 58-73 16 p. (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Open Access -
Certified Semantics for Relational Programming
Rozplokhas, D., Vyatkin, A. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Springer Nature, p. 167-185 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12470 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
1 Scopus citations -
Relational Synthesis for Pattern Matching
Kosarev, D., Lozov, P. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Springer Nature, p. 293-310 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12470 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
-
Improving Refutational Completeness of Relational Search via Divergence Test
Rozplokhas, D. & Булычев, Д. Ю., 3 Sep 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 20 p. (Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
1 Scopus citations -
Typed embedding of a relational language in OCaml
Kosarev, D. & Boulytchev, D., 31 Dec 2018, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 285, p. 1-22 22 p.Research output: Contribution to journal › Conference article › peer-review
Open Access