Author:
Fähndrich Manuel,Foster Jeffrey S.,Su Zhendong,Aiken Alexander
Cited by
80 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing;Proceedings of the ACM on Software Engineering;2024-07-12
2. Scaling Type-Based Points-to Analysis with Saturation;Proceedings of the ACM on Programming Languages;2024-06-20
3. Kaleidoscope: Precise Invariant-Guided Pointer Analysis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27
4. Mutual Refinements of Context-Free Language Reachability;Static Analysis;2023
5. Fast Graph Simplification for Interleaved-Dyck Reachability;ACM Transactions on Programming Languages and Systems;2022-05-27