Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Semyon Grigorev
conf.researchr.org general profile
ICFP 2018 profile
ICSE 2025 profile
PLDI 2025 profile
PPoPP 2020 profile
SPLASH 2017 profile
Not registered as user
Name:
Semyon Grigorev
Country:
Russia
Affiliation:
Saint-Petersburg State University
Contributions
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
Share
x
Mon 3 Nov 12:27