• Professor
• Institute of Parallel And Distributed Systems (IPADS), School of Software
• Room 3401, Software Building, 800 Dongchuan Rd., Shanghai, China, 200240
• Email: xiayubin at sjtu dot edu dot cn

中文主页

I am a professor in School of Software at Shanghai Jiao Tong University and a member of Institute of Parallel And Distributed Systems (IPADS). My research interests include operating systems, computer architecture. Currently, I'm now focusing on hardware-software co-design for better performance and isolation. Some recent projects by my students and colleagues include the Penglai (蓬莱) RISC-V TEE, the XPC architecture extension for fast IPC, the Catalyzer serverless framework with <1ms startup latency, the ServerlessBench test suit for serverless frameworks, and the DeSearch search engine for web3.

In the era of AI, technologies represented by LLM are driving exciting revolutions. During the App era, OSes were designed for human interaction; in the LLM era, OSes will increasingly be operated by large language models (LLMs) rather than by humans. Consequently, both OSes and applications face unprecedented opportunities and challenges. In IPADS, we have proposed the concept of a “Model-Native Operating System” and have already begun new researches, exploring topics including record & replay of AI Agents, memory of AI Agents, new abstractions and interfaces of AI OSes, etc.

I am currently looking for self-motivated students with a good background in computer systems. Please email me if you have interests.

• 2026: TPC of ASPLOS, EuroSys
• 2025: TPC of SOSP, OSDI, EuroSys
• 2024: TPC of OSDI, EuroSys, ATC
• 2023: TPC of OSDI, APSys
• 2023: TPC Co-Chair of ICDCS Track, with Alysson Bessani
• 2022: TSG member of OpenHarmony on confidential computation
• 2022: TPC Co-Chair of VEE, with Dan Williams
• 2022: TPC of EuroSys
• 2021: TPC of EuroSys, SEED, HPC-China
• 2020: TPC of EuroSys, VEE, MSST, APSys
• 2019: TPC of MSST, ChinaSys, NASAC, HPC-China, CRVF
• 2018: TPC of OSDI, MobiSys, HPC-China
• 2017: LAC of SOSP; TPC of AsiaCCS, HPC-China
• 2016: TPC of HPC-China
• 2014: TPC of ACA, APSys

• Distinguished Member of CCF, 2023.
• NASAC Youth Software Innovation Award, by CCF, 2022.
• A Member of the Privacy-Preserving Computation Tech Innovators China, by MIT Tech Review, 2022.
• Test of Time Award of DSN, 2022.
• Excellence in Teaching Award of Shanghai Jiao Tong University, 2021.
• Best Paper Award of VEE, 2019.
• Shanghai Academic/Technology Research Leader, 2019.
• Technological Invention Award of Ministry of Education (the 1st prize, the 4th inventor), 2018.
• Senior Member of China Computer Federation (CCF), 2018.
• Excellent Teacher Award of SJTU (the 3rd prize), 2016.
• Challenge Cup (special-class award, the 1st prize), 2015.
• Best Paper Nominee Award of HPCA, 2014.

• [Arxiv] Cheng Zhang, Erhu Feng, Xi Zhao, Yisheng Zhao, Wangbo Gong, Jiahui Sun, Dong Du, Zhichao Hua, Yubin Xia, Haibo Chen. MobiAgent: A Systematic Framework for Customizable Mobile Agents. Arxiv, 2025. github

• [Arxiv] Erhu Feng, Wenbo Zhou, Zibin Liu, Le Chen, Yunpeng Dong, Cheng Zhang, Yisheng Zhao, Dong Du, Zhichao Hua, Yubin Xia, Haibo Chen. Get Experience from Practice: LLM Agents with Record & Replay, Arxiv, 2025.

• [Arxiv] Jingkai He, Tianjian Li, Erhu Feng, Dong Du, Qian Liu, Tao Liu, Yubin Xia, Haibo Chen. History Rhymes: Accelerating LLM Reinforcement Learning with RhymeRL, Arxiv, 2025.

• [SOSP] Le Chen, Dahu Feng, Erhu Feng, Yingrui Wang, Rong Zhao, Yubin Xia, Pinjie Xu, Haibo Chen, Characterizing Mobile SoC for Accelerating Heterogeneous LLM Inference. SOSP, 2025.

• [SOSP] Jingkai He, Yunpeng Dong, Dong Du, Mo Zou, Zhitai Yu, Yuxin Ren, Ning Jia, Yubin Xia, Haibo Chen. How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service. SOSP, 2025.

• [OSDI] Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Ming Fu, Yang Yu, Binyu Zang, Haibo Chen. OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit. OSDI, 2025.

• [OSDI] 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. Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems. OSDI, 2025.

• [USENIX ATC] Le Chen, Yiyang Wu, Jinyu Gu, Yubin Xia, Haibo Chen. μEFI: A Microkernel-Style UEFI with Isolation and Transparency. USENIX Annual Technical Conference, Boston, MA, USA, July 2025.

• [ISCA] Dahu Feng, Erhu Feng, Dong Du, Pinjie Xu, Yubin Xia, Haibo Chen, Rong Zhao. Topology-Aware Virtualization over Inter-Core Connected Neural Processing Units. ISCA, 2025.

• [ASPLOS] Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Ming Fu, Binyu Zang, Haibo Chen. D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics. ASPLOS, 2025.

• [EuroSys] Jiacheng Shi, Yang Yu, Jinyu Gu, Yubin Xia. A Hardware-Software Co-Design for Efficient Secure Containers. EuroSys, 2025.

• [USENIX Security] Jiacheng Shi, Jinyu Gu, Yubin Xia, Haibo Chen. Serverless Functions Made Confidential and Efficient with Split Containers. USENIX Security, 2025.

• [ToCS] Shulin Fan, Zhichao Hua, Yubin Xia, Haibo Chen. XpuTEE: A High-Performance and Practical Heterogeneous Trusted Execution Environment for GPUs. ToCS, 2025.

• [ISCA] Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Haibo Chen. sNPU: Trusted Execution Environments on Integrated NPUs. ISCA, 2024.

• [ASPLOS] Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Wenbin Zheng, Siqi Zhao, Haibo Chen. sIOPMP: Scalable and Efficient I/O Protection for TEEs. ASPLOS, 2024.

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

• [USENIX ATC] Jiahao Chen, Zeyu Mi, Yubin Xia, Haibing Guan, Haibo Chen. Flexible, Secure and Efficient CVM Maintenance with Confidential Procedure Calls. USENIX Annual Technical Conference, Santa Clara, CA, USA, July 2024.

• [SoCC] Yanning Yang, Dong Du, Haitao Song, Yubin Xia. On-demand and Parallel Checkpoint/Restore for GPU Applications. SoCC 2024.

• [OSDI] Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen. Encrypted Databases Made Secure Yet Maintainable. OSDI, 2023.

• [ISCA] Shulin Fan, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang. ISA-grid: Architecture of Fine-grained Privilege Control for Instructions and Registers. ISCA, Orlando, FL, US. 2023.

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

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

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

• [USENIX ATC] Jinyu Gu, Hao Li, Wentai Li, Yubin Xia, Haibo Chen. EPK: Scalable and Efficient Memory Protection Key. USENIX ATC, 2022. [paper]

• [USENIX Security] Jinyu Gu, Bojun Zhu, Mingyu Li, Wentai Li, Yubin Xia, and Haibo Chen. A Hardware-Software Co-design for Efficient Intra-Enclave Isolation. The 31st USENIX Security Symposium, Boston, MA, USA, 2022. [paper]

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

• [SOSP] Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan. TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM. Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP'21). October 2021. [paper]

• [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. [paper]

• [OSDI] Mingyu Li, Tianxu Zhang, Jinhao Zhu, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen. Bringing Decentralized Search to Decentralized Services. 15th USENIX Symposium on Operating Systems Design and Implementation, 2021. [paper]

• [ISCA] Mingyu Li, Yubin Xia, Haibo Chen. PIE: Confidential Serverless Made Efficient with Plug-In Enclaves. The IEEE/ACM International Symposium on Computer Architecture. 2021. [paper]

• [IEEE TC] Yubin Xia, Zhichao Hua, Yang Yu, Jinyu Gu, Haibo Chen, Binyu Zang, Haibing Guan. Colony: A Privileged Trusted Execution Environment with Extensibility. IEEE Transactions on Computers, Accepted, 2021. [paper]

• [IEEE TC] Jinyu Gu, Xinyue Wu, Bojun Zhu, Yubin Xia, Binyu Zang, Haibing Guan, and Haibo Chen. Enclavisor: A Hardware-software Co-design for Enclaves on Untrusted Cloud. IEEE Transactions on Computers, Accepted, 2021. [paper]

• [JCST] Jinyu Gu, Hao Li, Yubin Xia, Haibo Chen, Chenggang Qin, Zhengyu He. Unified Enclave Abstraction and Secure Enclave Migration on Heterogeneous Security Architectures. JCST, 2021. [paper]

• [SCIS] Zhichao Hua, Yang Yu, Jinyu Gu, Yubin Xia, Haibo Chen, Binyu Zang. TZ-Container: Protecting Container from Untrusted OS with ARM TrustZone. SCIENCE CHINA Information Sciences, 2021. [paper]

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

• [ASPLOS] Youren Shen, Hongliang Tian, Yu Chen, Yubin Xia, Shoumeng Yan, and Kang Chen. Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX. Proceedings of the 25th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2020. [paper]

• [USENIX ATC] Jinyu Gu, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, Haibo Chen. Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. USENIX Annual Technical Conference, Boston, MA, USA, July 2020. [paper]

• [SoCC] Tianyi Yu, Qingyuan Liu, Dong Du, Yubin Xia, Binyu Zang, Ziqian Lu, Pingchao Yang, Chenggang Qin, Haibo Chen. Characterizing Serverless Platforms with ServerlessBench. The Symposium on Cloud Computing (SoCC), 2020. [paper]

• [ISCA] Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, Haibo Chen. XPC: Architectural Support for Secure and Efficient Cross Process Call. Proceedings of the 46th International Symposium on Computer Architecture (ISCA), 2019. [ paper]

• [VEE] (Best Paper Award) Wenhao Li, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang. TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), 2019. [ paper]

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

• [MobiSys] Wenhao Li, Shiyu Luo, Zhichuang Sun, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang, and Haibing Guan. VButton: Practical Attestation of User-driven Operations in Mobile Apps. The 16th Annual International Conference on Mobile Systems, Applications, and Services, Munich, Germany, Jun 2018. [paper]

• [JCST] Rui Yuan, Yubin Xia, Haibo Chen, Binyu Zang. ShadowEth: Private Smart Contract on Public Blockchain. Journal of Computer Science and Technology, JCST, 2018. [paper]

• [USENIX Security] Zhichao Hua, Jinyu Gu, Yubin Xia, Haibo Chen, Binyu Zang and Haibing Guan. vTZ: Virtualizing ARM TrustZone. Usenix Security Symposium 2017. Vancouver, Canada, August, 2017. [paper]

• [DSN] Jinyu Gu, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan, Jinming Li. Secure Live Migration of SGX Enclaves on Untrusted Cloud. Proceedings of the 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'17). Denver, CO, June, 2017. [paper]

• [NDSS] Lei Shi, Yuming Wu, Yubin Xia, Nathan Dautenhahn, Haibo Chen, Binyu Zang, Haibing Guan, Jingming Li. Deconstructing Xen. The Network and Distributed System Security Symposium 2017 (NDSS'17). San Diego, California. March, 2017. [paper]

• [SoCC] Liang Liang, Rong Chen, Haibo Chen, Yubin Xia, Haibing Guan, Binyu Zang. A Case for Virtualizing Persistent Memory. ACM Symposium on Cloud Computing 2016 (SoCC'16), Santa Clara, California, October 5-7, 2016. [paper]

• [FAST] Qingshu Chen, Liang Liang, Yubin Xia, Haibo Chen, Hyunsoo Kim. Mitigating Sync Amplification for Copy-on-write Virtual Disk. The 14th USENIX Conference on File and Storage Technologies (FAST'16)，2016.2.22-2016.2.25. Santa Clara, US, Feb, 2016. [paper]

• [CCS] Yutao Liu, Tianyu Zhou, Kexin Chen, Haibo Chen, Yubin Xia. Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation. Proceedings of the 22th ACM Conference on Computer and Communications Security (CCS'15), Denver, Colorado, US, October, 2015. [paper]

• [ISCA] Wenhao Li, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan. Reducing World Switches in Virtualized Environment with Flexible Cross-world Calls. In the 42nd International Symposium on Computer Architecture (ISCA'15), 2015. [paper]

• [MobiSys] Wenhao Li, Haibo Li, Haibo Chen, Yubin Xia. AdAttester: Secure Online Advertisement Attestation on Mobile Devices Using TrustZone. In Proceedings of the 13th International Conference on Mobile Systems, Applications, and Services (MobiSys'15), 2015. [paper]

• [EuroSys] Yubin Xia, Yutao Liu, Cheng Tan, Mingyang Ma, Haibing Guan, Binyu Zang, Haibo Chen. TinMan: Eliminating Confidential Mobile Data Exposure with Security-oriented Offloading. In Proceedings of the 10th European Conference on Computer Systems (EuroSys'15), 2015. [paper]

• [HPCA] Yutao Liu, Yubin Xia, Haibing Guan, Binyu Zang and Haibo Chen. Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory. In Proceedings of 2014 International Symposium on High Performance Computer Architecture (HPCA'14), February, 2014. (Best Paper Nominee)[paper, slide]

• [HPCA] Yubin Xia, Yutao Liu and Haibo Chen. Architecture Support for Guest-Transparent VM Protection from Untrusted Hypervisor and Physical Attacks. In Proceedings of 2013 International Symposium on High Performance Computer Architecture (HPCA'13), February, 2013. [paper]

• [DSN] Yubin Xia, Yutao Liu, Haibo Chen, and Binyu Zang. CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters. In Proceeding of Dependable Systems and Networks (DSN'12), Boston, US, 2012. [paper] Test-of-Time Award in 2022!