Optimization of the Context-Free Language Reachability Matrix-Based Algorithm. - Ilia Muravev (CoRR, 2024)

Universal High-Performance CFL-Reachability via Matrix Multiplication. - Ilia Muravev; Semyon V. Grigorev (SOAP@PLDI, 2025)