复旦大学 计算机学院 青年副研究员
地址：上海市 杨浦区 淞沪路2005号
I am currently a Tenure-track Associate Professor in the School of Computer Science, Fudan University. My research interests include program analysis and software engineering, as well as their applications in AI systems, mobile computing, and cloud. I run a research group Artisan-Lab. Before joining Fudan University, I was a Postdoctoral Researcher at the Chinese University of Hong Kong with CUHK Postdoctoral Research Fellowship. I also obtained my Ph.D. degree from CUHK, supervised by Prof. Michael Lyu. Before that, I have worked in industries as a system security professional after obtaining my M.Sc. degree from Hong Kong University, and B.Eng and B.M degrees from China University of Geosciences (Beijing).
I am looking for self-motivated students (master, intern, or FYP). Please drop me an email if you are interested. 研究生报名请选择：计算机科学与技术=>智能网络与系统学科方向.
基于静态分析的Rust内存安全缺陷检测研究 Slides, ChinaSoft 中国软件大会，Nov, 2022.
Experiences of Teaching Rust and Code Recommendation to Assist Rust Beginners Slides, Video, Rust Education Workshop, Aug, 2022.
“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, to appear in 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), Presented at ASE 2022 Journal-first Track, 2022. (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.
“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)
“Boosting symbolic execution via constraint solving time prediction (experience paper),” Sicheng Luo, Hui Xu, Yanyang Bi, Yangfan Zhou, Xin Wang, in Proc. of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2021. (corresponding author)
“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.