Home

Publications

Artisan-Lab

Pictures

Misc

Publications (chronological order)

2024

• “rCanary: Detecting memory leaks across semi-automated memory management boundary in Rust”, Mohan Cui, Hui Xu, Hongliang Tian, Yangfan Zhou, IEEE Transactions on Software Engineering (to appear), 2024. (corresponding author)

• “A fast low-level error detection technique (PER)”, Zhengyang He, Hui Xu, Guanpeng Li, The 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2024

• “Is unsafe an Achilles’ Heel? A comprehensive study of safety requirements in unsafe Rust programming”, Mohan Cui, Shuran Sun, Yangfan Zhou, Hui Xu, 46th International Conference on Software Engineering(ICSE), Lisbon, Portugal, April 12-20, 2024. (corresponding author)

• “SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation-based approach”, Yan Dong, Zhicong Zhang, Mohan Cui, Hui Xu, Software Testing, Verification and Reliability (STVR), 2024. (corresponding author)

2023

• “Fuzz driver synthesis for Rust generic APIs”, Yehong Zhang, Jun Wu, Hui Xu, _arXiv, 2024. (corresponding author).

• “OOM-Guard: Towards improving the ergonomics of Rust OOM handling via a reservation-based approach”, Chengjun Chen, Zhicong Zhang, Hongliang Tian, Shoumeng Yan, Hui Xu, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), San Francisco, California, United States, December 3-9, 2023. (corresponding author)

• “Demystifying and mitigating cross-layer deficiencies of soft error protection in instruction duplication”, Zhengyang He, Yafan Huang, Hui Xu, Dingwen Tao, and Guanpeng Li, International Conference for High-Performance Computing, Networking, Storage and Analysis (SC), Denver, Colorado, United States, Nov 12–17, 2023.

• “Investigating the impact of high level code design on hardware faults resilience”, Bohan Zhang, Lishan Yang, Hui Xu, and Guanpeng Li, The 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN Disrupt Track), Porto, Portugal, June 27-30, 2023.

• “Mind your enclave pointers! Detecting privacy leaks for SGX apps via sparse taint analysis”, Yang Chen, Jianfeng jiang, Shoumeng Yan, Hui Xu, 34th IEEE International Symposium on Software Reliability Engineering (ISSRE), Florence, Italy, Oct 9-12, 2023. (One of the three Best Paper Candidates, corresponding author)

• “foREST: A tree-based approach for fuzzing RESTful APIs”, Jiaxian Lin, Tianyu Li, Yang Chen, Guangsheng Wei, Jiadong Lin, Sen Zhang, Hui Xu, 34th IEEE International Symposium on Software Reliability Engineering (ISSRE), Florence, Italy, Oct 9-12, 2023. (corresponding author)

2022

• “Rust library fuzzing”, Hui Xu, in IEEE Software, Sept.-Oct. 2022, pp. 105-108, vol. 39.

• “SafeDrop: Detecting memory deallocation bugs of Rust programs via static data-flow analysis”, Mohan Cui, Chengjun Chen, Hui Xu, Yangfan Zhou, ACM Transactions on Software Engineering and Methodology (TOSEM), Presented at ASE 2022 Journal-first Track, 2022. (corresponding author)

• “Safe Rust code recommendation based on Siamese Graph Neural Networks”, Xiuwen Lu, Zhicong Zhang, Hui Xu, 27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022), 2022. (Best Student Paper, Best Paper Runner Up, corresponding author)

• “LegoAI: Towards Building Reliable AI Software in Real-world Applications”, Mengyuan Hou, Hui Xu, 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE-W), 2022.

• “Automated Test Case Generation from Input Specification in Natural Language”, Tianyu Li, Xiuwen Lu, Hui Xu, 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE-W), 2022.

2021

• “Memory-safety challenge considered solved? An in-depth study with all Rust CVEs”, Hui Xu, Zhuangbin Chen, Mingshen Sun, Yangfan Zhou, and Michael Lyu, ACM Transactions on Software Engineering and Methodology (TOSEM), vol 31, issue 1, no. 3, 2022 (first published in 2021). pp.1-25.

• “RULF: Rust library fuzzing via API dependency graph traversal”, Jianfeng Jiang, Hui Xu, Yangfan Zhou, in Prof. of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021. (Distinguished Paper Award, corresponding author)

• “Boosting symbolic execution via constraint solving time prediction (experience paper),” Sicheng Luo, Hui Xu, Yanyang Bi, Xin Wang, Yangfan Zhou, in Proc. of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2021. (corresponding author)

2020

• “Towards intelligent incident management: Why we need it and how we make it,” Zhuangbin Chen, Yu Kang, Liqun Li, Xu Zhang, Hongyu Zhang, Hui Xu, Yangfan Zhou, et al, in Proc. of the 28th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Sacramento, California, United States, Nov 8-13, 2020.

• “Layered obfuscation: a taxonomy of software obfuscation techniques for layered security”, Hui Xu, Yangfan Zhou, Jiang Ming, and Michael Lyu, Cybersecurity 3, 9 (2020), Springer.

• “Benchmarking the capability of symbolic execution tools with logic bombs”, Hui Xu, Zirui Zhao, Yangfan Zhou, and Michael R. Lyu, Transactions on Dependable and Secure Computing (TDSC), vol 7, no 6, 2020. pp.1243-1256.

2019

• “Textout: Detecting text-layout bugs in mobile apps via visualization-oriented learning”, Yaohui Wang, Hui Xu, Yangfan Zhou, Michael R. Lyu, Xin Wang, in Proc. of the 30th IEEE International Symposium on Software Reliability Engineering (ISSRE), Berlin, Germany, 2019.

• “NV-DNN: Towards fault-tolerant DNN systems with n-version programming”, Hui Xu, Zhuangbin Chen, Weibin Wu, Zhi Jin, Sy-yen Kuo, and Michael R. Lyu, in Proc. of the 2nd Workshop on Dependable and Secure Machine Learning (DSML, in conjunction with DSN), Portland, Oregon, USA, June 24–27, 2019.

• “Deep validation: Toward detecting real-world corner cases for deep neural networks”, Weibin Wu, Hui Xu, Sanqiang Zhong, Michael R Lyu, and Irwin King, in Proc. of the 49th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Portland, Oregon, USA, June 24–27, 2019. (corresponding author)

2018

• “Manufacturing resilient bi-opaque predicates against symbolic execution”, Hui Xu, Yangfan Zhou, Yu Kang, Fengzhi Tu and Michael R. Lyu, in Proc. of the 48th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Luxembourg City, Luxembourg, June 1-5, 2018.

2017

• “Concolic execution on small-size binaries: Challenges and empirical study”, Hui Xu, Yangfan Zhou, Yu Kang, and Michael R. Lyu, in Proc. of the 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Denver, CO, USA, June 26-29, 2017.

• “IntelliAd: Assisting mobile app developers in measuring Ad costs automatically”, Cuiyun Gao, Yichuan Man, Hui Xu, Jieming Zhu, Yangfan Zhou and Michael R. Lyu, in Proc. of the 39th International Conference on Software Engineering Companion (ICSE-C), 2017.

2016

• “DiagDroid: Android performance diagnosis via anatomizing asynchronous executions”, Yu Kang, Yangfan Zhou, Hui Xu, and Michael R. Lyu, in Proc. of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Seattle, WA, USA, November 13-18, 2016.

• “N-version obfuscation”, Hui Xu, Yangfan Zhou, and Michael R. Lyu, in Proc. of the 2nd Cyber-Phsical System Security Workshop (in conjunction with AsiaCCS), Xi’an, China, May 30, 2016.

• “Assessing the security properties of software obfuscation”, Hui Xu, and Michael R. Lyu, in IEEE Security & Privacy Magazine, Oct, 2016.

2015

• “SpyAware: Investigating the privacy leakage signatures in app execution traces”, Hui Xu, Yangfan Zhou, Cuiyun Gao, Yu Kang, Michael R. Lyu, in Precedings of the 26th IEEE International Symposium on Software Reliability Engineering (ISSRE),Washington DC, USA, November 2-5, 2015.

• “AR-Tracker: Track the dynamics of mobile Apps via user review mining”, Cuiyun Gao, Hui Xu, Junjie Hu, and Yangfan Zhou, in Proc. of the 2015 International Workshop on Internet-based Virtual Computing Environment (IVCE), 2015.

2014

• “Towards continuous and passive authentication via touch biometrics: An experimental study on smartphones”, Hui Xu, Yangfan Zhou, and Michael R. Lyu, in Proc. of the USENIX Symposium on Usable Privacy and Security (SOUPS), Menlo Park, CA, USA, July 9-11, 2014.