Author:
Vedurada Jyothi,Nandivada V. Krishna
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability;Proceedings of the ACM on Programming Languages;2024-01-05
2. ORAQL — Optimistic Responses to Alias Queries in LLVM;Proceedings of the 52nd International Conference on Parallel Processing;2023-08-07
3. CFL/Dyck Reachability;ACM SIGLOG News;2022-10
4. A Survey of Parametric Static Analysis;ACM Computing Surveys;2022-09-30
5. The decidability and complexity of interleaved bidirected Dyck reachability;Proceedings of the ACM on Programming Languages;2022-01-12