Author:
Heintze Nevin,Tardieu Olivier
Cited by
65 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Partial program analysis for staged compilation systems;Formal Methods in System Design;2024-06-13
2. Toward Pointer-Analysis-Based Vulnerability Discovery in Human–Machine Pair Programming;International Journal of Software Engineering and Knowledge Engineering;2024-02-22
3. On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability;Proceedings of the ACM on Programming Languages;2024-01-05
4. Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
5. Fast and precise application code analysis using a partial library;Proceedings of the 44th International Conference on Software Engineering;2022-05-21