Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu 0009, Lian Li 0002, Jingling Xue. Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving. IEEE Trans. Software Eng., 50(9):2379-2397, September 2024. [doi]
Abstract is missing.