Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis.
Dongjie HeHaofeng LiLei WangHaining MengHengjie ZhengJie LiuShuangwei HuLian LiJingling XuePublished in: ASE (2019)
Keyphrases
- learning algorithm
- detection algorithm
- selection algorithm
- worst case
- cost function
- objective function
- high accuracy
- search space
- np hard
- dynamic programming
- experimental evaluation
- machine learning
- classification algorithm
- probabilistic model
- optimal solution
- computational cost
- k means
- lower bound
- theoretical analysis
- segmentation algorithm
- optimization algorithm
- search algorithm
- matching algorithm
- times faster
- recognition algorithm
- neural network