Author:
Wilson Robert P.,Lam Monica S.
Cited by
180 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware and Path-Sensitive Typestate Analysis;ACM Transactions on Computer Systems;2024-09-06
2. Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks;Proceedings of the ACM on Programming Languages;2024-04-29
3. BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
4. A Novel Approach to Pointer Analysis;2022 OPJU International Technology Conference on Emerging Technologies for Sustainable Development (OTCON);2023-02-08
5. Preserving Addressability Upon GC-Triggered Data Movements on Non-Volatile Memory;ACM Transactions on Architecture and Code Optimization;2022-03-24