465 citations · 992 across the 50 of their papers we have counts for
5 papers · 1 filter
Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector Evaluation
Wuqi Zhang, Lili Wei, Shing-Chi Cheung +4
Front-running attacks have been a major concern on the blockchain. Attackers launch front-running attacks by inserting additional transactions before upcoming victim transactions t…
Fuzzing Deep Learning Compilers with HirGen
Haoyang Ma, Qingchao Shen, Yongqiang Tian +2
Deep Learning (DL) compilers are widely adopted to optimize advanced DL models for efficient deployment on diverse hardware. Their quality has profound effect on the quality of com…
COMET: Coverage-guided Model Generation For Deep Learning Library Testing
Meiziniu Li, Jialun Cao, Yongqiang Tian +3
Recent deep learning (DL) applications are mostly built on top of DL libraries. The quality assurance of these libraries is critical to the dependable deployment of DL applications…
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs
Jialun Cao, Meiziniu Li, Xiao Chen +4
As Deep Learning (DL) systems are widely deployed for mission-critical applications, debugging such systems becomes essential. Most existing works identify and repair suspicious ne…
Aper: Evolution-Aware Runtime Permission Misuse Detection for Android Apps
Sinan Wang, Yibo Wang, Xian Zhan +4
The Android platform introduces the runtime permission model in version 6.0. The new model greatly improves data privacy and user experience, but brings new challenges for app deve…