Semyon V. Grigorev

29 papers B 3C 3Journal 10Unranked 13
YearRankTypeTitle / Venue / Authors
2025 B conf
Brahma.FSharp: Power of Functional Programming to Create Portable GPGPU-Enabled .NET Applications.
PaCT
Nikolai Ponomarev, Vladimir Kutuev, Semyon V. Grigorev
2025 — conf
PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine.
STATIC
Anna Chistyakova, Maxim Nigmatulin, Ekaterina Shemetova, Danil Parfenov, David Akhmedov, Semyon V. Grigorev
2025 — conf
Universal High-Performance CFL-Reachability via Matrix Multiplication.
SOAP@PLDI
Ilia Muravev, Semyon V. Grigorev
2024 J jnl
Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees.
Theory Comput. Syst.
Ekaterina N. Shemetova, Alexander Okhotin, Semyon V. Grigorev
2023 J jnl
Fine-grained reductions around CFL-reachability.
CoRR
Aleksandra Istomina, Semyon V. Grigorev, Ekaterina N. Shemetova
2023 J jnl
GLL-based Context-Free Path Querying for Neo4j.
CoRR
Vadim Abzalov, Vlada Pogozhelskaya, Vladimir Kutuev, Semyon V. Grigorev
2022 C conf
Rational Index of Languages with Bounded Dimension of Parse Trees.
DLT
Ekaterina N. Shemetova, Alexander Okhotin, Semyon V. Grigorev
2022 J jnl
SPbLA: The Library of GPGPU-powered Sparse Boolean Linear Algebra Operations.
J. Open Source Softw.
Egor Orachev, Maria Karpenko, Pavel Alimov, Semyon V. Grigorev
2021 — conf
Context-free path querying with all-path semantics by matrix multiplication.
GRADES-NDA@SIGMOD
Rustam Azimov, Ilya Epelbaum, Semyon V. Grigorev
2021 B conf
Multiple-Source Context-Free Path Querying in Terms of Linear Algebra.
EDBT
Arseniy Terekhov, Vlada Pogozhelskaya, Vadim Abzalov, Timur Zinnatulin, Semyon V. Grigorev
2021 J jnl
One Algorithm to Evaluate Them All: Unified Linear Algebra Based Approach to Evaluate Both Regular and Context-Free Path Queries.
CoRR
Ekaterina N. Shemetova, Rustam Azimov, Egor Orachev, Ilya Epelbaum, Semyon V. Grigorev
2021 J jnl
Path Querying on Acyclic Graphs Using Boolean Grammars.
Program. Comput. Softw.
Ekaterina N. Shemetova, Semyon V. Grigorev
2021 — conf
SPbLA: The Library of GPGPU-Powered Sparse Boolean Linear Algebra Operations.
IPDPS Workshops
Egor Orachev, Maria Karpenko, Artem Khoroshev, Semyon V. Grigorev
2020 C conf
Context-Free Path Querying by Kronecker Product.
ADBIS
Egor Orachev, Ilya Epelbaum, Rustam Azimov, Semyon V. Grigorev
2020 — conf
Context-Free Path Querying with Single-Path Semantics by Matrix Multiplication.
GRADES-NDA@SIGMOD
Arseniy Terekhov, Artyom Khoroshev, Rustam Azimov, Semyon V. Grigorev
2020 B conf
Optimizing GPU programs by partial evaluation.
PPoPP
Aleksey Tyurin, Daniil Berezun, Semyon V. Grigorev
2020 J jnl
Rational index of bounded-oscillation languages.
CoRR
Ekaterina N. Shemetova, Alexander Okhotin, Semyon V. Grigorev
2020 — conf
Recursive Expressions for SPARQL Property Paths.
ADBIS/TPDL/EDA Workshops
Ciro M. Medeiros, Umberto Souza da Costa, Semyon V. Grigorev, Martin A. Musicante
2019 C conf
Bar-Hillel Theorem Mechanization in Coq.
WoLLIC
Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev
2019 — conf
Evaluation of the Context-Free Path Querying Algorithm Based on Matrix Multiplication.
GRADES/NDA@SIGMOD/PODS
Nikita Mishin, Iaroslav Sokolov, Egor Spirin, Vladimir Kutuev, Egor Nemchinov, Sergey Gorbatyuk, Semyon V. Grigorev
2019 — conf
Modification of Valiant's Parsing Algorithm for the String-Searching Problem.
CIBB
Yuliya Susanina, Anna Yaveyn, Semyon V. Grigorev
2019 — conf
On Secondary Structure Analysis by Using Formal Grammars and Artificial Neural Networks.
CIBB
Polina Lunina, Semyon V. Grigorev
2019 J jnl
Path Querying with Conjunctive Grammars by Matrix Multiplication.
Program. Comput. Softw.
Rustam Azimov, Semyon V. Grigorev
2019 — conf
The Composition of Dense Neural Networks and Formal Grammars for Secondary Structure Analysis.
BIOINFORMATICS
Semyon V. Grigorev, Polina Lunina
2018 — conf
Context-free path querying by matrix multiplication.
GRADES/NDA@SIGMOD/PODS
Rustam Azimov, Semyon V. Grigorev
2018 — conf
Parser combinators for context-free path querying.
SCALA@ICFP
Ekaterina Verbitskaia, Ilya Kirillov, Ilya Nozkin, Semyon V. Grigorev
2017 J jnl
Graph Parsing by Matrix Multiplication.
CoRR
Rustam Azimov, Semyon V. Grigorev
2016 J jnl
Context-Free Path Querying with Structural Representation of Result.
CoRR
Semyon V. Grigorev, Anastasiya Ragozina
2015 — conf
Relaxed Parsing of Regular Approximations of String-Embedded Languages.
Ershov Memorial Conference
Ekaterina Verbitskaia, Semyon V. Grigorev, Dmitry Avdyukhin