跳转至

上海交大IPADS 杜冬冬 副研究员

报告生成时间:2026年8月3日
个人主页:https://dongd.info
所属研究所:https://ipads.se.sjtu.edu.cn/


一、学者基本信息

杜冬冬(Dong Du,曾用名"杜东")是上海交通大学电子信息与电气工程学院软件学院并行与分布式系统研究所(Institute of Parallel And Distributed Systems,IPADS)的青年研究人员,是IPADS完全由本校本科—博士—留校任教一体化路径培养出的新生代学者代表。他本科就读于上海交通大学软件工程专业,博士就读于上海交通大学计算机科学与技术专业,2022年博士毕业后即刻留校,是继魏星达、古金宇之后IPADS"自主培养、留校建组"人才链条上又一个典型样本。

根据上海交通大学计算机学院教师名录(cs.sjtu.edu.cn),杜冬冬于2022年8月以助理研究员身份入职,2026年1月晋升为副研究员。其个人英文主页(dongd.info)的自我介绍为"I am an Associate Professor in the Institute of Parallel and Distributed Systems (IPADS), Shanghai Jiao Tong University",与计算机学院名录的"副研究员"为对应表述。软件学院旧教师名录(se.sjtu.edu.cn)仍标注为"助理研究员",存在信息更新滞后。

项目 内容
姓名 杜冬冬(Dong Du),曾用名"杜东"
现任职称 副研究员(2026年1月晋升,此前为助理研究员)
所属机构 上海交通大学电子信息与电气工程学院软件学院并行与分布式系统研究所(IPADS)
办公地点 软件学院3402房间(cs名录)/软件学院4楼圆厅(se名录)
电子邮箱 dd_nirvana@sjtu.edu.cn
学术组织成员 中国计算机学会(CCF)会员、ACM会员
研究方向 操作系统(尤其是OS内核)、Agent系统与基础设施、体系结构、系统安全(TEE)、服务器无感知(Serverless)计算、软硬件协同设计、RISC-V
当前研究重心 操作系统与大语言模型(LLM)的交叉领域,包括生成式操作系统(Generative OS,如FAST'26的SpecFS)与Agentic OS
代表性系统 蓬莱TEE(Penglai,目前最先进的RISC-V可信执行环境)、Serverless系统三件套(Catalyzer、ServerlessBench、Molecule)、RISC-V IPC扩展XPC
主要发表平台 OSDI、SOSP、ASPLOS、ISCA、MICRO、HPCA、FAST、USENIX ATC、ACM SoCC、ACM TOCS
标志性荣誉 SOSP 2025最佳论文奖(Copier)、FAST 2026 Erik Riedel最佳论文奖及杰出制品奖(SpecFS)、ACM中国优秀博士学位论文提名奖(2022)、ACM ChinaSys优秀博士学位论文奖(2022)、上海市优秀博士毕业生
开源社区职务 RISC-V国际基金会SPMP任务组(Task Group)主席、openEuler社区RISC-V SIG maintainer、OpenHarmony社区RISC-V与TEE SIG maintainer
教授课程 《云操作系统设计与实践》(本科生)、《软件基础实践》(本科生)、《计算机系统设计和实现:OpenHarmony》(研究生)

从公开的论文清单看,杜冬冬自2019年以第一作者在ISCA发表XPC论文起,至2026年上半年,已在OSDI发表/录用5篇以上、SOSP发表3篇以上、ASPLOS发表4篇、ISCA发表3篇、MICRO发表1篇、HPCA发表1篇、FAST发表1篇、USENIX ATC发表1篇、ACM SoCC发表4篇,另有ACM TOCS期刊长文。他的产出节奏在留校之后不降反升——仅2025至2026年一年多的时间内,他就作为通讯作者参与了SOSP'25(1篇,最佳论文)、OSDI'25(2篇)、OSDI'26(3篇)、ASPLOS'25(1篇)、ASPLOS'26(1篇)、ISCA'26(1篇)、FAST'26(1篇,最佳论文)等一系列顶会论文。这个产出密度在同年龄段的中国系统研究者中处于第一梯队。需要说明的是,其OpenAlex档案存在与同名学者混淆的风险(同名"Dong Du"在遥感、化工等领域亦有大量论文),因此本报告未采用OpenAlex/Google Scholar的合并式引用统计数据,全部论文信息以其个人主页与学院官网的一手清单为准。

二、教育背景与职业履历

杜冬冬的求学与任教履历极为简洁,也极为典型——他从2013年进入上海交通大学至今,从未离开过这所学校,是一位彻底"土生土长"的交大系统研究者。

2013年9月至2017年6月,他在上海交通大学软件学院攻读软件工程专业学士学位。2017年9月至2022年6月,他继续在上海交通大学攻读计算机科学与技术专业博士学位,在IPADS研究所完成全部博士阶段研究工作,博士期间即以第一作者身份在ISCA 2019(XPC)、ASPLOS 2020(Catalyzer)、ASPLOS 2022(Molecule)等体系结构与系统顶会连续发表重要成果。2022年6月1日,他在个人主页记录"I successfully defend my Ph.D thesis",完成博士论文答辩;同年8月31日记录"I started as an assistant professor at Shanghai Jiao Tong University",正式以助理研究员身份留校任教(cs.sjtu.edu.cn名录写"2022.08 - 2025.12 助理研究员,2026.1-至今 副研究员")。

关于博士导师的确认,本报告找到了来自本人的直接一手表述。在其个人主页2022年9月23日的新闻条目中,他在感谢ACM ChinaSys优秀博士学位论文奖时明确写道:"I was fortunate to receive The ACM Chinasys Doctoral Dissertation Award (2022). Many thanks to my advisor - Binyu Zang, Yubin Xia and Haibo Chen - and all my collaborators!"(感谢我的导师——臧斌宇、夏虞斌和陈海波——以及所有合作者)。据此可以确认:杜冬冬的博士培养采用的是IPADS研究所长期沿用的"多导师协同指导"模式,臧斌宇教授、夏虞斌教授与陈海波教授三人共同承担了导师角色。用户背景信息中提到的"博士导师为陈海波(需核实)"这一说法并不完整——陈海波确为其重要指导者之一,但并非唯一导师。从论文合作模式的细节亦可佐证这一判断:其博士阶段的核心论文(XPC、Catalyzer、ServerlessBench、Molecule)作者列表的收尾部分几乎固定为"Yubin Xia, Binyu Zang, ..., Haibo Chen"这一组合,其中夏虞斌通常紧随学生之后,臧斌宇居中,陈海波压轴,这正是IPADS典型的三导师协同署名秩序。若要指出日常指导关系最紧密的一位,从合作论文的密度和研究方向的一致性看(推测),夏虞斌教授在TEE与体系结构方向、陈海波教授在操作系统整体方向上对其影响最为直接。

一个值得关注的观察是他留校之后的研究方向演进轨迹。博士阶段他的研究重心是"Serverless系统 + 可信执行环境 + 软硬件协同"三条并行主线;留校最初两年(2022—2024)延续了这三条主线并将其做深(MICRO'23的HPMP、HPCA'23的可迁移Merkle树、ASPLOS'24的sIOPMP、ISCA'24的sNPU均属TEE与体系结构线,SoCC'23、ATC'24的Jiagu、SoCC'24的gCROP属Serverless与云计算线);而从2024年起,随着大模型浪潮的到来,他的研究版图明显向"操作系统 × 大语言模型"这一新兴交叉领域倾斜——个人主页当前的自述已将研究重心表述为"generative OSes(例如FAST'26中的SpecFS)与Agentic OS",2026年的ASPLOS论文RhymeRL瞄准的是强化学习rollout加速,OSDI'26的三篇论文分别涉及eBPF虚拟化、十亿级GPU向量检索与批处理负载的Serverless范式。这一转向与IPADS研究所整体向"AI基础设施 + 操作系统"融合布局的战略高度同步。

三、学生培养情况

作为一位2022年方才独立执教、至本报告撰写时刚满四年的年轻导师,杜冬冬的学生培养成果已经相当惊人。由于其个人主页的"people"页面仍是al-folio模板的未编辑占位内容(页面上显示的是"555 your office number"等示例文本),本报告无法从中直接获取完整的在读学生名录;但通过其主页新闻栏中每一篇论文录用时点名致谢的学生名单,以及论文作者列表中的第一作者信息,可以相当准确地重建出他所指导团队的核心成员构成。

在他所指导或联合指导的学生中,成果最为突出的是刘清源(Qingyuan Liu)。刘清源与杜冬冬的合作可以追溯到杜冬冬本人的博士阶段——刘清源是ASPLOS 2022论文Molecule(Serverless Computing on Heterogeneous Computers)的第二作者,也是SoCC 2020论文ServerlessBench的共同作者;留校后,杜冬冬作为通讯作者与刘清源合作产出了SoCC 2023的愿景论文《The Gap Between Serverless Research and Real-World Systems》、USENIX ATC 2024的Jiagu系统,并在2026年迎来了这一合作链条的高峰——刘清源作为第一作者的FAST 2026论文《Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC》(简称SpecFS)同时斩获了FAST 2026的Erik Riedel最佳论文奖与杰出制品奖(Distinguished Artifact Award),这是一篇探索"用形式化规范驱动大模型生成文件系统"的开创性工作,也是杜冬冬"生成式操作系统"研究愿景的第一个标志性落地成果。此外,ISCA 2026录用的CHIME(面向长上下文推理的DIMM-PIM注意力—FC解耦架构)中,刘清源也是被点名致谢的学生之一。

第二位标志性的学生是何靖凯(Jingkai He)。何靖凯作为第一作者完成的SOSP 2025论文《How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service》(系统名Copier)荣获SOSP 2025最佳论文奖——SOSP是操作系统领域公认的最高水平会议之一,能在其上获得最佳论文奖是极为罕见的成就。这篇论文提出把"内存拷贝"从散落在系统各处的隐式操作提升为一等公民的操作系统服务,杜冬冬为通讯作者,合作者还包括董云鹏(Yunpeng Dong)、邹默(Mo Zou)、余志泰(Zhitai Yu)、任玉鑫(Yuxin Ren)、贾宁(Ning Jia)、夏虞斌与陈海波。何靖凯随后又作为第一作者完成了ASPLOS 2026论文RhymeRL(利用rollout之间的相似性加速强化学习),并被点名致谢于OSDI'26的论文之中,是杜冬冬团队中产出最密集的博士生之一。

第三位是吴元培(Yuanpei Wu),他专注于移动图形与渲染子系统方向,作为第一作者先后完成了ASPLOS 2025的D-VSync(解耦渲染与显示的智能手机图形优化)与OSDI 2025的《OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit》。其中D-VSync的产业影响尤为突出——按照杜冬冬主页新闻栏2024年12月26日的说明,D-VSync"已被正式集成到商用智能手机操作系统HarmonyOS Next中,能够显著提升移动端的渲染性能"。这意味着一位在读学生的研究成果,已经通过产学合作渠道进入了数以亿计终端设备的实际运行环境。

第四位是杨彦宁(Yanning Yang),研究方向为GPU应用的检查点与恢复。他作为第一作者完成的SoCC 2024论文《On-demand and Parallel Checkpoint/Restore for GPU Applications》(系统名gCROP)首次实现了GPU应用小于100毫秒的启动延迟,在AMD GPU上相较于从零启动获得6.4至24.7倍的提速,相较于业界标准CRIU方案获得3.9至23.5倍的提速。杨彦宁同时也是ATC 2024论文Jiagu的第二作者,并被列入ISCA 2026 CHIME论文的致谢名单。

此外还有若干值得记录的成员:邹默(Mo Zou)从事文件系统形式化验证方向,其OSDI 2024论文《Using Dynamically Layered Definite Releases for Verifying the RefFS File System》首次(形式化地)验证了并发文件系统的活性(liveness),杜冬冬为第二作者;柴晓虎(Xiaohu Chai)主导了OSDI 2025论文《Fork in the Road》(对生产环境Serverless系统冷启动延迟的反思与优化,与蚂蚁集团/阿里团队合作)并在OSDI'26上再次以《Stop Pretending to be Busy: A Case for Serverless Paradigms in Co-located Batch Workloads》获得录用;冯二虎(Erhu Feng)是蓬莱TEE系列研究的核心成员,作为第一作者完成了OSDI 2021的PENGLAI、HPCA 2023的可迁移Merkle树、ASPLOS 2024的sIOPMP、ISCA 2024的sNPU,同时也是ASPLOS 2026 RhymeRL论文的合作者;张恒斌(Hengbin Zhang)参与SpecFS;张静(Jing Zhang)主导OSDI'26的eBPF虚拟化工作;柯昊润(Haorun)与何靖凯(Jingkai)共同完成OSDI'26的FlowANN十亿级GPU向量检索工作;董云鹏(Yunpeng Dong)参与SOSP'25最佳论文Copier。

综合来看,杜冬冬的学生培养呈现出三个鲜明特征。其一是"高起点、高强度"——独立执教四年之内,其指导的学生已经拿下SOSP最佳论文奖与FAST最佳论文奖各一项,这在国内系统研究界的年轻PI中几乎是独一档的战绩。其二是研究方向的"多线并行"——他同时维持着TEE与体系结构(冯二虎线)、Serverless与云计算(刘清源、柴晓虎、杨彦宁线)、移动系统与渲染(吴元培线)、形式化验证与生成式系统(邹默、刘清源线)、AI基础设施(何靖凯线)等五条研究线,每条线上都有能够独立冲击顶会的第一作者学生。其三是团队内部的紧密协作网络——刘清源、杨彦宁、何靖凯、邹默、冯二虎等人频繁出现在彼此论文的作者列表中(例如Jiagu由刘清源与杨彦宁共同主导,Copier由何靖凯与邹默共同参与,RhymeRL由何靖凯与冯二虎共同参与),显示出一个跨方向、高协同的实验室文化。由于其学生大多为2021级之后入学、目前仍在读,本报告未能获取到明确的毕业去向公开信息,因此不对学生的就业流向做推测性描述。

四、学术合作网络

杜冬冬的学术合作网络呈现出典型的"IPADS内生型"结构:以三位博士导师为绝对核心的第一圈层,以IPADS同代研究者与自己培养的学生为第二圈层,以产业界工程团队与开源社区为第三圈层,向外层层辐射。

在最核心的位置上是他的三位博士导师。夏虞斌(Yubin Xia)教授是与他合作最为频繁、也是研究方向最为贴近的一位。夏虞斌现为上海交通大学教授、博士生导师、国家级青年人才计划入选者、上海市优秀学术带头人、CCF杰出会员与ACM杰出会员,曾获教育部技术发明一等奖、上海市技术发明一等奖、SOSP最佳论文奖、DSN十年时间验证奖、CCF NASAC青年软件创新奖,目前担任CCF系统软件专委常务委员与上海交通大学-OpenHarmony技术俱乐部主任。极为关键的一点是,夏虞斌正是蓬莱TEE(Penglai-Enclave)项目的发起人——在2021年首届RISC-V中国峰会上,他以"上海交通大学分布式并行实验室教授、Penglai-Enclave发起人"的身份与RISC-V国际基金会CEO Calista Redmond、openEuler社区技术委员会主席胡欣蔚等就RISC-V生态合作进行了会谈。杜冬冬在蓬莱项目上的深度参与与后续接棒,正是建立在与夏虞斌这一师承关系之上的。从论文清单看,夏虞斌几乎出现在杜冬冬每一篇论文的作者列表中,跨度从2019年的XPC一直延续到2026年的SpecFS与RhymeRL,是名副其实的终身合作者。

陈海波(Haibo Chen)教授是IPADS研究所的领军人物,现为上海交通大学特聘教授、校务委员会委员、领域操作系统教育部工程研究中心主任、人工智能操作系统研究院院长,国家杰出青年科学基金获得者,ACM Fellow、IEEE Fellow、CCF Fellow,同时担任开源鸿蒙(OpenHarmony)项目群技术指导委员会主席、ACM SIGOPS首位非北美学者主席、《Communications of the ACM》首位中国学者编委与领域共同主席,曾任ACM EuroSys 2025程序委员会共同主席。按照csrankings.org的统计,其近十年在SOSP/OSDI上发表的论文数居世界第一。陈海波在杜冬冬绝大多数论文中担任末位作者,是研究方向的战略把关者与产学研资源的对接枢纽;杜冬冬能够深度参与OpenHarmony相关的研究与开源工作,与陈海波作为OpenHarmony TSC主席的角色密不可分。

臧斌宇(Binyu Zang)教授是上海交通大学软件学院长聘教授、博士生导师,2024年荣获"CCF杰出教育奖"(当年全国仅两位学者获此殊荣)。臧斌宇出现在杜冬冬博士阶段几乎所有核心论文的作者列表中(XPC、Catalyzer、ServerlessBench、Molecule、PENGLAI、TOCS期刊论文),也出现在其留校后的部分论文中(D-VSync、OSDI'25的渲染服务论文)。相比夏虞斌与陈海波在具体技术方向上的深度介入,臧斌宇的角色(推测)更偏向学术把关与学生培养体系层面的指导,这与他获得"CCF杰出教育奖"的定位相吻合。

在IPADS研究所内部的同代与近同代合作者中,华志超(Zhichao Hua)是一个关键节点。华志超是杜冬冬第一篇ISCA论文XPC(2019)的第二作者,也是2022年ACM TOCS期刊长文《Boosting Inter-Process Communication with Architectural Support》的共同作者——这篇TOCS论文实质上是XPC工作的期刊扩展版,作者列表为Yubin Xia, Dong Du, Zhichao Hua, Binyu Zang, Haibo Chen, Haibing Guan。XPC是一项面向微内核IPC瓶颈的软硬件协同设计工作,在Rocket RISC-V核上通过FPGA实现,将IPC调用延迟从664周期降至21周期,并被移植到seL4、Zircon与Android Binder三个系统上验证,是杜冬冬与华志超共同的代表作。值得注意的是,这篇TOCS论文还引入了管海兵(Haibing Guan)教授作为共同作者,这是杜冬冬合作网络中少见的跨研究所(上海交大电院其他团队)连接。

冯二虎(Erhu Feng)是杜冬冬在TEE方向上最重要的长期搭档,二人的关系兼具"同门先后辈"与"导学"双重属性。冯二虎作为第一作者、杜冬冬作为第三作者的OSDI 2021论文《Scalable Memory Protection in the PENGLAI Enclave》(作者列表:Erhu Feng, Xu Lu, Dong Du, Bicheng Yang, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen)是蓬莱TEE最具影响力的一篇论文,此后二人在HPCA 2023(可迁移Merkle树,杜冬冬为通讯作者)、ASPLOS 2024(sIOPMP,杜冬冬为通讯作者)、ISCA 2024(sNPU,杜冬冬为通讯作者)上连续合作,形成了一条完整的"蓬莱TEE衍生研究链"——从内存保护(OSDI'21)到分布式安全内存(HPCA'23)到I/O保护(ASPLOS'24)到NPU可信执行环境(ISCA'24),再到杜冬冬自己独立主导的页表遍历加速(MICRO'23的HPMP/Penglai-HPMP)。在这条链条上,杜冬冬完成了从"参与者"到"通讯作者"的角色跃迁,实际上已经成为蓬莱TEE学术研究方向的主要推动者之一。此外,PENGLAI论文的其他共同作者卢旭(Xu Lu)、杨碧成(Bicheng Yang)、蒋学强(Xueqiang Jiang)也构成了他TEE与Serverless方向的同门合作圈——杨碧成还是他MICRO 2023论文的第二作者,蒋学强则是ASPLOS 2022 Molecule论文的第三作者。

IPADS内部的其他合作者还包括:董明凯(Mingkai Dong),出现在OSDI 2024的RefFS验证论文中;余天翼(Tianyi Yu),ASPLOS 2020 Catalyzer的第二作者与SoCC 2020 ServerlessBench的第一作者,是杜冬冬Serverless研究早期的关键搭档;丁浩然(Haoran Ding),SOSP 2019 AtomFS论文的共同作者。在形式化验证方向上,SOSP 2019的AtomFS论文还把杜冬冬与顾荣辉(Ronghui Gu,哥伦比亚大学教授、CertiKOS作者、区块链安全公司CertiK联合创始人)以及付明(Ming Fu,华为)连接在了一起,这是他学术网络中少有的与北美顶尖形式化验证学者的直接连接。

在跨机构学术合作方面,值得单独指出的是USENIX ATC 2024的Jiagu论文——该论文的作者列表中出现了James R. Larus,即洛桑联邦理工学院(EPFL)计算机与通信科学学院院长、前微软研究院研究主管、ACM Fellow、IEEE Fellow,是Serverless与编程语言/系统交叉领域的国际权威。这是杜冬冬合作网络中层级最高的一次国际学术合作。此外,OSDI 2025的《Fork in the Road》论文将他与清华大学的陈康(Kang Chen)、陈渝(Yu Chen)两位教授连接在了同一篇论文中,构成了与清华系统研究团队的跨校合作通道。

五、业界合作关系深度分析

杜冬冬的产业连接密度在同龄学者中相当突出,且呈现出一个鲜明的特点:他不是通过"提供咨询"或"接横向课题"的方式与产业界发生关系,而是通过开源社区治理职务、标准制定组织职务和真实生产系统的代码落地三条渠道深度嵌入产业链条。这一模式的形成,与他的两大技术根据地——蓬莱TEE和Serverless系统——的性质高度相关。

第一条主线是蓬莱可信执行环境与RISC-V生态。蓬莱(Penglai)是由夏虞斌发起、IPADS团队打造的开源RISC-V可信执行环境系统,被业界认为是目前最先进的RISC-V TEE方案之一,其代码托管于GitHub的Penglai-Enclave组织下,包含基于PMP的OpenSBI版本(Penglai-Enclave-sPMP)与功能更完备的TVM版本(支持enclave间通信、安全存储、shadow fork等特性)。蓬莱的产业落地路径已经相当清晰:在操作系统发行版层面,蓬莱与openEuler深度集成,其官方仓库直接提供了"在openEuler上运行蓬莱"的完整构建方案,并持续跟进openEuler 20.03至23.X各版本的适配;在真实芯片层面,面向芯来科技(Nuclei System Technology)设备的蓬莱版本被维护在Nuclei Linux SDK中——芯来科技是国内领先的RISC-V CPU IP供应商,其NS系列RISC-V安全处理器内核已通过SGS Brightsight的安全评估,这意味着蓬莱的技术路线与国产RISC-V安全芯片的商业化路径存在直接的对接通道;在智能终端操作系统层面,蓬莱衍生出了"蓬莱-OpenHarmony"这一面向万物互联场景的开源机密计算平台,杜冬冬本人在第一届OpenHarmony技术峰会上作为主讲人系统介绍了这一工作。

杜冬冬在RISC-V生态中的位置尤其值得强调。按照其个人主页的说明,他现任RISC-V国际基金会SPMP任务组(SPMP Task Group)主席。SPMP(Supervisor-mode Physical Memory Protection,S模式物理内存保护)是RISC-V架构中一项与内存隔离和TEE直接相关的扩展规范,担任其任务组主席意味着他直接参与了RISC-V指令集架构层面安全扩展的标准制定工作——这已经超越了一般意义上的"产学合作",而是进入了全球开源指令集架构治理体系的核心。同时,他还是openEuler社区RISC-V SIG的maintainer和OpenHarmony社区RISC-V SIG与TEE SIG的maintainer,在两个中国最重要的开源基础软件社区中同时持有RISC-V方向的技术维护权限。这三个职务叠加起来,构成了一条"架构标准(RISC-V国际基金会)—服务器操作系统(openEuler)—终端操作系统(OpenHarmony)"的纵向贯通通道,使他在RISC-V可信计算这一细分赛道上具有相当独特的话语权。

从技术演进的角度看,蓬莱系列研究的产业指向性也非常明确:MICRO 2023的HPMP针对的是Intel TDX、ARM CCA这类现代机密计算系统引入权限表后导致的页表遍历膨胀问题(RISC-V Sv39下内存引用从4次增至12次),提出用段寄存器保护页表页、用权限表保护普通页的混合方案,在FPGA上以顺序核与乱序核(BOOM)双实现验证,可降低23.1%至73.1%的开销;ASPLOS 2024的sIOPMP解决的是TEE场景下I/O隔离的性能问题,相较于基于IOMMU的机制提升20%至38%的网络吞吐,支持超过1000个硬件区域,直击云厂商在机密计算场景下的I/O性能痛点;ISCA 2024的sNPU则把TEE保护扩展到集成NPU加速器上,对应的是端侧与边缘AI推理的数据隐私保护需求。这三项工作的应用前景(推测)主要集中在三个方向:一是国产RISC-V服务器芯片的机密计算能力构建,二是端侧AI设备(手机、IoT)上的模型与用户数据保护,三是隐私计算/数据要素流通场景下的可信底座。考虑到中国在数据要素市场建设和信创产业自主可控方面的政策驱动力,以及RISC-V作为"第三大指令集架构"在国内获得的战略性投入,蓬莱这一技术路线的产业化空间在可预见的未来是相当广阔的。

第二条主线是Serverless计算与云厂商合作。杜冬冬博士阶段的成名作Catalyzer(ASPLOS 2020)提出了通过从检查点镜像恢复而非从零启动的"init-less"方案,把Serverless函数的启动延迟压缩到最好情况下1毫秒以内,并引入了sfork(sandbox fork)这一新的操作系统原语。这篇论文最重要的产业注脚写在论文摘要的最后一句:"Catalyzer has been adopted by Ant Financial"(Catalyzer已被蚂蚁金服采用),论文作者列表中的严广陆(Guanglu Yan)、秦承刚(Chenggang Qin)、吴启轩(Qixuan Wu)即为蚂蚁方面的合作者。同一年的SoCC 2020论文ServerlessBench同样有蚂蚁团队成员(陆子谦Ziqian Lu、杨平超Pingchao Yang、秦承刚)参与,该基准测试套件已经成为Serverless系统研究领域被广泛使用的开源评测工具。这是一个相当罕见的案例:一位博士生的研究成果在论文发表的同时就已经进入了国内头部金融科技公司的生产系统。

留校之后,他的Serverless产业合作从蚂蚁进一步扩展到华为云。SoCC 2023的愿景论文《The Gap Between Serverless Research and Real-World Systems》明确标注为"与华为云合作完成",这篇论文的独特价值在于它是从产业视角出发,系统性地指出学术界Serverless研究中那些"基于过度简化假设、导致方案不可行并掩盖真实问题"的普遍缺陷,并提出了五项新的挑战与洞见——能够写出这样一篇论文,本身就说明作者对产业界真实系统的运行细节有着深入的了解。USENIX ATC 2024的Jiagu系统同样是与华为云合作的产物(作者中的张平Ping Zhang、冯佳Jia Feng来自华为云),目标是提升真实Serverless平台的资源利用率。而OSDI 2025的《Fork in the Road》则把合作对象扩展到了另一个体量更大的团队——该论文有多达17位作者,其中谈鉴锋(Jianfeng Tan)、鄙梯维(Tiwei Bie)、何征宇(Zhengyu He)等均为蚂蚁集团/阿里系统技术领域的知名工程师,论文主题是对生产环境Serverless系统冷启动延迟的反思与优化,可以视为Catalyzer问世五年之后,学术界与产业界共同对这一问题的一次系统性复盘。

第三条主线是与华为在终端操作系统(OpenHarmony/HarmonyOS)方向的合作,这条线的落地程度最为直接。ASPLOS 2025的D-VSync论文(作者包括华为的徐超Chao Xu、付明Ming Fu)研究智能手机图形栈中渲染与显示的解耦,按照杜冬冬主页的明确说明,该技术"已被正式集成到商用智能手机操作系统HarmonyOS Next中";OSDI 2025的渲染服务并行化论文(作者包括华为的徐超、付明、于洋Yang Yu)是同一条技术线的延续;SOSP 2025的最佳论文Copier(作者包括华为的任玉鑫Yuxin Ren、贾宁Ning Jia)把内存拷贝提升为一等公民的操作系统服务,同样具有直接的工程落地价值。此外,他在ASPLOS 2024上共同主持了首届OpenHarmony技术教程(Tutorial)研讨会,并在研究生课程中开设《计算机系统设计和实现:OpenHarmony》,构成了从科研合作到人才培养的完整闭环。

综合来看,杜冬冬的业界合作图谱可以概括为"三家企业、两大生态、一个标准组织":蚂蚁集团(Serverless冷启动,Catalyzer落地)、华为及华为云(Serverless资源利用率、终端图形栈、内存拷贝服务,D-VSync落地HarmonyOS Next)、芯来科技(蓬莱TEE在RISC-V商用IP上的适配);openEuler与OpenHarmony两大开源社区的RISC-V/TEE方向maintainer职务;以及RISC-V国际基金会SPMP任务组主席这一标准制定职务。这一组合使他成为国内为数不多的、同时在"云侧Serverless"和"端侧可信执行环境"两个方向都拥有真实产业落地记录的青年系统研究者。

六、重要奖项与学术兼职

在个人奖项方面,杜冬冬的荣誉主要集中在博士学位论文层面。2022年,他的博士学位论文获得ACM ChinaSys优秀博士学位论文奖(ACM ChinaSys Doctoral Dissertation Award),ChinaSys是ACM SIGOPS中国分会主导的系统研究社区,该奖项是国内系统领域博士论文的最高荣誉之一;同年(提名结果于2023年1月31日公布),他又获得ACM中国优秀博士学位论文提名奖(Honorable Mentions for the 2022 ACM China Doctoral Dissertation Award),这是ACM中国分会面向全国计算机学科所有方向评选的奖项,含金量极高。此外他还获得了上海市优秀博士毕业生(Outstanding Doctoral Graduate of Shanghai)荣誉称号。

在指导学生获得的论文奖项方面,2025年至2026年这一年多的时间是他执教生涯的第一个高峰。2025年10月17日,由他担任通讯作者、何靖凯为第一作者的论文Copier荣获SOSP 2025最佳论文奖;2026年2月27日,由他担任通讯作者、刘清源为第一作者的论文SpecFS同时荣获FAST 2026的Erik Riedel最佳论文奖与杰出制品奖(Distinguished Artifact Award)。在不到半年的时间里,在操作系统领域最高会议SOSP和存储领域最高会议FAST上各斩获一次最佳论文奖,这一成绩在全球范围内的青年PI中都属罕见。需要说明的是,其主页在FAST条目上写作"the Best Paper Award and Distinguished Artifact Award of FAST 2025",但论文本身发表于FAST 2026(2026年2月,Santa Clara),且陈海波教授的官网条目明确标注为"The 24th USENIX Conference on File and Storage Technologies, Santa Clara, CA, USA, February, 2026(Erik Riedel Best Paper Award and Distinguished Artifact Award)",因此主页中的"FAST 2025"应为笔误,实际为FAST 2026。

在学术会议服务方面,杜冬冬的活跃度和层级都在快速攀升,其历年担任的程序委员会(TPC)与外部评审委员会(ERC)职务包括:ACM SoCC 2022 TPC、MICRO 2022 ERC、ACM CCS 2024 TPC、ACSAC 2024 TPC、ChinaSys 2024 TPC、USENIX NSDI 2025 TPC、ISCA 2025 TPC、MICRO 2025 TPC、ASPLOS 2026 ERC、USENIX FAST 2026 TPC、HPCA 2026 TPC、ACM SoCC 2026 TPC,以及SOSP 2026 TPC。这份名单的覆盖面相当引人注目——它同时横跨了操作系统(SOSP)、体系结构(ISCA、MICRO、HPCA、ASPLOS)、网络(NSDI)、存储(FAST)、云计算(SoCC)和安全(CCS、ACSAC)六个不同的子领域,这在系统研究者中并不常见,反映出他"操作系统 + 体系结构 + 安全"三栖的知识结构。其中受邀担任SOSP 2026程序委员会委员尤其值得关注——SOSP是操作系统领域两年一届的最高会议,其TPC席位历来极为稀缺,一位2022年才独立执教的学者能够进入SOSP的TPC,是其学术声誉获得国际同行认可的明确信号。

在会议组织服务方面,他担任的职务包括:SOSP 2023制品评审委员会共同主席(Artifact Evaluation Committee Co-Chair)——这是他获得的第一个国际顶会级别的组织职务,主页新闻栏2023年3月11日的条目记录了他公开招募AEC成员的信息;ASPLOS 2024 OpenHarmony技术教程研讨会共同主席(该Tutorial的官方网站为openharmonyos.org/tutorial/);APSys 2024宣传共同主席(Publicity Co-Chair);以及ACM SIGOPS博客编辑(ACM SIGOPS Blog Editor)——后者是一个持续性的社区服务职务,SIGOPS Blog是操作系统研究社区最重要的非正式交流平台之一,由陈海波担任ACM SIGOPS主席这一背景来看(推测),杜冬冬在SIGOPS社区服务体系中的参与很可能与IPADS整体在国际系统研究社区中的话语权建设是同步推进的。

在开源社区治理职务方面(此部分与第五节业界合作有所重叠,此处从学术兼职角度再作归纳):RISC-V国际基金会SPMP任务组主席、openEuler社区RISC-V SIG maintainer、OpenHarmony社区RISC-V SIG与TEE SIG maintainer。他同时是中国计算机学会(CCF)会员与ACM会员。

七、Connection圈层总结

以杜冬冬为圆心,其学术关系网络可以清晰地划分为五个由内向外的同心圈层,而贯穿所有圈层的一条主线是——他是IPADS研究所"自主培养、内部传承、外部延伸"这一人才成长模式在新一代研究者身上最新、也最成功的一次实践。

第一圈层是他的三位博士导师,即夏虞斌、陈海波与臧斌宇。这一"三导师"结构并非偶然,而是IPADS长期形成的培养传统,在杜冬冬本人对ACM ChinaSys奖项的公开致谢中得到了明确确认。三位导师在他的学术生命中扮演着不同但互补的角色:夏虞斌是技术方向上最贴近的引路人,也是蓬莱TEE项目的发起者,二人的合作从2019年的XPC延续至2026年的SpecFS从未中断;陈海波是战略层面的把关者与产学研资源枢纽,其ACM SIGOPS主席、OpenHarmony TSC主席的身份为杜冬冬进入国际系统社区服务体系和华为终端操作系统合作网络提供了直接通道;臧斌宇则在学术规范与人才培养体系层面提供支撑。这三重关系至今仍在持续,三位导师的名字依然频繁出现在杜冬冬作为通讯作者的最新论文的作者列表末尾,师生关系已经完全演化为平等的长期合作关系。

第二圈层是IPADS内部的同门与同代研究者。其中最核心的是冯二虎——二人围绕蓬莱TEE形成了一条从OSDI'21到HPCA'23、ASPLOS'24、ISCA'24再到ASPLOS'26的完整合作链条,且杜冬冬在这条链条上完成了从共同作者到通讯作者的角色跃迁,实质上接过了蓬莱学术研究方向的接力棒。华志超是XPC与TOCS期刊论文的关键合作者,代表了其在微内核IPC与软硬件协同设计方向的最早期合作关系。此外还有余天翼(Catalyzer与ServerlessBench)、邹默(AtomFS与RefFS验证)、董明凯、丁浩然、卢旭、杨碧成、蒋学强等博士阶段的同期战友。从更宏观的视角看,杜冬冬与魏星达、古金宇等同为IPADS"本校培养—留校任教"路径上的青年PI群体成员,这一群体正在构成IPADS未来十年的中坚力量。

第三圈层是他作为独立PI亲手建立起来的学生梯队,这也是他四年来最重要的产出。刘清源(FAST'26最佳论文第一作者)、何靖凯(SOSP'25最佳论文第一作者)、吴元培(D-VSync落地HarmonyOS Next)、杨彦宁(gCROP)、柴晓虎(生产环境Serverless冷启动)、邹默(文件系统形式化验证)、张恒斌、张静、董云鹏等人共同构成了这一梯队。这个圈层的显著特征是"高天花板"——四年之内产出两项顶会最佳论文、一项进入商用手机操作系统的技术落地,说明杜冬冬不仅继承了IPADS的研究品味,也已经具备了将年轻学生带上国际顶尖水平的独立培养能力。这一圈层是IPADS代际传承链条上最新的一环。

第四圈层是产业界合作网络。这一圈层可以拆分为三个子集群:蚂蚁集团系统技术团队(严广陆、秦承刚、吴启轩、陆子谦、杨平超,以及OSDI'25论文中的谈鉴锋、鄙梯维、何征宇等),围绕Serverless冷启动与生产系统优化展开,Catalyzer的产业采用是这一关系的起点;华为及华为云团队(付明、徐超、于洋、任玉鑫、贾宁、张平、冯佳),覆盖终端图形栈、内存服务、Serverless资源利用率等多个方向,D-VSync进入HarmonyOS Next是这一关系最实质的成果;以及RISC-V芯片生态(芯来科技的Nuclei Linux SDK维护蓬莱设备版本)。这一圈层的特点是"代码级落地"而非"论文级合作",其成果直接进入了金融支付基础设施与消费级终端设备的生产环境。

第五圈层是开源社区治理与国际学术服务网络。在开源侧,他通过RISC-V国际基金会SPMP任务组主席、openEuler RISC-V SIG maintainer、OpenHarmony RISC-V与TEE SIG maintainer三重身份,嵌入了"指令集架构标准—服务器操作系统—终端操作系统"这条完整的国产基础软硬件生态链;在国际学术服务侧,他通过SOSP 2026、ISCA 2025、MICRO 2025、HPCA 2026、FAST 2026、NSDI 2025、SoCC 2026、CCS 2024等横跨六个子领域的程序委员会席位,以及SOSP'23制品评审共同主席、ACM SIGOPS博客编辑等组织职务,与全球系统研究社区建立了广泛联系。此外,通过USENIX ATC 2024的Jiagu论文,他与EPFL计算机与通信科学学院院长James R. Larus建立了直接的国际学术合作;通过SOSP 2019的AtomFS论文,他与哥伦比亚大学顾荣辉教授(CertiKOS作者)产生了交集;通过OSDI 2025的《Fork in the Road》,他与清华大学陈康、陈渝团队建立了跨校连接。

综合判断,杜冬冬的学术关系网络最本质的特征是"根深叶茂、内外双通"。所谓"根深",是指他从本科到独立PI的十三年全部在同一个研究所度过,与三位导师形成了极为紧密而稳定的学术共同体,继承了IPADS在操作系统、体系结构与系统安全三个方向上积累了十余年的技术资产(尤其是蓬莱TEE这一旗舰级开源项目);所谓"叶茂",是指他在独立执教仅四年之内就建立起了跨越五个研究方向、能够连续斩获顶会最佳论文的学生梯队;所谓"内外双通",则是指他同时打通了两条外部通道——一条通向产业界真实系统的代码落地(蚂蚁、华为、芯来),一条通向国际学术共同体与开源标准组织(SOSP TPC、RISC-V国际基金会SPMP任务组主席)。在中国系统研究者中,能够同时在"云侧Serverless"与"端侧可信执行环境"两个技术版图上拥有独立话语权,并进一步向"操作系统 × 大语言模型"这一新兴前沿主动转型的青年学者并不多见,杜冬冬是观察中国顶尖系统实验室如何培养出既能发顶会又能落地产业的复合型青年PI的一个高度典型的样本。