42 citations · 194 across the 14 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.SE2021★ 10 cited
Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications
Yongqiang Tian, Wuqi Zhang, Ming Wen +4
Model compression can significantly reduce the sizes of deep neural network (DNN) models, and thus facilitates the dissemination of sophisticated, sizable DNN models, especially fo…
cs.SE2021★ 2 cited
Characterizing and Detecting Configuration Compatibility Issues in Android Apps
Huaxun Huang, Ming Wen, Lili Wei +2
XML configuration files are widely used in Android to define an app's user interface and essential runtime information such as system permissions. As Android evolves, it might intr…
cs.CR2021
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts
Lu Liu, Lili Wei, Wuqi Zhang +3
Smart contracts are programs running on blockchain to execute transactions. When input constraints or security properties are violated at runtime, the transaction being executed by…