Semyon V. Grigorev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine. | Anna Chistyakova, Maxim Nigmatulin, Ekaterina Shemetova, Danil Parfenov, David Akhmedov, Semyon V. Grigorev |
| 2025 | PACT | Brahma.FSharp: Power of Functional Programming to Create Portable GPGPU-Enabled .NET Applications. | Nikolai Ponomarev, Vladimir Kutuev, Semyon V. Grigorev |
| 2025 | VLDB | Single-Source Regular Path Querying in Terms of Linear Algebra. | Semyon V. Grigorev, Georgiy Belyanin, Rodion Suvorov |
| 2022 | DLT | Rational Index of Languages with Bounded Dimension of Parse Trees. | Ekaterina N. Shemetova, Alexander Okhotin, Semyon V. Grigorev |
| 2021 | EDBT | Multiple-Source Context-Free Path Querying in Terms of Linear Algebra. | Arseniy Terekhov, Vlada Pogozhelskaya, Vadim Abzalov, Timur Zinnatulin, Semyon V. Grigorev |
| 2021 | SIGMOD | Context-free path querying with all-path semantics by matrix multiplication. | Rustam Azimov, Ilya Epelbaum, Semyon V. Grigorev |
| 2020 | ADBIS | Recursive Expressions for SPARQL Property Paths. | Ciro M. Medeiros, Umberto Souza da Costa, Semyon V. Grigorev, Martin A. Musicante |
| 2020 | ADBIS | Context-Free Path Querying by Kronecker Product. | Egor Orachev, Ilya Epelbaum, Rustam Azimov, Semyon V. Grigorev |
| 2020 | PPoPP | Optimizing GPU programs by partial evaluation. | Aleksey Tyurin, Daniil Berezun, Semyon V. Grigorev |
| 2020 | SIGMOD | Context-Free Path Querying with Single-Path Semantics by Matrix Multiplication. | Arseniy Terekhov, Artyom Khoroshev, Rustam Azimov, Semyon V. Grigorev |
| 2019 | WoLLIC | Bar-Hillel Theorem Mechanization in Coq. | Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev |