Hui Xu

47 papers A* 2A 10C 1Journal 23Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
RuMono: Fuzz Driver Synthesis for Rust Generic APIs.
ACM Trans. Softw. Eng. Methodol.
Yehong Zhang, Jun Wu, Hui Xu
2024 A conf
A Fast Low-Level Error Detection Technique.
DSN
Zhengyang He, Hui Xu, Guanpeng Li
2024 J jnl
Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties.
CoRR
Mohan Cui, Penglei Mao, Shuran Sun, Yangfan Zhou, Hui Xu
2024 A* conf
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming.
ICSE
Mohan Cui, Shuran Sun, Hui Xu, Yangfan Zhou
2024 J jnl
SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation-based approach.
Softw. Test. Verification Reliab.
Yan Dong, Zhicong Zhang, Mohan Cui, Hui Xu
2024 J jnl
rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in Rust.
IEEE Trans. Software Eng.
Mohan Cui, Hui Xu, Hongliang Tian, Yangfan Zhou
2023 A conf
Demystifying and Mitigating Cross-Layer Deficiencies of Soft Error Protection in Instruction Duplication.
SC
Zhengyang He, Yafan Huang, Hui Xu, Dingwen Tao, Guanpeng Li
2023 — conf
Investigating the Impact of High-Level Software Design on Low-Level Hardware Fault Resilience.
DSN-S
Bohan Zhang, Lishan Yang, Guanpeng Li, Hui Xu
2023 J jnl
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming.
CoRR
Mohan Cui, Suran Sun, Hui Xu, Yangfan Zhou
2023 A conf
Mind Your Enclave Pointers! Detecting Privacy Leaks for SGX Apps via Sparse Taint Analysis.
ISSRE
Yang Chen, Jianfeng Jiang, Shoumeng Yan, Hui Xu
2023 — conf
OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach.
ESEC/SIGSOFT FSE
Chengjun Chen, Zhicong Zhang, Hongliang Tian, Shoumeng Yan, Hui Xu
2023 J jnl
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.
ACM Trans. Softw. Eng. Methodol.
Mohan Cui, Chengjun Chen, Hui Xu, Yangfan Zhou
2023 J jnl
rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust.
CoRR
Mohan Cui, Suran Sun, Hui Xu, Yangfan Zhou
2022 — conf
Automated Test Case Generation from Input Specification in Natural Language.
ISSRE Workshops
Tianyu Li, Xiuwen Lu, Hui Xu
2022 — conf
LegoAI: Towards Building Reliable AI Software for Real-world Applications.
ISSRE Workshops
Mengyuan Hou, Hui Xu
2022 J jnl
Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs.
ACM Trans. Softw. Eng. Methodol.
Hui Xu, Zhuangbin Chen, Mingshen Sun, Yangfan Zhou, Michael R. Lyu
2022 J jnl
Rust Library Fuzzing.
IEEE Softw.
Hui Xu
2022 J jnl
STELLA: Sparse Taint Analysis for Enclave Leakage Detection.
CoRR
Yang Chen, Jianfeng Jiang, Shoumeng Yan, Hui Xu
2022 C conf
Safe Rust Code Recommendation Based on Siamese Graph Neural Network.
PRDC
Xiuwen Lu, Zhicong Zhang, Hui Xu
2021 A conf
Boosting symbolic execution via constraint solving time prediction (experience paper).
ISSTA
Sicheng Luo, Hui Xu, Yanxiang Bi, Xin Wang, Yangfan Zhou
2021 — conf
Fourth International Workshop on Dependable and Secure Machine Learning - DSML 2021.
DSN Workshops
Hui Xu, Guanpeng Li, Homa Alemzadeh, Rakesh Bobba, Varun Chandrasekaran, David E. Evans, Nicolas Papernot, Karthik Pattabiraman, Florian Tramèr
2021 A* conf
RULF: Rust Library Fuzzing via API Dependency Graph Traversal.
ASE
Jianfeng Jiang, Hui Xu, Yangfan Zhou
2021 J jnl
RULF: Rust Library Fuzzing via API Dependency Graph Traversal.
CoRR
Jianfeng Jiang, Hui Xu, Yangfan Zhou
2021 J jnl
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis.
CoRR
Mohan Cui, Chengjun Chen, Hui Xu, Yangfan Zhou
2020 J jnl
Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs.
IEEE Trans. Dependable Secur. Comput.
Hui Xu, Zirui Zhao, Yangfan Zhou, Michael R. Lyu
2020 J jnl
Layered obfuscation: a taxonomy of software obfuscation techniques for layered security.
Cybersecur.
Hui Xu, Yangfan Zhou, Jiang Ming, Michael R. Lyu
2020 J jnl
Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs.
CoRR
Hui Xu, Zhuangbin Chen, Mingshen Sun, Yangfan Zhou
2020 — conf
Towards intelligent incident management: why we need it and how we make it.
ESEC/SIGSOFT FSE
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
2019 A conf
Deep Validation: Toward Detecting Real-World Corner Cases for Deep Neural Networks.
DSN
Weibin Wu, Hui Xu, Sanqiang Zhong, Michael R. Lyu, Irwin King
2019 J jnl
Detecting Deep Neural Network Defects with Data Flow Analysis.
CoRR
Jiazhen Gu, Huanlin Xu, Yangfan Zhou, Xin Wang, Hui Xu, Michael R. Lyu
2019 — conf
NV-DNN: Towards Fault-Tolerant DNN Systems with N-Version Programming.
DSN Workshops
Hui Xu, Zhuangbin Chen, Weibin Wu, Zhi Jin, Sy-Yen Kuo, Michael R. Lyu
2019 A conf
Textout: Detecting Text-Layout Bugs in Mobile Apps via Visualization-Oriented Learning.
ISSRE
Yaohui Wang, Hui Xu, Yangfan Zhou, Michael R. Lyu, Xin Wang
2018 J jnl
DeepObfuscation: Securing the Structure of Convolutional Neural Networks via Knowledge Distillation.
CoRR
Hui Xu, Yuxin Su, Zirui Zhao, Yangfan Zhou, Michael R. Lyu, Irwin King
2018 A conf
Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution.
DSN
Hui Xu, Yangfan Zhou, Yu Kang, Fengzhi Tu, Michael R. Lyu
2017 A conf
Concolic Execution on Small-Size Binaries: Challenges and Empirical Study.
DSN
Hui Xu, Yangfan Zhou, Yu Kang, Michael R. Lyu
2017 — conf
IntelliAd: assisting mobile app developers in measuring ad costs automatically.
ICSE (Companion Volume)
Cuiyun Gao, Yichuan Man, Hui Xu, Jieming Zhu, Yangfan Zhou, Michael R. Lyu
2017 J jnl
On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs.
CoRR
Hui Xu, Zirui Zhao, Yangfan Zhou, Michael R. Lyu
2017 J jnl
On Secure and Usable Program Obfuscation: A Survey.
CoRR
Hui Xu, Yangfan Zhou, Yu Kang, Michael R. Lyu
2016 J jnl
Assessing the Security Properties of Software Obfuscation.
IEEE Secur. Priv.
Hui Xu, Michael R. Lyu
2016 — conf
DiagDroid: Android performance diagnosis via anatomizing asynchronous executions.
SIGSOFT FSE
Yu Kang, Yangfan Zhou, Hui Xu, Michael R. Lyu
2016 J jnl
IntelliAd Understanding In-APP Ad Costs From Users Perspective.
CoRR
Cuiyun Gao, Hui Xu, Yichuan Man, Yangfan Zhou, Michael R. Lyu
2016 — conf
N-version Obfuscation.
CPSS@AsiaCCS
Hui Xu, Yangfan Zhou, Michael R. Lyu
2015 — conf
AR-Tracker: Track the Dynamics of Mobile Apps via User Review Mining.
SOSE
Cuiyun Gao, Hui Xu, Junjie Hu, Yangfan Zhou
2015 J jnl
N-Version Obfuscation: Impeding Software Tampering Replication with Program Diversity.
CoRR
Hui Xu, Yangfan Zhou, Michael R. Lyu
2015 J jnl
PersisDroid: Android Performance Diagnosis via Anatomizing Asynchronous Executions.
CoRR
Yu Kang, Yangfan Zhou, Hui Xu, Michael R. Lyu
2015 A conf
SpyAware: Investigating the privacy leakage signatures in app execution traces.
ISSRE
Hui Xu, Yangfan Zhou, Cuiyun Gao, Yu Kang, Michael R. Lyu
2014 A conf
Towards Continuous and Passive Authentication via Touch Biometrics: An Experimental Study on Smartphones.
SOUPS
Hui Xu, Yangfan Zhou, Michael R. Lyu