21 citations · 105 across the 25 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.SE2017★ 3 cited
On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
Hui Xu, Zirui Zhao, Yangfan Zhou +1
Symbolic execution now becomes an indispensable technique for software testing and program analysis. There are several symbolic execution tools available off-the-shelf, and we need…
cs.CR2017★ 18 cited
On Secure and Usable Program Obfuscation: A Survey
Hui Xu, Yangfan Zhou, Yu Kang +1
Program obfuscation is a widely employed approach for software intellectual property protection. However, general obfuscation methods (e.g., lexical obfuscation, control obfuscatio…
cs.SE2017★ 21 cited
DeepProf: Performance Analysis for Deep Learning Applications via Mining GPU Execution Patterns
Jiazhen Gu, Huan Liu, Yangfan Zhou +1
Deep learning applications are computation-intensive and often employ GPU as the underlying computing devices. Deep learning frameworks provide powerful programming interfaces, but…