default search action
BibTeX records: Hui Xu 0009
@article{DBLP:journals/tosem/ZhangWX25,
author = {Yehong Zhang and
Jun Wu and
Hui Xu},
title = {RuMono: Fuzz Driver Synthesis for Rust Generic APIs},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {34},
number = {6},
pages = {169:1--169:28},
year = {2025}
}
@article{DBLP:journals/stvr/DongZCX24,
author = {Yan Dong and
Zhicong Zhang and
Mohan Cui and
Hui Xu},
title = {SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation-based
approach},
journal = {Softw. Test. Verification Reliab.},
volume = {34},
number = {5},
year = {2024}
}
@article{DBLP:journals/tse/CuiXTZ24,
author = {Mohan Cui and
Hui Xu and
Hongliang Tian and
Yangfan Zhou},
title = {rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management
Boundary in Rust},
journal = {{IEEE} Trans. Software Eng.},
volume = {50},
number = {9},
pages = {2472--2484},
year = {2024}
}
@inproceedings{DBLP:conf/dsn/HeXL24,
author = {Zhengyang He and
Hui Xu and
Guanpeng Li},
title = {A Fast Low-Level Error Detection Technique},
booktitle = {{DSN}},
pages = {90--98},
publisher = {{IEEE}},
year = {2024}
}
@inproceedings{DBLP:conf/icse/CuiS0Z24,
author = {Mohan Cui and
Shuran Sun and
Hui Xu and
Yangfan Zhou},
title = {Is unsafe an Achilles' Heel? {A} Comprehensive Study of Safety Requirements
in Unsafe Rust Programming},
booktitle = {{ICSE}},
pages = {106:1--106:13},
publisher = {{ACM}},
year = {2024}
}
@article{DBLP:journals/corr/abs-2412-06251,
author = {Mohan Cui and
Penglei Mao and
Shuran Sun and
Yangfan Zhou and
Hui Xu},
title = {Fearless Unsafe. {A} More User-friendly Document for Unsafe Rust Programming
Base on Refined Safety Properties},
journal = {CoRR},
volume = {abs/2412.06251},
year = {2024}
}
@article{DBLP:journals/tosem/CuiCXZ23,
author = {Mohan Cui and
Chengjun Chen and
Hui Xu and
Yangfan Zhou},
title = {SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via
Static Data-flow Analysis},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {32},
number = {4},
pages = {82:1--82:21},
year = {2023}
}
@inproceedings{DBLP:conf/dsn/ZhangYLX23,
author = {Bohan Zhang and
Lishan Yang and
Guanpeng Li and
Hui Xu},
title = {Investigating the Impact of High-Level Software Design on Low-Level
Hardware Fault Resilience},
booktitle = {{DSN-S}},
pages = {163--167},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/issre/ChenJYX23,
author = {Yang Chen and
Jianfeng Jiang and
Shoumeng Yan and
Hui Xu},
title = {Mind Your Enclave Pointers! Detecting Privacy Leaks for {SGX} Apps
via Sparse Taint Analysis},
booktitle = {{ISSRE}},
pages = {24--35},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/sc/HeH0TL23,
author = {Zhengyang He and
Yafan Huang and
Hui Xu and
Dingwen Tao and
Guanpeng Li},
title = {Demystifying and Mitigating Cross-Layer Deficiencies of Soft Error
Protection in Instruction Duplication},
booktitle = {{SC}},
pages = {86:1--86:13},
publisher = {{ACM}},
year = {2023}
}
@inproceedings{DBLP:conf/sigsoft/ChenZTY023,
author = {Chengjun Chen and
Zhicong Zhang and
Hongliang Tian and
Shoumeng Yan and
Hui Xu},
title = {OOM-Guard: Towards Improving the Ergonomics of Rust {OOM} Handling
via a Reservation-Based Approach},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {733--744},
publisher = {{ACM}},
year = {2023}
}
@article{DBLP:journals/corr/abs-2308-04785,
author = {Mohan Cui and
Suran Sun and
Hui Xu and
Yangfan Zhou},
title = {Is unsafe an Achilles' Heel? {A} Comprehensive Study of Safety Requirements
in Unsafe Rust Programming},
journal = {CoRR},
volume = {abs/2308.04785},
year = {2023}
}
@article{DBLP:journals/corr/abs-2308-04787,
author = {Mohan Cui and
Suran Sun and
Hui Xu and
Yangfan Zhou},
title = {rCanary: Detecting Memory Leaks Across Semi-automated Memory Management
Boundary in Rust},
journal = {CoRR},
volume = {abs/2308.04787},
year = {2023}
}
@article{DBLP:journals/software/Xu22,
author = {Hui Xu},
title = {Rust Library Fuzzing},
journal = {{IEEE} Softw.},
volume = {39},
number = {5},
pages = {105--108},
year = {2022}
}
@article{DBLP:journals/tosem/XuCSZL22,
author = {Hui Xu and
Zhuangbin Chen and
Mingshen Sun and
Yangfan Zhou and
Michael R. Lyu},
title = {Memory-Safety Challenge Considered Solved? An In-Depth Study with
All Rust CVEs},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {31},
number = {1},
pages = {3:1--3:25},
year = {2022}
}
@inproceedings{DBLP:conf/issre/HouX22,
author = {Mengyuan Hou and
Hui Xu},
title = {LegoAI: Towards Building Reliable {AI} Software for Real-world Applications},
booktitle = {{ISSRE} Workshops},
pages = {122--123},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/issre/LiLX22,
author = {Tianyu Li and
Xiuwen Lu and
Hui Xu},
title = {Automated Test Case Generation from Input Specification in Natural
Language},
booktitle = {{ISSRE} Workshops},
pages = {258--261},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/prdc/LuZX22,
author = {Xiuwen Lu and
Zhicong Zhang and
Hui Xu},
title = {Safe Rust Code Recommendation Based on Siamese Graph Neural Network},
booktitle = {{PRDC}},
pages = {1--11},
publisher = {{IEEE}},
year = {2022}
}
@article{DBLP:journals/corr/abs-2208-04719,
author = {Yang Chen and
Jianfeng Jiang and
Shoumeng Yan and
Hui Xu},
title = {{STELLA:} Sparse Taint Analysis for Enclave Leakage Detection},
journal = {CoRR},
volume = {abs/2208.04719},
year = {2022}
}
@inproceedings{DBLP:conf/dsn/XuLABCEPPT21,
author = {Hui Xu and
Guanpeng Li and
Homa Alemzadeh and
Rakesh Bobba and
Varun Chandrasekaran and
David E. Evans and
Nicolas Papernot and
Karthik Pattabiraman and
Florian Tram{\`{e}}r},
title = {Fourth International Workshop on Dependable and Secure Machine Learning
- {DSML} 2021},
booktitle = {{DSN} Workshops},
pages = {xvi},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/issta/LuoXBWZ21,
author = {Sicheng Luo and
Hui Xu and
Yanxiang Bi and
Xin Wang and
Yangfan Zhou},
title = {Boosting symbolic execution via constraint solving time prediction
(experience paper)},
booktitle = {{ISSTA}},
pages = {336--347},
publisher = {{ACM}},
year = {2021}
}
@inproceedings{DBLP:conf/kbse/Jiang0Z21,
author = {Jianfeng Jiang and
Hui Xu and
Yangfan Zhou},
title = {{RULF:} Rust Library Fuzzing via {API} Dependency Graph Traversal},
booktitle = {{ASE}},
pages = {581--592},
publisher = {{IEEE}},
year = {2021}
}
@article{DBLP:journals/corr/abs-2103-15420,
author = {Mohan Cui and
Chengjun Chen and
Hui Xu and
Yangfan Zhou},
title = {SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via
Static Data-Flow Analysis},
journal = {CoRR},
volume = {abs/2103.15420},
year = {2021}
}
@article{DBLP:journals/corr/abs-2104-12064,
author = {Jianfeng Jiang and
Hui Xu and
Yangfan Zhou},
title = {{RULF:} Rust Library Fuzzing via {API} Dependency Graph Traversal},
journal = {CoRR},
volume = {abs/2104.12064},
year = {2021}
}
@article{DBLP:journals/cybersec/XuZML20,
author = {Hui Xu and
Yangfan Zhou and
Jiang Ming and
Michael R. Lyu},
title = {Layered obfuscation: a taxonomy of software obfuscation techniques
for layered security},
journal = {Cybersecur.},
volume = {3},
number = {1},
pages = {9},
year = {2020}
}
@article{DBLP:journals/tdsc/XuZZL20,
author = {Hui Xu and
Zirui Zhao and
Yangfan Zhou and
Michael R. Lyu},
title = {Benchmarking the Capability of Symbolic Execution Tools with Logic
Bombs},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {17},
number = {6},
pages = {1243--1256},
year = {2020}
}
@inproceedings{DBLP:conf/sigsoft/ChenKLZZXZYSXDG20,
author = {Zhuangbin Chen and
Yu Kang and
Liqun Li and
Xu Zhang and
Hongyu Zhang and
Hui Xu and
Yangfan Zhou and
Li Yang and
Jeffrey Sun and
Zhangwei Xu and
Yingnong Dang and
Feng Gao and
Pu Zhao and
Bo Qiao and
Qingwei Lin and
Dongmei Zhang and
Michael R. Lyu},
title = {Towards intelligent incident management: why we need it and how we
make it},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {1487--1497},
publisher = {{ACM}},
year = {2020}
}
@article{DBLP:journals/corr/abs-2003-03296,
author = {Hui Xu and
Zhuangbin Chen and
Mingshen Sun and
Yangfan Zhou},
title = {Memory-Safety Challenge Considered Solved? An Empirical Study with
All Rust CVEs},
journal = {CoRR},
volume = {abs/2003.03296},
year = {2020}
}
@inproceedings{DBLP:conf/dsn/XuCWJKL19,
author = {Hui Xu and
Zhuangbin Chen and
Weibin Wu and
Zhi Jin and
Sy{-}Yen Kuo and
Michael R. Lyu},
title = {{NV-DNN:} Towards Fault-Tolerant {DNN} Systems with N-Version Programming},
booktitle = {{DSN} Workshops},
pages = {44--47},
publisher = {{IEEE}},
year = {2019}
}
@inproceedings{DBLP:conf/dsn/WuXZLK19,
author = {Weibin Wu and
Hui Xu and
Sanqiang Zhong and
Michael R. Lyu and
Irwin King},
title = {Deep Validation: Toward Detecting Real-World Corner Cases for Deep
Neural Networks},
booktitle = {{DSN}},
pages = {125--137},
publisher = {{IEEE}},
year = {2019}
}
@inproceedings{DBLP:conf/issre/WangXZLW19,
author = {Yaohui Wang and
Hui Xu and
Yangfan Zhou and
Michael R. Lyu and
Xin Wang},
title = {Textout: Detecting Text-Layout Bugs in Mobile Apps via Visualization-Oriented
Learning},
booktitle = {{ISSRE}},
pages = {239--249},
publisher = {{IEEE}},
year = {2019}
}
@article{DBLP:journals/corr/abs-1909-02190,
author = {Jiazhen Gu and
Huanlin Xu and
Yangfan Zhou and
Xin Wang and
Hui Xu and
Michael R. Lyu},
title = {Detecting Deep Neural Network Defects with Data Flow Analysis},
journal = {CoRR},
volume = {abs/1909.02190},
year = {2019}
}
@inproceedings{DBLP:conf/dsn/XuZKTL18,
author = {Hui Xu and
Yangfan Zhou and
Yu Kang and
Fengzhi Tu and
Michael R. Lyu},
title = {Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution},
booktitle = {{DSN}},
pages = {666--677},
publisher = {{IEEE} Computer Society},
year = {2018}
}
@article{DBLP:journals/corr/abs-1806-10313,
author = {Hui Xu and
Yuxin Su and
Zirui Zhao and
Yangfan Zhou and
Michael R. Lyu and
Irwin King},
title = {DeepObfuscation: Securing the Structure of Convolutional Neural Networks
via Knowledge Distillation},
journal = {CoRR},
volume = {abs/1806.10313},
year = {2018}
}
@inproceedings{DBLP:conf/dsn/XuZKL17,
author = {Hui Xu and
Yangfan Zhou and
Yu Kang and
Michael R. Lyu},
title = {Concolic Execution on Small-Size Binaries: Challenges and Empirical
Study},
booktitle = {{DSN}},
pages = {181--188},
publisher = {{IEEE} Computer Society},
year = {2017}
}
@inproceedings{DBLP:conf/icse/GaoMXZZL17,
author = {Cuiyun Gao and
Yichuan Man and
Hui Xu and
Jieming Zhu and
Yangfan Zhou and
Michael R. Lyu},
title = {IntelliAd: assisting mobile app developers in measuring ad costs automatically},
booktitle = {{ICSE} (Companion Volume)},
pages = {253--255},
publisher = {{IEEE} Computer Society},
year = {2017}
}
@article{DBLP:journals/corr/abs-1710-01139,
author = {Hui Xu and
Yangfan Zhou and
Yu Kang and
Michael R. Lyu},
title = {On Secure and Usable Program Obfuscation: {A} Survey},
journal = {CoRR},
volume = {abs/1710.01139},
year = {2017}
}
@article{DBLP:journals/corr/abs-1712-01674,
author = {Hui Xu and
Zirui Zhao and
Yangfan Zhou and
Michael R. Lyu},
title = {On Benchmarking the Capability of Symbolic Execution Tools with Logic
Bombs},
journal = {CoRR},
volume = {abs/1712.01674},
year = {2017}
}
@article{DBLP:journals/ieeesp/XuL16,
author = {Hui Xu and
Michael R. Lyu},
title = {Assessing the Security Properties of Software Obfuscation},
journal = {{IEEE} Secur. Priv.},
volume = {14},
number = {5},
pages = {80--83},
year = {2016}
}
@inproceedings{DBLP:conf/ccs/XuZL16,
author = {Hui Xu and
Yangfan Zhou and
Michael R. Lyu},
title = {N-version Obfuscation},
booktitle = {CPSS@AsiaCCS},
pages = {22--33},
publisher = {{ACM}},
year = {2016}
}
@inproceedings{DBLP:conf/sigsoft/KangZXL16,
author = {Yu Kang and
Yangfan Zhou and
Hui Xu and
Michael R. Lyu},
title = {DiagDroid: Android performance diagnosis via anatomizing asynchronous
executions},
booktitle = {{SIGSOFT} {FSE}},
pages = {410--421},
publisher = {{ACM}},
year = {2016}
}
@article{DBLP:journals/corr/GaoXMZL16,
author = {Cuiyun Gao and
Hui Xu and
Yichuan Man and
Yangfan Zhou and
Michael R. Lyu},
title = {IntelliAd Understanding In-APP Ad Costs From Users Perspective},
journal = {CoRR},
volume = {abs/1607.03575},
year = {2016}
}
@inproceedings{DBLP:conf/issre/XuZGKL15,
author = {Hui Xu and
Yangfan Zhou and
Cuiyun Gao and
Yu Kang and
Michael R. Lyu},
title = {SpyAware: Investigating the privacy leakage signatures in app execution
traces},
booktitle = {{ISSRE}},
pages = {348--358},
publisher = {{IEEE} Computer Society},
year = {2015}
}
@inproceedings{DBLP:conf/sose/GaoXHZ15,
author = {Cuiyun Gao and
Hui Xu and
Junjie Hu and
Yangfan Zhou},
title = {AR-Tracker: Track the Dynamics of Mobile Apps via User Review Mining},
booktitle = {{SOSE}},
pages = {284--290},
publisher = {{IEEE} Computer Society},
year = {2015}
}
@article{DBLP:journals/corr/XuZL15,
author = {Hui Xu and
Yangfan Zhou and
Michael R. Lyu},
title = {N-Version Obfuscation: Impeding Software Tampering Replication with
Program Diversity},
journal = {CoRR},
volume = {abs/1506.03032},
year = {2015}
}
@article{DBLP:journals/corr/KangZXL15,
author = {Yu Kang and
Yangfan Zhou and
Hui Xu and
Michael R. Lyu},
title = {PersisDroid: Android Performance Diagnosis via Anatomizing Asynchronous
Executions},
journal = {CoRR},
volume = {abs/1512.07950},
year = {2015}
}
@inproceedings{DBLP:conf/soups/XuZL14,
author = {Hui Xu and
Yangfan Zhou and
Michael R. Lyu},
title = {Towards Continuous and Passive Authentication via Touch Biometrics:
An Experimental Study on Smartphones},
booktitle = {{SOUPS}},
pages = {187--198},
publisher = {{USENIX} Association},
year = {2014}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-17 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: