1 - 2 out of 2Page size: 10
  1. 2026

  2. FastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachability

    Muravev, I. & Grigorev, S., 21 May 2026, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer.

    Research output: Contribution to journal › Article › peer-review

  3. 2025

  4. 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 proceeding › Conference contribution › Research › peer-review

ID: 61475735