Home

Publications

Artisan-Lab

Pictures

Misc

Survey

• “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)

• “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.

Static Analysis

• “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)

• “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), accepted, 2022. (corresponding author)

Fuzz

• “Fuzz Driver Synthesis for Rust Generic APIs”, Yehong Zhang, Jun Wu, Hui Xu, _arXiv, 2023. (corresponding author).

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

• “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. (Distingshed Paper Award, corresponding author)

Code Recommendation

• “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)

• “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)