Standard

Universal High-Performance CFL-Reachability via Matrix Multiplication. / Муравьев, Илья Владимирович; Григорьев, Семен Вячеславович.

SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery, 2025. p. 28-35.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Муравьев, ИВ & Григорьев, СВ 2025, Universal High-Performance CFL-Reachability via Matrix Multiplication. in SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery, pp. 28-35, SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Seoul, 16/06/25. https://doi.org/10.1145/3735544.3735585

APA

Муравьев, И. В., & Григорьев, С. В. (2025). Universal High-Performance CFL-Reachability via Matrix Multiplication. In SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (pp. 28-35). Association for Computing Machinery. https://doi.org/10.1145/3735544.3735585

Vancouver

Муравьев ИВ, Григорьев СВ. Universal High-Performance CFL-Reachability via Matrix Multiplication. In SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery. 2025. p. 28-35 https://doi.org/10.1145/3735544.3735585

Author

Муравьев, Илья Владимирович ; Григорьев, Семен Вячеславович. / Universal High-Performance CFL-Reachability via Matrix Multiplication. SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery, 2025. pp. 28-35

BibTeX

@inproceedings{bd40e178f4474befb3a2e9f08161dbf4,
title = "Universal High-Performance CFL-Reachability via Matrix Multiplication",
author = "Муравьев, {Илья Владимирович} and Григорьев, {Семен Вячеславович}",
year = "2025",
month = jun,
day = "13",
doi = "10.1145/3735544.3735585",
language = "English",
pages = "28--35",
booktitle = "SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis",
publisher = "Association for Computing Machinery",
address = "United States",
note = "SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ; Conference date: 16-06-2025 Through 16-06-2025",

}

RIS

TY - GEN

T1 - Universal High-Performance CFL-Reachability via Matrix Multiplication

AU - Муравьев, Илья Владимирович

AU - Григорьев, Семен Вячеславович

PY - 2025/6/13

Y1 - 2025/6/13

UR - https://www.mendeley.com/catalogue/8702fede-db28-30cf-af05-0b1cf72c5eb5/

UR - https://www.mendeley.com/catalogue/8702fede-db28-30cf-af05-0b1cf72c5eb5/

U2 - 10.1145/3735544.3735585

DO - 10.1145/3735544.3735585

M3 - Conference contribution

SP - 28

EP - 35

BT - SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

PB - Association for Computing Machinery

T2 - SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

Y2 - 16 June 2025 through 16 June 2025

ER -

ID: 137726990