Context-Free Path Querying by Kronecker Product

Orachev, E., Epelbaum, I., Azimov, R. & Grigorev, S., Aug 2020, Advances in Databases and Information Systems - 24th European Conference, ADBIS 2020, Proceedings. Darmont, J., Novikov, B. & Wrembel, R. (eds.). Springer Nature, p. 49-59 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12245 LNCS).

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

Optimizing GPU programs by partial evaluation

Tyurin, A., Berezun, D. & Grigorev, S., 19 Feb 2020, PPoPP 2020 - Proceedings of the 2020 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 431-432 2 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

Evaluation of the context-free path querying algorithm based on matrix multiplication

Mishin, N., Sokolov, I., Spirin, E., Kutuev, V., Nemchinov, E., Gorbatyuk, S. & Grigorev, S., 30 Jun 2019, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Arora, A., Bhattacharya, A. & Fletcher, G. (eds.). Association for Computing Machinery

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

The composition of dense neural networks and formal grammars for secondary structure analysis

Grigorev, S. & Lunina, P., 1 Jan 2019, BIOINFORMATICS 2019 - 10th International Conference on Bioinformatics Models, Methods and Algorithms, Proceedings; Part of 12th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2019. De Maria, E., Gamboa, H. & Fred, A. (eds.). SciTePress, p. 234-241 8 p.

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

Bar-Hillel Theorem Mechanization in Coq

Bozhko, S., Khatbullina, L. & Grigorev, S., 2019, Logic, Language, Information, and Computation : 26th International Workshop, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Berlin, Heidelberg: Springer Nature, p. 264-281 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11541 LNCS).

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

Parser combinators for context-free path querying

Kirillov, I., Nozkin, I. & Grigorev, S., 17 Sep 2018, Scala 2018 - Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, co-located with ICFP 2018. Erdweg, S. & Oliveira, B. C. D. S. (eds.). Association for Computing Machinery, p. 13-23 11 p. (Scala 2018 - Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, co-located with ICFP 2018).

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

Context-free path querying by matrix multiplication

Azimov, R. & Grigorev, S., 10 Jun 2018, Proceedings of the 1st ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems (GRADES) and Network Data Analytics (NDA), GRADES-NDA 2018. Bhattacharya, A., Fletcher, G., Roy, S., Arora, A., Larriba Pey, J. L. & West, R. (eds.). Association for Computing Machinery, a5. (Proceedings of the 1st ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems (GRADES) and Network Data Analytics (NDA), GRADES-NDA 2018).

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