Hui Xu

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 33

Top Topics

Incident Management

Symbolic Execution

Top Venues

ACM Trans. Softw. Eng. Methodol.

ESEC/SIGSOFT FSE

Publications

Mohan Cui, Shuran Sun, Hui Xu, Yangfan Zhou
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming. ICSE (2024)
Yan Dong, Zhicong Zhang, Mohan Cui, Hui Xu
SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation-based approach. Softw. Test. Verification Reliab. 34 (5) (2024)
Bohan Zhang, Lishan Yang, Guanpeng Li, Hui Xu
Investigating the Impact of High-Level Software Design on Low-Level Hardware Fault Resilience. DSN-S (2023)
Zhengyang He, Yafan Huang, Hui Xu, Dingwen Tao, Guanpeng Li
Demystifying and Mitigating Cross-Layer Deficiencies of Soft Error Protection in Instruction Duplication. SC (2023)
Mohan Cui, Chengjun Chen, Hui Xu, Yangfan Zhou
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis. ACM Trans. Softw. Eng. Methodol. 32 (4) (2023)
Mohan Cui, Suran Sun, Hui Xu, Yangfan Zhou
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming. CoRR (2023)
Mohan Cui, Suran Sun, Hui Xu, Yangfan Zhou
rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust. CoRR (2023)
Chengjun Chen, Zhicong Zhang, Hongliang Tian, Shoumeng Yan, Hui Xu
OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach. ESEC/SIGSOFT FSE (2023)
Hui Xu, Zhuangbin Chen, Mingshen Sun, Yangfan Zhou, Michael R. Lyu
Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs. ACM Trans. Softw. Eng. Methodol. 31 (1) (2022)
Hui Xu
Rust Library Fuzzing. IEEE Softw. 39 (5) (2022)
Xiuwen Lu, Zhicong Zhang, Hui Xu
Safe Rust Code Recommendation Based on Siamese Graph Neural Network. PRDC (2022)
Mohan Cui, Chengjun Chen, Hui Xu, Yangfan Zhou
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis. CoRR (2021)
Sicheng Luo, Hui Xu, Yanxiang Bi, Xin Wang, Yangfan Zhou
Boosting symbolic execution via constraint solving time prediction (experience paper). ISSTA (2021)
Jianfeng Jiang, Hui Xu, Yangfan Zhou
RULF: Rust Library Fuzzing via API Dependency Graph Traversal. ASE (2021)
Jianfeng Jiang, Hui Xu, Yangfan Zhou
RULF: Rust Library Fuzzing via API Dependency Graph Traversal. CoRR (2021)
Hui Xu, Zirui Zhao, Yangfan Zhou, Michael R. Lyu
Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs. IEEE Trans. Dependable Secur. Comput. 17 (6) (2020)
Zhuangbin Chen, Yu Kang, Liqun Li, Xu Zhang, Hongyu Zhang, Hui Xu, Yangfan Zhou, Li Yang, Jeffrey Sun, Zhangwei Xu, Yingnong Dang, Feng Gao, Pu Zhao, Bo Qiao, Qingwei Lin, Dongmei Zhang, Michael R. Lyu
Towards intelligent incident management: why we need it and how we make it. ESEC/SIGSOFT FSE (2020)
Hui Xu, Yangfan Zhou, Jiang Ming, Michael R. Lyu
Layered obfuscation: a taxonomy of software obfuscation techniques for layered security. Cybersecur. 3 (1) (2020)
Hui Xu, Zhuangbin Chen, Mingshen Sun, Yangfan Zhou
Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs. CoRR (2020)
Jiazhen Gu, Huanlin Xu, Yangfan Zhou, Xin Wang, Hui Xu, Michael R. Lyu
Detecting Deep Neural Network Defects with Data Flow Analysis. CoRR (2019)
Yaohui Wang, Hui Xu, Yangfan Zhou, Michael R. Lyu, Xin Wang
Textout: Detecting Text-Layout Bugs in Mobile Apps via Visualization-Oriented Learning. ISSRE (2019)
Hui Xu, Zhuangbin Chen, Weibin Wu, Zhi Jin, Sy-Yen Kuo, Michael R. Lyu
NV-DNN: Towards Fault-Tolerant DNN Systems with N-Version Programming. DSN Workshops (2019)
Weibin Wu, Hui Xu, Sanqiang Zhong, Michael R. Lyu, Irwin King
Deep Validation: Toward Detecting Real-World Corner Cases for Deep Neural Networks. DSN (2019)
Hui Xu, Yangfan Zhou, Yu Kang, Fengzhi Tu, Michael R. Lyu
Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution. DSN (2018)
Hui Xu, Yuxin Su, Zirui Zhao, Yangfan Zhou, Michael R. Lyu, Irwin King
DeepObfuscation: Securing the Structure of Convolutional Neural Networks via Knowledge Distillation. CoRR (2018)
Hui Xu, Zirui Zhao, Yangfan Zhou, Michael R. Lyu
On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs. CoRR (2017)
Hui Xu, Yangfan Zhou, Yu Kang, Michael R. Lyu
Concolic Execution on Small-Size Binaries: Challenges and Empirical Study. DSN (2017)
Hui Xu, Yangfan Zhou, Yu Kang, Michael R. Lyu
On Secure and Usable Program Obfuscation: A Survey. CoRR (2017)
Cuiyun Gao, Yichuan Man, Hui Xu, Jieming Zhu, Yangfan Zhou, Michael R. Lyu
IntelliAd: assisting mobile app developers in measuring ad costs automatically. ICSE (Companion Volume) (2017)
Hui Xu, Yangfan Zhou, Michael R. Lyu
N-version Obfuscation. CPSS@AsiaCCS (2016)
Cuiyun Gao, Hui Xu, Yichuan Man, Yangfan Zhou, Michael R. Lyu
IntelliAd Understanding In-APP Ad Costs From Users Perspective. CoRR (2016)
Yu Kang, Yangfan Zhou, Hui Xu, Michael R. Lyu
DiagDroid: Android performance diagnosis via anatomizing asynchronous executions. SIGSOFT FSE (2016)
Hui Xu, Michael R. Lyu
Assessing the Security Properties of Software Obfuscation. IEEE Secur. Priv. 14 (5) (2016)
Yu Kang, Yangfan Zhou, Hui Xu, Michael R. Lyu
PersisDroid: Android Performance Diagnosis via Anatomizing Asynchronous Executions. CoRR (2015)
Cuiyun Gao, Hui Xu, Junjie Hu, Yangfan Zhou
AR-Tracker: Track the Dynamics of Mobile Apps via User Review Mining. SOSE (2015)
Hui Xu, Yangfan Zhou, Michael R. Lyu
N-Version Obfuscation: Impeding Software Tampering Replication with Program Diversity. CoRR (2015)
Hui Xu, Yangfan Zhou, Cuiyun Gao, Yu Kang, Michael R. Lyu
SpyAware: Investigating the privacy leakage signatures in app execution traces. ISSRE (2015)
Hui Xu, Yangfan Zhou, Michael R. Lyu
Towards Continuous and Passive Authentication via Touch Biometrics: An Experimental Study on Smartphones. SOUPS (2014)