Author:
Su Yu,Ye Ding,Xue Jingling,Liao Xiang-Ke
Funder
Australian Research Council
National Natural Science Foundation of China
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Signal Processing
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Parallel Memory Defect Detection Method based on Sparse-Value-Flow Graph;2023 IEEE International Conference on Joint Cloud Computing (JCC);2023-07
2. Value-Flow-Based Demand-Driven Pointer Analysis for C and C++;IEEE Transactions on Software Engineering;2020-08-01
3. GPU-Based Static Data-Flow Analysis for Fast and Scalable Android App Vetting;2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS);2020-05
4. Path Querying with Conjunctive Grammars by Matrix Multiplication;Programming and Computer Software;2019-12
5. GPU-accelerated fixpoint algorithms for faster compiler analyses;Proceedings of the 28th International Conference on Compiler Construction - CC 2019;2019