Author:
Bravenboer Martin,Smaragdakis Yannis
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
2. Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis;IEEE Transactions on Software Engineering;2023-02-01
3. Exception Analysis for Errors Detection in the SharpChecker Static Analyzer for C#;2021 Ivannikov Ispras Open Conference (ISPRAS);2021-12
4. Context Debloating for Object-Sensitive Pointer Analysis;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
5. SCAF: a speculation-aware collaborative dependence analysis framework;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06