Projects per year
Personal profile
Education/Academic qualification
Physical and Mathematical Sciences, Candidate of Sciences
11 Mar 2005 → …
Award Date: 11 Mar 2005
Fingerprint
- 1 Similar Profiles
Network
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., 17 Jan 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Lindley, S. & Mogensen, T. (eds.). Association for Computing Machinery, p. 58-73 16 p. (Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
-
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
2 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
-
Relational Interpreters for Search Problems.
Lozov, P., Verbitskay, E. & Булычев, Д. Ю., 2019, p. 43-57.Research output: Contribution to conference › Abstract
-
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
2 Scopus citations