Author:
Duesterwald Evelyn,Gupta Rajiv,Soffa Mary Lou
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth;Lecture Notes in Computer Science;2023
2. Automatic Permission Check Analysis for Linux Kernel;IEEE Transactions on Dependable and Secure Computing;2022
3. Demanded abstract interpretation;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
4. Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis;Programming Languages and Systems;2020
5. Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth;ACM Transactions on Programming Languages and Systems;2019-12-05