夏虞斌

教授

xiayubin@sjtu.edu.cn

个人简介

夏虞斌，上海交通大学教授/博导，中国计算机学会CCF杰出会员。主要研究领域包括操作系统、体系结构、AI，重点探索模型原生操作系统，以及面向交叉行业的智能体系统。在 OSDI、SOSP、EuroSys、USENIX ATC、ASPLOS、ISCA、MICRO、HPCA 等高水平国际学术会议与期刊发表论文100余篇。与团队开发的系统包括手机智能体框架 MobiAgent，RISC-V平台的可信执行环境系统蓬莱等。

更多介绍请见英文主页。

获得奖励

  • 2024：上海交通大学“佳和”优秀青年教师奖
  • 2022：《麻省理工科技评论》中国“隐私计算科技创新人物”（全国10人）
  • 2022：国际会议 DSN “Test-of-Time Award”（亚洲首次）
  • 2021：上海交通大学“卓越教学奖”
  • 2019：国际会议 VEE “最佳论文”奖
  • 2019：中国“互联网+”大学生创新创业大赛全国银奖（指导老师）
  • 2019：上海市“学术带头人”
  • 2019：上海市技术发明一等奖
  • 2018：教育部技术发明一等奖
  • 2015：全国“挑战杯”特等奖（指导老师）
  • 2014：国际会议 HPCA “最佳论文奖提名奖”

工作经历

  • 2022.09－至今：上海交通大学，软件学院，教授
  • 2016.12－2022.09：上海交通大学，软件学院，副教授
  • 2012.09－2016.12：上海交通大学，软件学院，讲师
  • 2014.04－2014.10：新加坡国立大学，Senior Visiting Scientist
  • 2010.08－2012.07：复旦大学，计算机科学与技术博士后流动站，博士后

教育经历

  • 2004.09－2010.07：北京大学，计算机科学与技术，理学博士
  • 2000.09－2004.07：复旦大学，软件学院，理学学士

代表论文

更多论文

  • [ACM ToCS’22] 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.

  • [OSDI’21] 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.

  • [IEEE TC’21] 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.

  • [VEE’19] (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.

  • [HPCA’14] (Best Paper Nominee Award) Yutao Liu, Yubin Xia 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), 2014.

  • [HPCA’13] 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.

  • [DSN’12] (Test-of-time Award in DSN’22) 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.

教学

  • 计算机系统工程（本科必修）
  • 操作系统（本科专业必修）
  • 计算机系统原理（研究生）