Affiliation:
1. Georgia Institute of Technology
2. Oxford University
Funder
National Science Foundation
Engineering and Physical Sciences Research Council
Defense Advanced Research Projects Agency
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning Abstraction Selection for Bayesian Program Analysis;Proceedings of the ACM on Programming Languages;2024-04-29
2. Program Repair Guided by Datalog-Defined Static Analysis;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
3. DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
5. Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs;Proceedings of the ACM on Programming Languages;2022-01-12