465 citations · 992 across the 50 of their papers we have counts for
6 papers · 1 filter
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…
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…
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…
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward
Ying Wang, Yibo Wang, Sinan Wang +5
Android introduces a new permission model that allows apps to request permissions at runtime rather than at the installation time since 6.0 (Marshmallow, API level 23). While this…
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications
Wuqi Zhang, Lili Wei, Shuqing Li +2
Since the emergence of Ethereum, blockchain-based decentralized applications (DApps) have become increasingly popular and important. To balance the security, performance, and costs…
Hero: On the Chaos When PATH Meets Modules
Ying Wang, Liang Qiao, Chang Xu +5
Ever since its first release in 2009, the Go programming language (Golang) has been well received by software communities. A major reason for its success is the powerful support of…