1. 2025
  2. Universal High-Performance CFL-Reachability via Matrix Multiplication

    Муравьев, И. В. & Григорьев, С. В., 13 Jun 2025, SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery, p. 28-35 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

ID: 61475735