• 22 Citations
  • 3 h-Index
20132020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Physical and Mathematical Sciences, Candidate of Sciences

24 Mar 2016 → …

Award Date: 24 Mar 2016

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.

  • 8 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

RSF_RG_2018 - 3: Логические и алгебраические методы в теории формальных языков: 2020 г. этап 3

Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Сорокин, А. А., Макаров, В. М., Шеметова, Е. Н., Мартынова, О. М., Петров, С. А. & Сажнева, Е. А.

1/01/2031/12/20

Project

Research Output

  • 22 Citations
  • 3 h-Index
  • 13 статья в сборнике материалов конференции
  • 2 статья
  • 1 тезисы

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 outputpeer-review

Open Access
  • 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 outputpeer-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 outputpeer-review

  • 3 Citations (Scopus)