Semyon Grigorev -

Not registered as user

Name:Semyon Grigorev

Country:Russia

Affiliation:Saint-Petersburg State University

Contributions

2026

GCM

Presenter of Preliminary Study of Interaction Nets Applicability for Sparse Linear Algebra Based Graph Analysis within the GCM 2026-track

2025

SOAP

Author of Universal High-Performance CFL-Reachability via Matrix Multiplication within the State Of the Art in Program Analysis-track

STATIC

Author of PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine within the Advancing Static Analysis-track

2020

Principles and Practice of Parallel Programming

Author of Brief Announcement: Optimizing GPU Programs By Partial Evaluation within the Brief Announcements-track

2018

Scala

Author of Parser Combinators for Context-Free Path Querying within the Scala 2018-track

2017

Parsing@SLE

Author of Parsing techniques for graph analysis within the Parsing@SLE 2017-track