Semyon V. Grigorev

dblp:181/9903 · DBLP profile ↗
← Back
6ranked-venue papers
0as first author
3since 2021 · last 2024
0000-0002-7966-0698ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 2 since 2021Databases, data management, data science and information retrieval · 2 · 1 since 2021Systems, architecture and hardware · 1
YearPublicationVenuePosition
2024 Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees
Ekaterina N. Shemetova, Alexander Okhotin, Semyon V. Grigorev
Theory Comput. Syst.3
2022 Rational Index of Languages with Bounded Dimension of Parse Trees
Ekaterina N. Shemetova, Alexander Okhotin, Semyon V. Grigorev
DLT3
2021 Multiple-Source Context-Free Path Querying in Terms of Linear Algebra
Arseniy Terekhov, Vlada Pogozhelskaya, Vadim Abzalov, Timur Zinnatulin, Semyon V. Grigorev
EDBT5
2020 Context-Free Path Querying by Kronecker Product
Egor Orachev, Ilya Epelbaum, Rustam Azimov, Semyon V. Grigorev
ADBIS4
2020 Optimizing GPU programs by partial evaluation
abstract
While GPU utilization allows one to speed up computations to the orders of magnitude, memory management remains the bottleneck making it often a challenge to achieve the desired performance. Hence, different memory optimizations are leveraged to make memory being used more effectively. We propose an approach automating memory management utilizing partial evaluation, a program transformation technique that enables data accesses to be pre-computed, optimized, and embedded into the code, saving memory transactions. An empirical evaluation of our approach shows that the transformed program could be up to 8 times as efficient as the original one in the case of CUDA C naïve string pattern matching algorithm implementation.
Aleksey Tyurin, Daniil Berezun, Semyon V. Grigorev
PPoPP3
2019 Bar-Hillel Theorem Mechanization in Coq
Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev
WoLLIC3