1 - 10 out of 16Page size: 10
Sort by: Title

  1. An empirical study of retargetable compilers

    Boulytchev, D. & Lomov, D., 2001, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2244, p. 328-335 8 p.

    Research output: Contribution to journal › Article › peer-review

  2. BURS-based instruction set selection

    Boulytchev, D., 2007, Perspectives of Systems Informatics - 6th International Andrei Ershov Memorial Conference, PSI 2006, Revised Papers. Springer Nature, p. 431-437 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4378 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. 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

  4. Combinators and type-driven transformers in Objective Caml

    Boulytchev, D., 15 Dec 2015, In: Science of Computer Programming. 114, p. 57-73 17 p.

    Research output: Contribution to journal › Article › peer-review

  5. 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

  6. Hardware description language based on message passing and implicit pipelining

    Boulytchev, D. & Medvedev, O., 2010, Proceedings of IEEE East-West Design and Test Symposium, EWDTS'10. p. 438-441 4 p. 5742095. (Proceedings of IEEE East-West Design and Test Symposium, EWDTS'10).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  7. 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

  8. Polynomial-Time Optimal Pretty-Printing Combinators with Choice

    Podkopaev, A. & Boulytchev, D., 2015, In: Lecture Notes in Computer Science. 8974, p. 257-265

    Research output: Contribution to journal › Article

  9. Precise garbage collection for C++ with a non-cooperative compiler

    Berezun, D. & Boulytchev, D., 23 Oct 2014, CEE-SECR 2014 - Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, a15. (ACM International Conference Proceeding Series; vol. 23-24-October-2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  10. Relational Interpreters for Search Problems.

    Lozov, P., Verbitskay, E. & Булычев, Д. Ю., 2019, p. 43-57.

    Research output: Contribution to conference › Abstract

Previous 1 2 Next

ID: 156171