上海交大IPADS 夏虞斌 教授
报告生成时间：2026年8月3日
个人主页：https://ipads.se.sjtu.edu.cn/yubin_xia
所属研究所：https://ipads.se.sjtu.edu.cn/
一、学者基本信息
夏虞斌（Yubin Xia）是上海交通大学教授、博士生导师，隶属并行与分布式系统研究所（Institute of Parallel And Distributed Systems，IPADS），并担任软件学院副院长。他是计算机操作系统与系统结构领域的国际知名学者，长期从事软硬件协同设计（hardware-software co-design）研究，核心命题是"如何在保证隔离性与安全性的前提下不牺牲系统性能"。2025 年，他因"通过软硬件协同设计兼顾性能与隔离性方面的贡献"当选 ACM 杰出会员（Distinguished Member），当年全球共 61 人入选，亚洲仅 11 位。
| 项目 | 内容 |
|---|---|
| 姓名 | 夏虞斌（Yubin Xia） |
| 出生 | 1982 年 7 月，上海 |
| 现职称 | 教授、博士生导师；上海交通大学软件学院副院长 |
| 所属单位 | 上海交通大学计算机学院／软件学院 并行与分布式系统研究所（IPADS） |
| 办公地址 | 上海市东川路 800 号 软件大楼 3401 室 |
| 电子邮箱 | xiayubin@sjtu.edu.cn |
| 学术头衔 | 国家级青年人才计划入选者（教育部"青年长江学者"，2021）；上海市优秀学术带头人（2019）；ACM 杰出会员（2025）；CCF 杰出会员（2023，此前 2018 年为 CCF 高级会员）；ACM／IEEE 计算机学会会员 |
| 社会身份 | 九三学社社员 |
| 主要研究方向 | 操作系统、计算机体系结构、系统虚拟化、可信执行环境（TEE）与机密计算、Serverless 计算、大模型系统（LLM Infra） |
| 论文规模 | 在 OSDI、SOSP、ISCA、ASPLOS、MICRO、HPCA、FAST、USENIX ATC、USENIX Security、CCS、NDSS、EuroSys、ACM TOCS 等顶级会议与期刊发表论文 70 余篇（个人主页统计口径）；DBLP 收录条目约 126 项；OpenAlex 记录论文约 120 篇、被引约 9,100 次、h-index 约 25（注：OpenAlex 该 profile 存在同名合并污染，混入了汕头大学/南方医科大学的医学论文与遥感领域早期论文，实际系统领域数据应低于此计数） |
| 代表性系统 | 蓬莱（Penglai）RISC-V TEE、XPC 跨进程调用硬件扩展、Catalyzer 亚毫秒级 Serverless 框架、ServerlessBench 开源测试集、DeSearch 去中心化可信搜索、TwinVisor ARM 机密虚拟机、vTZ TrustZone 虚拟化、sNPU/sIOPMP 异构 TEE |
| 教材著作 | 与陈海波合著《现代操作系统：原理与实现》，获 2020 年"操作系统领域最受读者喜爱的图书"奖 |
需要特别指出的是，夏虞斌是极少数在"学术顶会成果—开源社区落地—产业化转化—本科教学"四条线上同时取得头部成绩的中国系统领域学者。他自述的方法论是"科研 + 应用"的"双引擎驱动"，这一特征贯穿其整个学术关系网络的构建方式。
二、教育背景与职业履历
夏虞斌的学术成长轨迹跨越了三所顶尖高校，形成了"复旦本科—北大博士—交大任教"的三段式路径，这一路径在他的学术关系网络中留下了清晰的三层印记。
2000—2004 年，复旦大学软件学院，工学学士。 他是复旦大学软件学院 2000 级学生，2004 年 7 月获学士学位。2025 年他与复旦校友姜育刚教授同批当选 ACM 杰出会员时，复旦大学计算机科学技术学院专门发文，称其为"软件学院校友"，可见母校对这一身份的确认。这段经历为他后续与复旦系统软件圈层（尤其是原复旦并行处理研究所出身的陈海波、臧斌宇一脉）的融合埋下伏笔。
2004—2010 年，北京大学计算机科学与技术系，工学博士。 2010 年 7 月获博士学位。关于博士导师，需要重点澄清一个常见误解：夏虞斌的博士导师既不是陈海波，也不是臧斌宇。 陈海波与臧斌宇是他 2012 年入职上海交大后的同事与合作者，而非导师。多方证据交叉指向他的北大博士期间归属于北京大学微处理器研究开发中心，导师为该中心负责人程旭（Xu Cheng）教授：
- 《北京大学学报（自然科学版）》2007 年第 43 卷第 5 期论文《一种用于网络计算机系统的半集中计算模型》，作者署名"杨春（北京大学信息科学技术学院）、夏虞斌（北京大学微处理器研究开发中心）、钮艳（北京大学信息科学技术学院）、程旭（北京大学微处理器研究开发中心）"，明确标注了夏虞斌与程旭同属微处理器研究开发中心。
- 《计算机研究与发展》2011 年第 48 卷第 2 期论文《基于受限行为约束策略的桌面计算系统交互性能测量方法》，作者为"钮艳、杨春、夏虞斌、程旭"，程旭为末位作者（通讯作者位置）。
- 其博士期间的英文论文（2007—2008 年 ICME、DATE 等）合作者集中为 Chun Yang（杨春）、Yan Niu（钮艳）、Cheng Xu / Xu Cheng（程旭），研究主题为网络计算机（瘦客户端）、多媒体编解码、虚拟机调度——这正是北大微处理器研究开发中心"北大众志"网络计算机 CPU 系统芯片项目的技术范畴。
程旭教授是我国自主处理器领域的代表性学者，主持"北大众志"UniCore 系列 CPU 与网络计算机系统研发。这段在自主处理器与系统软件交叉地带的博士训练，直接解释了夏虞斌日后为何能在"软硬件协同设计"这一需要同时精通体系结构与操作系统的方向上建立优势，也解释了他在 RISC-V 开放指令集兴起时对"自主可控底层技术"的高度敏感——"蓬莱"项目的立项动机与北大众志的自主路线有明显的精神延续性。
2010—2012 年，过渡期。 博士毕业至入职上海交大之间的具体去向，公开资料未见明确记载。从 DBLP 与 IPADS 主页的发表记录看，其 2012 年发表的 DSN 论文 CFIMon 已署名上海交大 IPADS，且合作者为陈海波、臧斌宇、刘宇涛，说明其加入 IPADS 团队的时间应不晚于 2011 年（推测：可能存在短暂的博士后或研究员过渡，具体形式待考）。
2012 年至今，上海交通大学。 据上海交大教学发展中心记载，他"自 2012 年入职以来一直负责《计算机系统工程》的课程建设"。职称演进路径为：讲师／助理研究员 → 副教授（2016—2022 年期间公开报道中多次以"副教授"身份出现，如 2022 年 DSN 获奖新闻）→ 教授（2022 年后）。行政职务方面，现任上海交通大学软件学院副院长、上海交通大学-OpenHarmony（开源鸿蒙）技术俱乐部主任。
职业履历时间线概览：
| 时间 | 阶段 | 机构 | 关键关系人 |
|---|---|---|---|
| 2000—2004 | 本科 | 复旦大学软件学院 | 校友网络（姜育刚为同期复旦教师群体） |
| 2004—2010 | 博士 | 北京大学计算机科学与技术系 / 微处理器研究开发中心 | 程旭（博士导师）、杨春、钮艳 |
| 2010—2012 | 过渡（推测为博士后/研究员） | 资料未明确 | — |
| 2012—约2016 | 讲师／助理研究员 | 上海交大软件学院 IPADS | 陈海波、臧斌宇、管海兵 |
| 约2016—2022 | 副教授、博导 | 上海交大软件学院 IPADS | 同上 + 华志超、古金宇、杜东等学生 |
| 2022 至今 | 教授、博导；软件学院副院长；OpenHarmony 技术俱乐部主任 | 上海交大计算机学院／软件学院 IPADS | 全面主持 TEE、Serverless、大模型系统方向 |
三、学生培养情况
夏虞斌在 IPADS 采用与陈海波、臧斌宇等教师共同指导的团队制培养模式，这意味着其学生的"归属"往往是共享的——大量论文由"学生—夏虞斌—陈海波"三层署名构成。以下按学生的后续发展轨迹分类梳理。
3.1 已留任学术界的核心弟子
这是夏虞斌培养体系中最值得关注的一支，多名学生毕业后直接留在 IPADS 任教，形成了"师生同事化"的紧密圈层，也构成了 IPADS 系统安全方向的师资梯队。
| 姓名 | 培养阶段 | 现职 | 与夏虞斌的合作代表作 |
|---|---|---|---|
| 华志超（Zhichao Hua） | 2015—2020 上海交大博士（本科亦为交大软件工程 2011—2015） | 上海交大副研究员、博导 | vTZ（USENIX Security'17）、PTI（ATC'18）、Colony（IEEE TC'21）、TZ-Container（SCIS'21）、ISA-grid（ISCA'23）、XpuTEE（TOCS'25） |
| 古金宇（Jinyu Gu） | 2016 交大软件工程学士，2021 交大计算机博士 | 上海交大副研究员、博导，领域操作系统教育部工程研究中心内核实验室主任，开源鸿蒙具身智能 PMC 主席 | SGX Enclave 安全迁移（DSN'17）、微内核内核内隔离（ATC'20）、Enclavisor（IEEE TC'21）、EPK（ATC'22）、Intra-Enclave 隔离（USENIX Security'22） |
| 杜东／杜冬冬（Dong Du） | 上海交大博士，毕业后留校 | 上海交大副研究员 | XPC（ISCA'19，共同一作）、Catalyzer（ASPLOS'20）、Molecule（ASPLOS'22）、MICRO'23 机密计算页表加速、Jiagu（ATC'24）、SYSSPEC（FAST'26 最佳论文） |
| 冯二虎（Erhu Feng） | 上海交大博士（"蓬莱"项目技术核心） | 上海交大教职（IPADS Faculty 名录在列） | Penglai（OSDI'21，第一作者）、Migratable Merkle Tree（HPCA'23）、sIOPMP（ASPLOS'24）、sNPU（ISCA'24）、ISCA'25 NPU 虚拟化、SOSP'25 移动 SoC 异构推理 |
| 糜泽羽（Zeyu Mi） | 2014—2020 上海交大博士（本科南京大学软件学院） | 上海交大副教授、博导；PowerInfer 项目发起人 | TwinVisor（SOSP'21）、微内核隔离（ATC'20）、Encrypted Databases（OSDI'23）、PipeWeaver（ASPLOS'26） |
其中冯二虎是"蓬莱"技术体系的第一继承人：他以第一作者完成 OSDI'21 的 Penglai 论文，随后独立开辟了"面向 NPU 的可信执行环境"这一新赛道（sNPU、sIOPMP、ISCA'25 NPU 虚拟化），并进一步延伸到端侧大模型推理与 LLM Agent 系统（MobiAgent、Record & Replay、RhymeRL），实现了从 TEE 到 AI 系统的方向迁移。古金宇则是"微内核 + TEE"路线的继承人，其主导的 PhoenixOS（SOSP'25）等成果已应用于开源鸿蒙与航天卫星操作系统，并于 2025 年 12 月被提名为博泰车联（02889.HK）独立非执行董事候选人，是学生反向进入产业治理层的典型案例。
3.2 进入产业界核心岗位的博士毕业生
| 姓名 | 现职 | 关联成果 |
|---|---|---|
| 刘宇涛（Yutao Liu） | 华为 OS 内核实验室上海团队负责人；后任华为德累斯顿研究所所长 | CFIMon（DSN'12，DSN 十年时间验证奖共同获奖人）、TxIntro（HPCA'14 最佳论文提名）、SeCage（CCS'15） |
| 利文浩（Wenhao Li） | 上海瓶钵信息科技有限公司（TrustKernel）CEO 兼法定代表人 | AdAttester（MobiSys'15）、ISCA'15 跨世界调用、VButton（MobiSys'18）、TEEv（VEE'19 最佳论文） |
| 李明宇（Mingyu Li） | 中国科学院软件研究所 | DeSearch（OSDI'21）、PIE（ISCA'21）、HEDB（OSDI'23） |
| 李丁基（Dingji Li） | 华为 | TwinVisor（SOSP'21，第一作者） |
| 李文泰（Wentai Li） | 字节跳动 | EPK（ATC'22）、微内核隔离（ATC'20） |
| 刘念（Nian Liu） | 华为 | 微内核内核内隔离（ATC'20） |
| 尤子曲（Ziqu Yu） | 阿里云 | HTLL 可扩展互斥锁（IEEE TPDS'25） |
| 陈嘉豪（Jiahao Chen） | 理想汽车 | 机密虚拟机维护（ATC'24） |
| 范书林（Shulin Fan） | 理想汽车 | ISA-grid（ISCA'23）、XpuTEE（TOCS'25） |
| 沈思杰（Sijie Shen） | 阿里巴巴 | — |
3.3 "蓬莱"项目相关的本科生培养
这是夏虞斌获评上海交大"卓越教学奖"与"挑战杯"全国特等奖优秀指导老师的直接依据，也是其"以本科教学孵化重大科研项目"理念的实证。
据上海交大教学发展中心的官方记载，2019 年，夏虞斌指导本科生开发的基于 RISC-V 处理器的"蓬莱"可信执行环境系统宣布开源，负责开发的本科生的毕业论文被评为"上海交通大学优异学士学位论文"。此后该系统的演进路径为：2020 年与 2022 年两次获中国 RISC-V 联盟"前沿探索奖"；2021 年核心技术方案以《Scalable Memory Protection in the PENGLAI Enclave》为题被 OSDI 录用（作者为 Erhu Feng、Xu Lu、Dong Du、Bicheng Yang、Xueqiang Jiang、Yubin Xia、Binyu Zang、Haibo Chen）。
从 OSDI'21 论文的作者序列可以反推"蓬莱"早期开发团队的构成：冯二虎（Erhu Feng）为项目技术负责人并延续至教职；卢旭（Xu Lu）后入职华为；蒋学强（Xueqiang Jiang）后入职无涯资本（Wuya Capital）；杨碧成（Bicheng Yang）继续在 IPADS 攻读博士（MICRO'23 机密计算页表加速的第二作者），目前仍在 IPADS 博士生名录中。这一队伍的构成印证了"蓬莱"确实是一个由本科生启动、随后升级为博士级研究课题的项目。
夏虞斌指导的学生曾连续多年获"挑战杯"全国特等奖（其个人主页记录为 2015 年 Challenge Cup special-class award）、第十四届"挑战杯"全国特等奖、"互联网+"双创大赛全国银奖、上海市"科技创新市长奖"、微软学者奖学金等荣誉。华志超本人即为上海市"市长奖"获得者。
3.4 IPADS 整体培养规模与就业去向图谱
IPADS 研究所现有在读博士生 37 人、硕士生 61 人、本科生 15 人（据 2026 年官网成员页），夏虞斌是其中 TEE／机密计算／Serverless／大模型系统方向的主要导师之一。其在读博士生中与其研究方向直接相关的包括刘庆源（Qingyuan Liu，Serverless 与文件系统方向，FAST'26 最佳论文第一作者）、杨碧成（Bicheng Yang）、施嘉诚（Jiacheng Shi，安全容器方向）、吴元培（Yuanpei Wu，图形渲染方向）、陈乐（Le Chen，端侧大模型与 UEFI 方向）、张靖（Jing Zhang，eBPF 虚拟化方向）、何靖凯（Jingkai He，SOSP'25 最佳论文第一作者）等。
从 IPADS 公开的校友首份工作去向名录看，团队毕业生的去向呈现两个鲜明的集群：一是国内基础软件与芯片企业——华为（人数最多，约 20 余人）、阿里／阿里云、字节跳动、腾讯、蚂蚁集团、百度、昆仑芯（Kunlun Core）、DeepSeek、TrustKernel、NVIDIA、Apple、Microsoft、Meta、Google；二是量化投资与金融科技机构——Jump Trading、Optiver、JQ Investments、Ubiquant、九坤、宽德等，这在系统方向实验室中是相当独特的现象，反映了 IPADS 学生在底层性能优化能力上的市场溢价。少数学生赴海外深造，包括 UT Austin（Yibo Huang）、Princeton（Dexin Zhang）、NYU（Ding Ding）、UPenn（Ke Zhong）、Columbia（Haoyu Li）、Georgia Tech（Chuhong Yuan）。
四、学术合作网络
4.1 IPADS 内部核心合作圈
夏虞斌的合作网络高度集中于 IPADS 内部，这既是团队制科研的产物，也说明其学术生产深度嵌入在一个稳定的机构性协作结构中。基于 OpenAlex 论文合作频次统计与 IPADS 官方发表记录，其核心合作者排序如下：
| 合作者 | 身份 | 合作频次（OpenAlex 口径） | 合作年份跨度 | 关系性质 |
|---|---|---|---|---|
| 陈海波（Haibo Chen） | 上海交大讲席教授，华为 Fellow、基础软件首席科学家，开源鸿蒙 TSC 主席 | 60 | 2012—2025 | 最紧密的长期合作者，几乎所有重要论文的末位作者 |
| 臧斌宇（Binyu Zang） | 上海交大教授，IPADS 创始负责人，开源鸿蒙教育委员会（筹）主席 | 38 | 2012—2025 | 研究所资深带头人，共同署名大量顶会论文 |
| 杜东／杜冬冬（Dong Du） | 上海交大副研究员 | 29 | 2018—2025 | 学生转同事，Serverless 与机密计算主力 |
| 管海兵（Haibing Guan） | 上海交大教授 | 16 | 2014—2024 | 虚拟化方向跨研究所合作 |
| 华志超（Zhichao Hua） | 上海交大副研究员 | 13 | 2017—2025 | 学生转同事，TrustZone 与异构 TEE |
| 古金宇（Jinyu Gu） | 上海交大副研究员 | 10 | 2017—2025 | 学生转同事，微内核与 Enclave 隔离 |
| 冯二虎（Erhu Feng） | 上海交大教职 | 10 | 2021—2025 | "蓬莱"技术负责人，NPU TEE 开创者 |
| 利文浩（Wenhao Li） | TrustKernel CEO | 9 | 2014—2020 | 学生转创业者，移动 TEE 方向 |
| 刘宇涛（Yutao Liu） | 华为 | 8 | 2012—2018 | 早期博士生，CFIMon 共同作者 |
| 刘庆源（Qingyuan Liu） | 在读博士生 | 7 | 2019—2025 | Serverless 与生成式文件系统 |
| 糜泽羽（Zeyu Mi） | 上海交大副教授 | 7 | 2019—2024 | 同事，机密虚拟机与 LLM 推理 |
需要说明的是，题目中提及的陈榕（Rong Chen）与董明凯（Mingkai Dong）同为 IPADS 教职成员，但与夏虞斌的直接论文合作频次较低。陈榕主要负责分布式图计算与 RDMA 方向，与夏虞斌的直接合作可追溯至 SoCC'16 的《A Case for Virtualizing Persistent Memory》（合作者含 Liang Liang、Rong Chen、Haibo Chen、Yubin Xia、Haibing Guan、Binyu Zang）。董明凯专注于文件与存储系统、DNA 存储，是 SOSP'23 最佳论文的通讯作者之一，与夏虞斌在 IPADS 内部构成互补而非重叠的方向分工。古金宇则如前所述属于典型的"学生转同事"关系，且近年在其独立主持的工作（如 EuroSys'25 的安全容器论文）中反过来邀请夏虞斌参与，体现了双向的学术互惠。
从合作结构上看，一个高度稳定的"夏虞斌—陈海波—臧斌宇"三角是其全部顶会成果的骨架：陈海波负责全局战略与产业接口（其华为 Fellow 身份是 IPADS 与华为深度绑定的关键），臧斌宇提供研究所层面的资源与学术权威，夏虞斌则承担从选题到系统实现的实际技术攻坚与学生指导。这一结构在过去十四年中几乎未发生变化。
4.2 跨机构与国际合作
夏虞斌的跨机构合作虽然数量不多，但集中在高价值节点上：
与清华大学的合作：ASPLOS'20 的 Occlum 论文（Youren Shen、Hongliang Tian、Yu Chen、Yubin Xia、Shoumeng Yan、Kang Chen）联结了清华大学陈康（Kang Chen）、陈渝（Yu Chen）团队与英特尔研究院（Shoumeng Yan、Hongliang Tian）；OSDI'25 的《Fork in the Road》再次与清华陈康、陈渝团队及蚂蚁集团合作。ISCA'25 与 SOSP'25 的 NPU／移动 SoC 相关工作则与清华大学赵蓉（Rong Zhao）团队合作。
与美国高校的合作：Long Lu（美国东北大学 Northeastern University）参与了 VButton（MobiSys'18）与 TEEv（VEE'19 最佳论文）；Nathan Dautenhahn 参与 NDSS'17 的《Deconstructing Xen》；Sebastian Angel（宾夕法尼亚大学）参与 OSDI'21 的 DeSearch；Cheng Tan（现美国东北大学助理教授，早年为 IPADS 成员）长期参与 TinMan（EuroSys'15）、DeSearch、HEDB 等工作；James Larus（EPFL 教授、前微软研究院资深研究员）参与 ATC'24 的 Jiagu。
国际会议服务网络：他与 Dan Williams（弗吉尼亚理工）共同担任 VEE 2022 程序委员会共同主席，与 Alysson Bessani（里斯本大学）共同担任 ICDCS 2023 某 Track 的程序委员会共同主席，这两段共主席经历是其进入国际系统会议核心治理圈的标志。作为 TPC 成员，他连续多年服务于 SOSP、OSDI、EuroSys、USENIX ATC、ASPLOS、MobiSys、AsiaCCS 等会议，2026 年同时担任 SOSP、ASPLOS、EuroSys、ATC 四大顶会的 TPC。
与中科院系统的交叉：冯二虎参与了中科院计算所胡杏（Xing Hu）、杜子东（Zidong Du）、郭崎（Qi Guo）团队的 ASPLOS'24 论文 TensorTEE，这一联系将 IPADS 的 TEE 技术栈与寒武纪一脉的 AI 芯片研究连接起来。李明宇毕业后加入中科院软件所，形成另一条延伸通道。
五、业界合作关系深度分析
夏虞斌的业界合作网络是其学术关系图谱中最具特色也最具影响力的部分。与多数学者"论文优先、转化随后"的模式不同，他明确将产业落地作为科研设计的前置约束，其自述"科研 + 应用"的双引擎驱动即指此。以下按合作对象类型展开。
5.1 华为：全方位、多层次的战略绑定
华为是 IPADS 乃至夏虞斌个人最重要的产业伙伴，这种绑定具有罕见的深度与制度化程度。
人员层面的双向流动是这一关系的基础。陈海波本人即为华为 Fellow、基础软件首席科学家兼上海交大讲席教授，同时担任开源鸿蒙项目群技术指导委员会（TSC）主席，这一"一人双岗"的安排使得 IPADS 与华为之间不存在通常意义上的机构壁垒。夏虞斌的博士生刘宇涛毕业后成为华为 OS 内核实验室上海团队负责人，后升任华为德累斯顿研究所所长，形成了从实验室到华为欧洲研发体系的直接通道。IPADS 校友进入华为的规模在所有雇主中位居第一，涉及李丁基、刘念、张墨、赵子明、卢旭、龚振涵、王家琛、王思远、王宁、洪阳、王夏杨等 20 余人。
技术层面的联合研发体现在多篇顶会论文的作者列表中。SOSP'25 最佳论文《How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service》的作者包含 Zhitai Yu、Yuxin Ren、Ning Jia 等华为技术专家；OSDI'25 的渲染服务并行化论文与 ASPLOS'25 的 D-VSync 论文均有华为的付明（Ming Fu）参与，直接服务于智能终端图形栈的性能优化；ASPLOS'24 的 sIOPMP 论文有 Wenbin Zheng、Siqi Zhao 参与。IPADS 与华为合作研发的 EROFS 文件系统已成为首个合入 Linux 内核主线的国人自主研发文件系统，并成为 Android 系统分区的官方文件系统，运行于亿级智能手机（该项由董明凯主导，但属同一研究所的技术资产池）。
教育与生态层面，夏虞斌担任上海交通大学-OpenHarmony（开源鸿蒙）技术俱乐部主任。2022 年他还担任 OpenHarmony 机密计算方向的技术专家组（TSG）成员。在开源鸿蒙"鸿蒙突击队"计划中，IPADS 与 OpenHarmony 技术俱乐部派出超过 30 位学生参与，13 位学生获评"鸿蒙突击队优秀实习生"，夏虞斌本人获"特别贡献奖"。在 2025 年开源鸿蒙技术大会教育分论坛上，他作《产业与教育结合的机遇与挑战》报告，系统阐述了产教融合中"目标、节奏、成本"三方面的结构性矛盾及其解法。他还曾随 OpenHarmony 代表团赴欧洲，与 Eclipse 基金会执行董事 Mike Milinkovich 等就 OpenHarmony 在欧洲的生态发展（Oniro OS）开展闭门研讨。
5.2 openEuler 社区与"蓬莱"TEE 的产业化路径
"蓬莱"（Penglai）是理解夏虞斌产业化方法论的最佳案例，其技术转化路径具有清晰的阶段性。
技术定位："蓬莱"是 RISC-V 平台目前主流的三大 TEE 方案之一（另两个为 RISC-V Keystone 与相关变体），也是其中唯一源自中国的 TEE 系统。与同类系统相比，"蓬莱"在可扩展性（隔离环境数量、安全内存大小）与系统性能（通信时延、启动开销）上具有数量级优势。其架构覆盖全栈：硬件层的 s-PMP 安全硬件扩展、固件层负责 Enclave 远程认证与隔离管理的安全监控器、应用软件层的安全 SDK（支持从 ARM 等平台无缝迁移安全应用）。
与 openEuler 的共建时间线（2021 年为关键年份）：
- 2021 年初，蓬莱团队启动与 openEuler 社区的整合工作。
- 2021 年 7 月，蓬莱发布基于 openSBI 的首个 release 版本，相关补丁提交至 openEuler RISC-V SIG 维护的 openSBI 代码仓并被接收。此后 openEuler RISC-V 默认的 M-mode 软件原生支持蓬莱 TEE，用户只需下载蓬莱 SDK 即可编写并运行安全应用。
- 2021 年 10 月，经过三个月内部开发与多轮代码 review，蓬莱团队提交了为 openEuler 机密计算开发套件 secGear 支持 RISC-V TEE（蓬莱 TEE）的 PR 并被接收，这是 secGear 当时引入的最大颗粒度新特性。此前 secGear 仅支持 Intel SGX、ARM TrustZone 与 iTrustee。这一合入使 openEuler 成为第一个支持"全栈"RISC-V 安全能力的发行版，蓬莱 TEE 作为其安全底座。
- 2021 年 11 月，蓬莱团队提出基于蓬莱 TEE 的可信机器学习框架并合入 secGear，openEuler 用户可通过蓬莱 SDK 进行安全的机器学习训练与推理，借助安全存储、验证启动与安全通信机制保障模型安全与用户隐私。同月，蓬莱团队参加 openEuler 暨操作系统 2021 峰会，在安全分论坛作《基于蓬莱 TEE 的 RISC-V 可信机器学习框架》报告。
产业合作伙伴：据《麻省理工科技评论》中国的报道与 openEuler 官方渠道，与"蓬莱"TEE 开展生态共建的国内企业包括华为、赛昉科技（StarFive）、芯来科技（Nuclei System Technology）、上海瓶钵信息科技（TrustKernel）等。其中赛昉科技与芯来科技均为国内头部 RISC-V 处理器 IP 与芯片厂商，这意味着"蓬莱"的安全扩展有机会进入国产 RISC-V 芯片的硬件设计层面。
标准化推进：蓬莱团队在 RISC-V 国际社区推进了 MPU（内存保护单元）方案，相关规范文档 Ssmpu.pdf 提交至 riscv/riscv-tee 仓库，这是从"实现"上升到"标准"的关键一步。
双社区底座地位：据《麻省理工科技评论》中国 2022 年的报道，"蓬莱"TEE 已成为开放原子开源基金会旗下 openEuler 与 OpenHarmony 两大操作系统的安全底座，这一"双底座"地位使其成为中国自主操作系统安全能力的共同支点。
开源资产：Penglai-Enclave-sPMP、Penglai-Enclave-TVM 等代码仓公开托管，配套文档站点 penglai-doc.readthedocs.io 对外开放，OSDI'21 论文预印本在 IPADS 官网公开。项目于 2020 年、2022 年两次获中国 RISC-V 联盟"前沿探索奖"。
5.3 隐私计算与机密计算的企业合作
夏虞斌因可信执行环境在隐私计算方面的贡献，于 2022 年 7 月入选《麻省理工科技评论》中国"2022 年隐私计算科技创新人物"（全国 10 人）。其在该领域的企业合作呈现明显的"技术路线预判 + 头部厂商跟进"特征。
与阿里巴巴／蚂蚁集团：OSDI'23 的《Encrypted Databases Made Secure Yet Maintainable》（HEDB）合作者包含阿里巴巴的 Huorong Li、Sheng Wang、Feifei Li（李飞飞，阿里云数据库负责人），直击加密数据库的可维护性难题。ASPLOS'20 的 Catalyzer 论文合作者包含蚂蚁集团的 Guanglu Yan、Chenggang Qin、Qixuan Xu；SoCC'20 的 ServerlessBench 亦有蚂蚁的 Ziqian Lu、Pingchao Yang、Chenggang Qin 参与；JCST'21 的 UniTEE 论文合作者包含蚂蚁的 Chenggang Qin、Zhengyu He。OSDI'25 的《Fork in the Road》则是与蚂蚁 Serverless 生产系统团队（Jianfeng Tan、Tiwei Bie、Zhengyu He 等）的大规模生产环境冷启动优化合作。
与英特尔：ASPLOS'20 的 Occlum（Intel SGX 单 Enclave 多任务库操作系统）与英特尔研究院 Hongliang Tian、Shoumeng Yan 合作，该系统后成为知名开源机密计算项目。
与三星：FAST'16 的《Mitigating Sync Amplification for Copy-on-write Virtual Disk》合作者含 Hyunsoo Kim。
与字节跳动：ASPLOS'26 的 PipeWeaver 合作者包含 Hanpeng Hu、Yimin Jiang、Yibo Zhu、Daxin Jiang，属于大规模多模态模型训练系统方向。
由学生创办的技术转化实体——瓶钵信息科技（TrustKernel）：上海瓶钵信息科技有限公司成立于 2015 年 1 月，注册地为上海市闵行区剑川路 951 号（紧邻交大闵行校区），法定代表人为夏虞斌的博士生利文浩（现任 CEO），2019 年完成 A 轮融资（数千万人民币），拥有专利 73 项、软件著作权 65 项。其核心产品 TrustKernel TEE OS 2.0 已通过 Common Criteria EAL4+ 级别认证，并获中国网络安全审查认证和市场监管大数据中心（CCRC）颁发的 IT 产品信息安全认证证书，累计部署超过 10 亿台设备。这是 IPADS 技术转化最成功的案例之一，也是夏虞斌"通过学生的创业创新实现技术落地"这一表述的具体所指。瓶钵同时也是"蓬莱"TEE 的生态合作企业，形成了"实验室研究—学生创业—反哺开源项目"的闭环。IPADS 校友中亦有学生（Zinan Li）直接入职 TrustKernel。
5.4 产学合作模式的方法论总结
综合来看，夏虞斌的业界合作可归纳为四条并行的通道：一是通过陈海波的双重身份实现与华为的组织级绑定；二是通过开源社区（openEuler、OpenHarmony、RISC-V 国际社区）实现技术的标准化与生态化沉淀；三是通过学生创业（瓶钵）实现商业化闭环；四是通过与阿里、蚂蚁、字节、英特尔等企业的联合论文实现在生产环境中的真实验证。他在 2022 年的公开表述精准概括了这一策略的动因："隐私计算的技术生态要避免成为下一个受制于人的安卓，就必须有属于自己的底层核心技术与世界级的创新能力。"
六、重要奖项与学术兼职
6.1 论文类奖项（含具体论文与年份）
| 年份 | 奖项 | 对应论文 | 说明 |
|---|---|---|---|
| 2026 | FAST 最佳论文奖 + 杰出制品奖（Best Paper Award and Distinguished Artifact Award） | Qingyuan Liu, Mo Zou, Hengbin Zhang, Dong Du, Yubin Xia, Haibo Chen. Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC. FAST 2026 | 生成式文件系统方向，同时获得论文与制品双奖 |
| 2025 | SOSP 最佳论文奖（Best Paper Award） | 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（首尔，DOI: 10.1145/3731569.3764800） | 这是 SOSP 自 1967 年创办以来第二篇由全亚洲学者团队独立完成并获此殊荣的论文（第一篇同为 IPADS 于 2023 年获得的 TreeSLS），含华为研究人员参与 |
| 2022 | DSN 十年时间验证奖（Test-of-Time Award） | Yubin Xia, Yutao Liu, Haibo Chen, Binyu Zang. CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters. DSN 2012（Boston） | 2022 年 6 月 28 日于第 52 届 DSN（巴尔的摩）颁发，由 DSN 指导委员会主席 Nuno Ferreira Neves 颁奖。该奖每年仅 2 篇，为该奖项创立以来首次由亚洲高校获得。CFIMon 是首个利用硬件性能计数器（PMU）保证软件控制流完整性（CFI）的工作，首次提出软硬件融合的 CFI 保证方案，使典型应用的性能开销获得数量级优化 |
| 2019 | VEE 最佳论文奖（Best Paper Award） | Wenhao Li, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang. TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms. VEE 2019 | 首次实现 ARM TrustZone 的虚拟化，支持单终端设备同时运行多个 TEE OS |
| 2014 | HPCA 最佳论文提名奖（Best Paper Nominee） | Yutao Liu, Yubin Xia, Haibing Guan, Binyu Zang, Haibo Chen. Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory（TxIntro）. HPCA 2014 | 利用硬件事务内存实现并发一致的虚拟机自省 |
6.2 荣誉称号与人才计划
| 年份 | 荣誉 |
|---|---|
| 2025 | ACM 杰出会员（Distinguished Member of ACM），表彰其"在计算机系统领域通过软硬件协同设计，兼顾性能与隔离性方面的贡献" |
| 2024 | 上海交通大学"佳和"优秀青年教师奖（"Jiahe" Outstanding Young Faculty Award） |
| 2023 | CCF 杰出会员（Distinguished Member of CCF） |
| 2022 | CCF NASAC 青年软件创新奖（NASAC Youth Software Innovation Award） |
| 2022 | 《麻省理工科技评论》中国"隐私计算科技创新人物"（全国 10 人） |
| 2021 | 教育部"青年长江学者"（国家重大人才工程青年学者岗位） |
| 2021 | 上海交通大学"卓越教学奖"（第九届，全校每年仅 5 席） |
| 2019 | 上海市"优秀学术带头人" |
| 2018 | 教育部技术发明一等奖（第 4 完成人） |
| 2018 | CCF 高级会员 |
| 2016 | 上海交通大学优秀教师奖（三等奖） |
| 2015 | "挑战杯"全国特等奖（指导教师，第 1 指导人） |
| — | 上海市技术发明一等奖 |
| — | 国家教学成果二等奖 |
| — | 与陈海波合著《现代操作系统》获 2020 年"操作系统领域最受读者喜爱的图书"奖 |
| — | 指导学生获"互联网+"双创大赛全国银奖、上海市"科技创新市长奖"、微软学者奖学金等 |
6.3 学术与社会兼职
国际会议程序委员会主席：VEE 2022 程序委员会共同主席（与 Dan Williams 合作）；ICDCS 2023 某 Track 程序委员会共同主席（与 Alysson Bessani 合作）。
国际会议程序委员会委员（按年份）：
- 2026：SOSP、ASPLOS、EuroSys、USENIX ATC
- 2025：SOSP、OSDI、EuroSys
- 2024：OSDI、EuroSys、USENIX ATC
- 2023：OSDI、APSys
- 2022：EuroSys
- 2021：EuroSys、SEED、HPC China
- 2020：EuroSys、VEE、MSST、APSys
- 2019：MSST、ChinaSys、NASAC、HPC China、CRVF
- 2018：OSDI、MobiSys、HPC China
- 2017：SOSP 本地组织委员会（LAC）；AsiaCCS、HPC China TPC
- 2016：HPC China
- 2014：ACA、APSys
国内学术与产业兼职：CCF 系统软件专业委员会常务委员；CCF 教育工作委员会主任助理；上海交通大学-OpenHarmony（开源鸿蒙）技术俱乐部主任；OpenHarmony 机密计算方向技术专家组（TSG）成员（2022）。
七、Connection 圈层总结
以夏虞斌为中心，其学术关系网络可以清晰地划分为五个同心圈层，每一层都对应着他学术生涯的不同阶段与不同的资源交换逻辑。
第一圈层：导师谱系（北京大学微处理器研究开发中心，2004—2010）。 核心节点是程旭教授，博士期间的直接合作者还包括杨春（Chun Yang）与钮艳（Yan Niu）。这一圈层在夏虞斌进入上海交大后基本停止了论文层面的互动（其 PKU 时期合作者在 2011 年后不再出现于其发表记录中），因此在其当前的合作网络中呈"历史性存在"。但这一圈层的隐性影响极其深远：北大众志自主处理器的技术训练塑造了他对"软硬件协同"与"自主可控"的双重执念，直接催生了十年后的"蓬莱"项目。这也是理解夏虞斌与多数纯操作系统背景学者差异的关键——他天然具备从指令集扩展层面思考系统安全问题的能力。
第二圈层：IPADS 学术共同体（2012 年至今，最紧密圈层）。 由陈海波、臧斌宇、管海兵构成的资深轴心是这一圈层的顶端。陈海波（60 次合作）与臧斌宇（38 次合作）几乎参与了夏虞斌在交大期间的全部重要成果，三人构成了一个稳定的、跨越十四年的学术生产单元。此外，糜泽羽、董明凯、陈榕、王肇国、魏星达、吴明瑜、姚旭佳等 IPADS 教职成员构成了这一圈层的横向支撑。这一圈层的特征是方向互补而非重叠：夏虞斌主攻 TEE／机密计算／Serverless，糜泽羽主攻大模型系统，董明凯主攻存储，陈榕主攻分布式与 RDMA，使得 IPADS 能够以研究所整体的形态覆盖系统软件的全栈。值得注意的是，陈海波的华为 Fellow 与开源鸿蒙 TSC 主席身份、臧斌宇的开源鸿蒙教育委员会主席身份，使这一圈层同时具备了产业与教育治理的双重延伸能力，夏虞斌的 OpenHarmony 技术俱乐部主任与 CCF 教育工委主任助理职务正是这一延伸的组成部分。
第三圈层：自主培养的学术梯队（学生转同事，最具增长性的圈层）。 华志超、古金宇、杜东（杜冬冬）、冯二虎四人构成了这一圈层的核心，他们均由夏虞斌参与培养、毕业后留任 IPADS，并已开始独立带领博士生、主持国家自然科学基金项目、担任国际会议程序委员。这一圈层的意义在于技术路线的代际传承：华志超继承了 TrustZone 与异构 TEE 主线，古金宇继承了微内核与 Enclave 隔离主线并延伸至开源鸿蒙具身智能，杜东继承了 Serverless 与机密计算加速主线，冯二虎继承了"蓬莱"并开辟了 NPU TEE 与端侧大模型新赛道。四人目前均已作为独立通讯作者在顶会发表论文，且在各自的工作中仍持续邀请夏虞斌参与，形成了强互惠的双向合作。这是夏虞斌学术网络中增长最快、未来影响力最大的一层。
第四圈层：产业界弟子与技术转化节点。 以刘宇涛（华为 OS 内核实验室上海团队负责人 → 华为德累斯顿研究所所长）与利文浩（瓶钵信息科技 CEO）为两个最重要的锚点。刘宇涛是 IPADS 与华为组织级绑定的人格化载体，利文浩则将 TEE 技术带向了累计 10 亿台设备的商业规模。此外，李明宇（中科院软件所）、李丁基与李文泰等分散在华为、字节、阿里云、蚂蚁、昆仑芯、DeepSeek 等企业的数十名校友，共同构成了一张覆盖国产基础软件与芯片产业链的关系网。这一圈层的独特之处在于，它不仅是"就业去向"，而是持续参与论文合作的活跃技术节点——蚂蚁的 Chenggang Qin、Zhengyu He，华为的 Ming Fu、Yuxin Ren、Ning Jia 等人反复出现在其近年的顶会论文作者列表中，说明产业界人员已成为其科研生产的实际组成部分。
第五圈层：跨机构与国际协作网络。 国内方面包括清华大学的陈康、陈渝、赵蓉团队，中科院计算所的胡杏、杜子东、郭崎团队，中科院软件所；企业方面包括阿里云（李飞飞、Sheng Wang）、蚂蚁集团、英特尔研究院（Shoumeng Yan、Hongliang Tian）、字节跳动、赛昉科技、芯来科技。国际方面包括 Long Lu（美国东北大学）、Cheng Tan（美国东北大学）、Sebastian Angel（宾夕法尼亚大学）、James Larus（EPFL）、Nathan Dautenhahn，以及通过 VEE 与 ICDCS 共同主席身份建立的 Dan Williams（弗吉尼亚理工）与 Alysson Bessani（里斯本大学）联系。相较于前四层，这一圈层的合作频次较低（多为 1—3 次），但在会议治理与国际学术声誉建构上具有不可替代的杠杆作用——2026 年同时担任 SOSP、ASPLOS、EuroSys、ATC 四大顶会 TPC，即是这一圈层长期经营的结果。
网络的整体特征可以概括为"纵向极深、横向适度、产业维度异常强健"。纵向上，"陈海波—臧斌宇—夏虞斌—四位留任弟子—在读博士生"构成了一条延续十四年、四代同堂的技术传承链；横向上，跨机构合作虽不密集但节点选择精准，全部落在清华、中科院、阿里云数据库、英特尔研究院等具有实质技术能力的对象上；而在产业维度上，通过华为的组织级绑定、openEuler／OpenHarmony 的社区嵌入、瓶钵的商业化闭环、以及与阿里蚂蚁字节的生产环境验证，形成了国内学术圈中罕见的四通道并行结构。这一结构使得夏虞斌的每一项研究几乎都能同时获得三种回报：顶会论文、开源代码库的采纳、以及真实设备上的部署量。
八、结语
夏虞斌的学术关系网络是一个高度组织化、目标明确的系统。其起点是北京大学微处理器研究开发中心在自主处理器方向上的训练，其主干是 IPADS 内部"陈海波—臧斌宇—夏虞斌"三角十四年不变的稳定协作，其枝叶是四位留任 IPADS 的弟子所开辟的 TrustZone、微内核、Serverless、NPU TEE 四条独立技术路线，而其果实则是"蓬莱"TEE 成为 openEuler 与 OpenHarmony 双社区安全底座、瓶钵 TEE OS 部署超 10 亿台设备、以及 SOSP 2025 与 FAST 2026 连续两年的最佳论文奖。
在 2026 年的当下，其研究重心正明显地从"可信执行环境"向"模型原生操作系统"（Model-Native Operating System）迁移——他在个人主页中提出，App 时代的操作系统为人机交互而设计，而 LLM 时代的操作系统将越来越多地由大模型而非人类来操作，IPADS 已围绕 AI Agent 的记录与重放、AI Agent 的记忆机制、AI 操作系统的新抽象与接口展开研究。这一转向意味着其学术关系网络在未来数年内可能出现新的扩张，尤其是在与字节跳动、DeepSeek 等大模型企业以及清华赵蓉团队等 AI 芯片方向的连接上（推测：MobiAgent、SkVM、RhymeRL 等 2025—2026 年的 arXiv 预印本很可能是下一批顶会成果与新一轮产业合作的先声）。