Home

Publications

Artisan-Lab

Pictures

Misc

Short Bio

I am an 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).

Email: xuh[AT]fudan.edu.cn

I am looking for self-motivated students (master, intern, or FYP). Please drop me an email if you are interested. 研究生报名请选择：计算机科学与技术=>智能网络与系统学科方向.

On-going Project:

• RAP: : RAP is a Static Program Anlysis Platform for Rust Crates.

Recent Talk:

• Rust程序分析平台：问题、现状和未来 Slides, CCF编译器技术论坛，Shanghai, Aug 2024

• Rust编程语言教学实践 Slides, 全国高校计算机类课程能力提升高级研修班，Shanghai, Aug 2024

• Towards Reliable OS: Rust, Design, or Verification? Slides, online, Jun 2024

• Rust语言：功能特性和趋势分析 Slides, 1024学科周 - 编程语言和科学计算, Shanghai, Oct 2023

• Fighting The Heap War with Rust Slides, Video, GOSIM Workshop, Shanghai, Sep 2023

• Rust安全机制和特权代码安全强化 Slides, CCF-ADL 学科前沿讲习班第142期, Beijing, Sep 2023

• Fighting The Heap War with Rust Slides, Aarhus University, August, 2023

• 基于静态分析的Rust内存安全缺陷检测研究 Slides, ChinaSoft 中国软件大会，Nov, 2022

• Experiences of Teaching Rust and Code Recommendation to Assist Rust Beginners Slides, Video, Rust Education Workshop, Aug, 2022

Selected (Recent) Paper:

• “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 (TSE), 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)

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

Teaching

• COMP130014 编译 Compiler Principles and Techniques, Autumn 2021, Autumn 2022, Autumn 2023, Spring 2024, Autumn 2024
• COMP737011 安全编程语言设计 Memory Safety and Programming Language Design, Spring 2022, Spring 2023
• FISF130020 Introduction to Computer Science, Autumn 2024
• COMP130159 软件安全 Software Security, Spring 2020
• COMP130189 网络安全 Network Security, Autumn 2020, Spring 2021

Academic Service

• Chair, ISSRE 2024 FA Track , Tsukuba, Japan
• General Co-Chair, DSML 2021, Taipei
• Publicity Co-Chair, DSN 2021, Taipei
• PC Member:
  • ICSE: TechDebt 2023
  • DSN: 2020 Doctoral Forum, DSML 2022, DSML 2023, 2024 Poster Track
  • ISSRE: 2023, 2021 Fast Abstracts Track, RSDA 2021-2022 (ISSRE Workshop)
  • TASE: 2024
  • QRS: [2022]2023
  • Internetware: 2023
  • PRDC: 2022, 2023
  • ICPADS: 2021