Author:
Singh Gagandeep,Püschel Markus,Vechev Martin
Publisher
Springer International Publishing
Reference25 articles.
1. ELINA: ETH Library for Numerical Analysis. http://elina.ethz.ch
2. Lecture Notes in Computer Science;R Bagnara,2003
3. Lecture Notes in Computer Science;D Beyer,2016
4. Chae, K., Oh, H., Heo, K., Yang, H.: Automatically generating features for learning program analysis heuristics for C-like languages. Proc. ACM Program. Lang. 1(OOPSLA), 101:1–101:25 (2017)
5. Lecture Notes in Computer Science;G Gange,2016
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning Abstraction Selection for Bayesian Program Analysis;Proceedings of the ACM on Programming Languages;2024-04-29
2. Learning to Boost Disjunctive Static Bug-Finders;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
3. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces;Programming Languages and Systems;2023
4. “Fixing” the Specification of Widenings;Intelligent Systems Reference Library;2023
5. A Survey of Parametric Static Analysis;ACM Computing Surveys;2022-09-30