VLDB 2026 Research / reviewers in the wild / expert
Semyon V. Grigorev
dblp:181/9903
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
DLT | 3 |
| 2021 | Multiple-Source Context-Free Path Querying in Terms of Linear Algebra
Arseniy Terekhov, Vlada Pogozhelskaya, Vadim Abzalov, Timur Zinnatulin, Semyon V. Grigorev |
EDBT | 5 |
| 2020 | Context-Free Path Querying by Kronecker Product
Egor Orachev, Ilya Epelbaum, Rustam Azimov, Semyon V. Grigorev |
ADBIS | 4 |
| 2020 | Optimizing GPU programs by partial evaluationabstractWhile 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 |
PPoPP | 3 |
| 2019 | Bar-Hillel Theorem Mechanization in Coq
Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev |
WoLLIC | 3 |