2017.09 - 2022.06 1946伟德国际源自英国 计算机科学与技术 博士

2013.09 - 2017.06 1946伟德国际源自英国 软件工程 学士 

2022.08 - 至今 1946伟德国际源自英国 助理研究员

《云操作系统设计与实践》（本科生）、《软件基础实践》（本科生）、《计算机系统设计和实现：OpenHarmony》（研究生）

• [OSDI] OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit. Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Ming Fu, Yang Yu, Binyu Zang, Haibo Chen. The 19th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2025.

• [OSDI] Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems. Xiaohu Chai, Tianyu Zhou, Keyang Hu, Jianfeng Tan, Tiwei Bie, Anqi Shen, Dawei Shen, Qi Xing, Shun Song, Tongkai Yang, Le Gao, Feng Yu, Zhengyu He, Dong Du, Yubin Xia, Kang Chen, Yu Chen. The 19th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2025.

• [ASPLOS] D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics. Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Ming Fu, Binyu Zang, Haibo Chen. The 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March 2025.

• [SoCC] On-demand and Parallel Checkpoint/Restore for GPU Applications. Yanning Yang, Dong Du, Haitao Song, Yubin Xia. The 15th ACM Symposium on Cloud Computing (SoCC'24), Redmond, WA, USA. Nov 2024.paper

• [USENIX ATC] Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing with Jiagu. Qingyuan Liu, Yanning Yang, Dong Du, Yubin Xia, Ping Zhang, Jia Feng, James Larus, Haibo Chen. USENIX Annual Technical Conference, Santa Clara, CA, USA, July 2024.paper

• [OSDI] Using Dynamically Layered Definite Releases for Verifying the RefFS File System. Mo Zou, Dong Du, Mingkai Dong, Haibo Chen. The 18th USENIX Symposium on Operating Systems Design and Implementation, Santa Clara, CA, US, July 2024.paper

• [ISCA] sNPU: Trusted Execution Environments on Integrated NPUs. Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Haibo Chen. The 51st International Symposium on Computer Architecture (ISCA'24), 2024.paper

• [ASPLOS] sIOPMP: Scalable and Efficient I/O Protection for TEEs. Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Wenbin Zheng, Siqi Zhao, Haibo Chen. The 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, April 2024.paper

• [SoCC] The Gap Between Serverless Research and Real-world Systems. Qingyuan Liu, Dong Du, Yubin Xia, Ping Zhang, Haibo Chen. ACM Symposium on Cloud Computing, 2023.paper

• [MICRO] Accelerating Extra Dimensional Page Walks for Confidential Computing. Dong Du, Bicheng Yang, Yubin Xia, Haibo Chen. The 56th IEEE/ACM International Symposium on Microarchitecture (MICRO), Toronto, Canada. 2023.paper-preprint

• [HPCA] Efficient Distributed Secure Memory with Migratable Merkle Tree. Erhu Feng, Dong Du, Yubin Xia, Haibo Chen. The 29th IEEE International Symposium on High-Performance Computer Architecture, February, 2023. paper

• [ACM TOCS] Boosting Inter-Process Communication with Architectural Support. Yubin Xia, Dong Du, Zhichao Hua, Binyu Zang, Haibo Chen, Haibing Guan. ACM Transactions on Computer Systems. Accepted. 2022.

• [ASPLOS] Serverless Computing on Heterogeneous Computers. Dong Du, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen. The 27th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'22). pdf

• [OSDI] Erhu Feng, Xu Lu, Dong Du, Bicheng Yang, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen. Scalable Memory Protection in the PENGLAI Enclave. The 15th USENIX Symposium on Operating Systems Design and Implementation, 2021.

• [SoCC] Characterizing Serverless Platforms with ServerlessBench. Tianyi Yu, Qingyuan Liu, Dong Du, Yubin Xia, Binyu Zang, Ziqian Lu, Pingchao Yang, Chenggang Qin, Haibo Chen. ACM Symposium on Cloud Computing, October 19-21, 2020. [preprint]

• [ASPLOS] Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting. Dong Du, Tianyi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang Qin, Qixuan Wu, Haibo Chen. The 25th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Accepted), Lausanne, Switzerland, March, 2020. [pdf]

• [SOSP] Using Concurrent Relational Logic with Helper for Verifying the AtomFS File System. Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen. The 27th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, Ontario, Canada, October 27-30, 2019. [pdf]

• [ISCA] XPC: Architectural Support for Secure and Efficient Cross Process Call. Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, Haibo Chen. Proceedings of the 46th ACM/IEEE International Symposium on Computer Architecture, Phoenix, Arizona, USA. June 22-26, 2019. [pdf]

• [USENIX ATC] EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs. Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, and Binyu Zang, 2018 USENIX Annual Technical Conference, Boston, MA, USA, July 2018 [pdf]

Services (Program Commitee): USENIX FAST’26 TPC, ASPLOS 2026 ERC, MICRO 2025 TPC, ISCA 2025 TPC, USENIX NSDI’25 TPC, ACM CCS’24 TPC, ACSAC’24 TPC, ChinaSys’24 TPC, ACM SoCC’22 TPC, MICRO’22 ERC

Services (Organizing Commitee): SOSP’23 AEC Co-Chair, ASPLOS’24 Workshop (titled: OpenHarmony Tutorial) Co-Chair, APSys 2024 Publicity Co-Chair, ACM SIGOPS Blog Editor