Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

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

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
GPUs and heterogeneous computing · 56% Memory systems · 44%
Software engineering, system software, and programming languages
1 paper
Compilers and program optimization · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Compilers and program optimization
partial evaluation
0.412020
Optimizing GPU programs by partial evaluation · PPoPP 2020
GPUs and heterogeneous computing
GPU programming
0.412020
Optimizing GPU programs by partial evaluation · PPoPP 2020
Memory systems
memory optimization
0.412020
Optimizing GPU programs by partial evaluation · PPoPP 2020
GPUs and heterogeneous computing › GPU programming
CUDA
0.112020
Optimizing GPU programs by partial evaluation · PPoPP 2020

Methods — techniques the papers use, named apart from their topics

program transformation · 0.9partial evaluation · 0.9
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