清华高性能所陈康研究员

报告生成时间：2026年8月3日
个人主页：https://hpc.cs.tsinghua.edu.cn/info/1537/2675.htm
所属研究所：https://hpc.cs.tsinghua.edu.cn/

一、学者画像与基本信息

陈康（Kang Chen）是清华大学计算机科学与技术系高性能计算研究所的研究员、博士生导师。清华官方中文主页将其职称明确标注为"研究员"，但在系里及部分国际会议的作者机构信息中，其英文头衔常被写作"Professor"——这是清华大学计算机系内部职称序列（研究员/副研究员/助理研究员）与英文通行译法（Professor/Associate Professor/Assistant Professor）之间的对应惯例造成的表述差异，二者指向同一实际教职，并非两个不同的职称评定结果。他本科与博士均毕业于清华大学计算机系，长期扎根于存储系统与分布式系统方向，近年来的研究重心已经从传统的虚拟化、RDMA 网络存储，扩展到无服务器计算（Serverless）、安全容器与机密计算等云原生系统前沿领域。

陈康身上最鲜明的标签是"深度产学研结合的系统研究者"：他与清华软件学院长聘副教授陈渝之间维持着一条持续二十余年、跨越操作系统内核、可信执行环境、无服务器计算等多个方向的稳定合作线，同时二人共同将这条学术主线延伸到了工业界——尤其是与蚂蚁集团系统软件团队的深度绑定，形成了从 Occlum（2020）到 HyperEnclave（2022）、再到 Skyloft（SOSP 2024）、Fork in the Road（OSDI 2025）、SKernel（EuroSys 2026）的一系列标志性联合成果。这使得陈康的学术画像不同于纯高校型研究者，而更接近于"高校方法论 + 产业级系统落地"的复合型系统专家。

（一）基本信息表

项目	信息
姓名	陈康（Kang Chen）
现职	清华大学计算机科学与技术系高性能计算研究所研究员、博士生导师
职称表述差异	清华中文官网明确标注"研究员"；系内及会议作者信息中英文常表述为"Professor"，二者为同一教职的中英对应关系，而非重复任职
联系方式	邮箱：chenkang@tsinghua.edu.cn；电话：+86-10-62783505 转 5（公开于清华系官网）
个人主页	官方主页 https://hpc.cs.tsinghua.edu.cn/info/1537/2675.htm；此前挂靠的 MADSys 课题组个人页 http://madsys.cs.tsinghua.edu.cn/~kangchen/ 在本次检索时返回 403，暂不可直接访问
研究方向	存储系统、分布式系统；清华官网研究领域一栏明确写为"存储系统, 分布式系统"，其近年发表进一步覆盖操作系统虚拟化、无服务器计算、安全容器、机密计算与大数据系统
所属课题组	MADSys（Machine Learning, AI, and Big Data Systems）课题组核心骨干教师，课题组由武永卫教授牵头
代表发表平台	OSDI、SOSP、EuroSys、ASPLOS、ATC、FAST、HPCA、SC、VLDB 等系统与数据库顶级会议/期刊
公开计量情况	本次检索未能在 OpenAlex／DBLP 获取到可靠且消歧准确的引用计量快照（"Kang Chen"重名严重，OpenAlex 按机构与研究方向的检索均未返回可信匹配）；DBLP 已确认其唯一作者标识为 pid 91/6670-1（显示为"Kang Chen 0001"），据此标识可完整复原其发表列表，但站点未提供该 pid 对应的聚合引用数、h-index 等计量指标，故本报告不做未经验证的数字引用，仅以发表列表作为核心证据来源

（二）教育与职业履历

时间	经历	说明
1995—1999	清华大学计算机科学与技术系，工学学士	官方履历明确记载的本科阶段
1999—2004	清华大学计算机科学与技术系，工学博士	官方履历明确记载"工学博士（计算机科学与技术），清华大学，中国，2004"
2004 年前后	曾在 Intel 中国研究中心从事网格环境下分布式数据流方向的研究	陈康本人在研究概况中自述"入职之前曾在 Intel 中国研究中心从事网格方向上分布式数据流的工作"，另有一段自然语言处理（无词典中文分词）方向的研究经历，说明其学术起点比存储系统更宽泛
2004 年后	入职清华大学计算机系，历经助理研究员/副研究员序列，成长为研究员、博士生导师	具体职称晋升的逐年时间节点未在公开材料中找到完整披露，暂无法逐年复原
2007—2011	主持 973 计划二级课题"多计算系统虚拟化技术研究"	官方主页列出的科研课题
2010—2012	主持国家自然科学基金课题"基于网络的多机虚拟化技术关键问题研究"	同上
2015 年前后	作为核心成员参与"面向社区共享的高可用云存储系统"项目，与郑纬民、武永卫等共获国家技术发明二等奖	该团队还包括舒继武、余宏亮、姜进磊等，陈康是清华高性能所存储与虚拟化方向的中坚力量之一
近年	研究方向从虚拟化、RDMA 存储扩展到无服务器计算、安全容器、机密计算	与陈渝及蚂蚁集团团队的合作自 2018—2020 年前后（Occlum 项目）持续至今

关于博士导师，陈康本人的官方主页未给出"由某某指导"的直接表述，但其学术起步阶段（2004 年前后）与郑纬民院士存在密切且可复核的共同署名关系：一篇公开列出的代表作《云计算：系统实例与研究现状》（《软件学报》2009 年第 20 卷第 5 期）仅由"陈康、郑纬民"二人署名；更早的一篇计算语言学论文（Computational Linguistics, 2004）由 Haodi Feng、Kang Chen、Xiaotie Deng、Weimin Zheng 共同完成。结合陈康 1999 级博士、彼时郑纬民正担任高性能所学术带头人这一时间背景，郑纬民为陈康博士阶段的指导教师或重要学术引路人这一判断具有较强的合理性，但目前只能定性为推测：清华高性能所另一份关于郑纬民师承脉络的档案性梳理（见本所另一学者陈文光、翟季冬等人的报告）中列出的"郑纬民直接指导的博士生"及"推测的师生关系"名单均未收录陈康，因此本报告对这一点采取审慎表述，不作为确定性结论呈现。可以确定的是，陈康与郑纬民、武永卫同属清华高性能所"存储与虚拟化"这条学术脉络，三人在 2015 年共同获得国家技术发明二等奖，构成了稳定的所内合作共同体。

二、学生培养与团队梯队

陈康作为 MADSys 课题组的核心骨干教师，与课题组负责人武永卫教授共同承担了大量研究生培养工作，但 MADSys 课题组公开的校友名录通常以课题组整体名义呈现（列出毕业年份、学位与首份工作去向），并未逐一标注每位学生对应的具体指导教师，这使得"某学生系陈康所指导"这一判断在缺乏论文通讯作者信息或官方证实的情况下不宜草率认定。本报告采取以下原则：凡能通过论文的通讯作者位置、清华官方新闻或学生本人公开简历明确关联到陈康的，予以确认；其余仅作为"MADSys 课题组培养、与陈康存在合作关系"的从属信息呈现。

一个可以较有把握地关联到陈康的案例是 SOSP 2024 论文《Skyloft: A General High-Efficient Scheduling Framework in User Space》，其作者顺序为 Yuekai Jia、Kaifu Tian、Yuyang You、Yu Chen、Kang Chen，陈渝与陈康分列倒数第二与最后作者位置，按照系统领域"末位作者为通讯/指导教师"的惯例，可以合理推断贾越凯（Yuekai Jia）等学生是在陈渝与陈康的共同指导下完成这项用户态调度框架的研究，这也是陈康、陈渝二人长期联合培养学生、联合指导博士生的直接证据之一。

对于 OSDI 2025 论文《Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems》与 EuroSys 2026 论文《SKernel: An Elastic and Efficient Secure Container System at Scale with a Split-Kernel Architecture》，这两篇论文的作者名单规模很大（前者 17 位作者、后者 17 位作者），排在最前面的柴晓虎（Xiaohu Chai）、周天宇（Tianyu Zhou，与本报告后文提到的另一位同名工程师需加以区分，见下）、胡科阳（Keyang Hu）、谭建锋（Jianfeng Tan）、别体委（Tiwei Bie）等一长串姓名，其署名密度和位置模式（多位工程师并列在前，何征宇、陈渝、陈康等资深人员殿后）与典型的"高校指导 1—2 名学生、企业提供 10 余人工程团队"的产学研联合论文结构高度吻合。经检索，谭建锋（Jianfeng Tan）可确认为蚂蚁集团资深工程师，长期在蚂蚁主导 DeepSYS、DeepXPU 技术体系及基于 gVisor 演进的 NanoVisor 项目，加入蚂蚁前曾任职于 VMware 与 Intel，并有多篇 OSDI/SIGCOMM/EuroSys/ATC 论文发表记录；这一身份佐证了该论文团队以蚂蚁集团系统软件工程师为主体的判断。据此，本报告推测柴晓虎、周天宇（Fork in the Road/SKernel 的署名者）等一线作者更可能是蚂蚁集团的工程师而非清华在读研究生，但受限于公开材料，未能逐一查实每个人的所属机构和职务，这一判断仍属推测，请勿将其作为陈康指导学生的确定性证据。

此外，2025 年 EuroSys 论文《AlloyStack: A Library Operating System for Serverless Workflow Applications》由 Jianing You、Kang Chen、Laiping Zhao、Yiming Li 等完成，陈康位列第二作者，通讯作者角色不完全清晰，该团队还包含天津大学的赵来平等学者，说明陈康在无服务器 LibOS 方向上也与清华以外的高校团队存在合作。2024/2025 年的 SOSP/CoRR 论文《TrEnv: Transparently Share Serverless Execution Environments Across Different Functions and Nodes》作者包括 Jialiang Huang、Mingxing Zhang、Teng Ma、Zheng Liu、Sixing Lin、Kang Chen、Jinlei Jiang、Xia Liao、Yingdi Shan、Ning Zhang、Mengting Lu、Tao Ma、Haifeng Gong、Yongwei Wu，陈康与武永卫同时列名，且论文中出现了 Teng Ma、Tao Ma、Haifeng Gong 等具有阿里云/蚂蚁式命名特征的合作者，说明这条无服务器执行环境共享的研究线同样具有产学研合作背景，武永卫、陈康在其中扮演清华一侧的学术指导角色。

综合来看，陈康在学生培养上呈现"小规模直接指导 + 大规模产业协同署名"并存的特点：一方面，他与陈渝联合指导博士生在操作系统调度、安全容器等方向做出高水平学术工作（如 Skyloft）；另一方面，他与蚂蚁集团、天津大学等机构的大型工程团队联合署名产出面向生产系统的论文（如 Fork in the Road、SKernel、TrEnv），后一类论文中的一线工程作者身份与院校归属，多数无法在公开材料中逐一验证，本报告不做超出证据的断言。

三、学术合作网络

（一）与陈渝的长期核心合作

陈康学术网络中最重要、最稳定的一条线是与清华大学计算机系软件研究所长聘副教授陈渝（Yu Chen，DBLP 标识 87/1254-4）的合作。需要特别指出的是，陈渝隶属于清华计算机系"计算机软件研究所"，而陈康隶属于"高性能计算研究所"，二者是清华计算机系下平行的两个不同研究所，这意味着他们的合作并非同一实验室内部的自然协作，而是跨研究所、基于共同研究兴趣（操作系统、可信执行环境、无服务器计算）建立起来的定向合作关系，这种关系能持续多年且持续产出顶会成果，在系内是相对少见的紧密程度。

可确认的联合成果包括：2020 年 ASPLOS 的 Occlum（Intel SGX 内单 enclave 内多任务隔离的安全 LibOS，被广泛认为是蚂蚁集团主导、后来捐赠给 Linux 基金会机密计算联盟 CCC 的开源项目）；2022 年前后的 HyperEnclave（面向异构 TEE 的通用安全 enclave 方案）；2024 年 SOSP 的 Skyloft（通用高效用户态调度框架）；2025 年 OSDI 的 Fork in the Road（生产级无服务器系统冷启动延迟优化）；2026 年 EuroSys 的 SKernel（基于分裂内核架构的弹性高效安全容器系统）。这条时间线跨越了从 2020 年到 2026 年的六年，且论文的技术主题呈现清晰的演进脉络：从单机可信执行环境的多任务隔离（Occlum），到调度框架的通用化（Skyloft），再到面向规模化生产环境的冷启动优化与安全容器架构（Fork in the Road、SKernel），显示出陈康与陈渝并非偶然合作，而是围绕"安全、高效的云原生系统底座"这一主线展开的持续研究规划，且这一规划与蚂蚁集团的实际生产系统需求紧密绑定。

（二）高性能所内部合作网络

陈康与郑纬民院士存在早期（2004—2009 年前后）的共同署名关系，包括《云计算：系统实例与研究现状》等代表作，是其学术起步阶段的重要背景，具体参见本报告第一部分的讨论。

陈康与武永卫教授的合作贯穿其几乎整个学术生涯，是清华高性能所内部合作强度最高的一对搭档之一。据本项目对武永卫学术网络的既有梳理，"陈康是武永卫在论文署名中出现频率极高的合作者，几乎贯穿其全部学术生涯，从国家技术发明奖获奖项目到 TPDS、ToC、HPDC、ATC 等顶级会议论文，陈康均作为核心合作者出现"，二人共同的研究方向覆盖分布式系统、存储系统、RDMA 网络等。2025 年的 TrEnv（SOSP/CoRR）也是二人近年持续合作的证据，说明这条合作线并未随着陈康研究重心转向无服务器计算而中断，反而延伸到了新的技术方向上。

陈康与翟季冬（现任高性能所所长）之间目前未发现直接的论文合作证据，二人更多是同一研究所内不同研究方向（陈康偏重存储与云原生系统、翟季冬偏重并行计算与大模型系统）的同事关系。

（三）与上海交通大学 IPADS 团队的跨机构合作

陈康的 Fork in the Road（OSDI 2025）与 SKernel（EuroSys 2026）两篇论文均有上海交通大学 IPADS 实验室的杜东（Dong Du，DBLP 标识 Dong Du 0003）与夏虞斌（Yubin Xia）联合署名，且二人在两篇论文的作者顺序中均紧邻陈康、陈渝，处于"资深学术指导者"的位置区间。这意味着这条合作线并非一次性的会议投稿凑数式挂名，而是清华高性能所（陈康、陈渝）与上海交大 IPADS（杜东、夏虞斌）在安全容器、分裂内核架构等操作系统安全方向上建立的稳定跨校合作关系。IPADS 实验室长期是国内操作系统与系统安全研究的重镇，夏虞斌、杜东等人在可信执行环境、虚拟化安全方面有深厚积累，这条合作线可以理解为清华系统组与上海交大系统组在"安全容器"这一具体技术方向上的强强联合，而蚂蚁集团则提供了将研究成果落地为生产系统的场景和工程团队。

（四）与蚂蚁集团系统软件团队的深度绑定

这是陈康学术网络中最具产业化特征的一条线，将在第四部分详细展开。此处先勾勒其人物图谱：何征宇（Zhengyu He）是这条合作线上出现频率最高的蚂蚁集团方代表，从 2020 年的 Occlum、2022 年前后的 HyperEnclave，到 2024 年的 ASPLOS Rust 页表相关工作、2025 年的 Fork in the Road、2026 年的 SKernel，何征宇的名字持续出现，是跨越六年、五篇以上论文的稳定合作者，这种稳定性在企业界个人与单一高校课题组的合作案例中是比较突出的。谭建锋（Jianfeng Tan）是另一位可独立确认身份的蚂蚁集团资深工程师，主导 DeepSYS/DeepXPU 技术体系，是 Fork in the Road 与 SKernel 团队的重要成员。此外，Fork in the Road 与 SKernel 的作者名单中还包括别体委（Tiwei Bie）、胡科阳（Keyang Hu）、Anqi Shen、Dawei Shen 等一长串人名，这些人名密集出现在两篇高度相关的论文中，说明蚂蚁集团投入了一支相对固定的工程团队与陈康、陈渝的课题组展开常态化合作，而不是临时拼凑的项目组。

四、产业合作深度分析：与蚂蚁集团的系统级协同

陈康与蚂蚁集团的合作历史可以追溯到 Occlum 项目。Occlum 是一个基于 Intel SGX 的内存安全 LibOS，其核心创新是在单个 SGX enclave 内实现多任务的安全隔离与高效多路复用，从而缓解传统"一个 enclave 对应一个进程"模式下上下文切换开销大、内存占用高的问题。多方公开资料（包括中文技术社区文章与百科条目）显示，Occlum 项目由蚂蚁集团主导研发，2020 年在 ASPLOS 上发表学术论文（作者包含陈康、陈渝），随后于 2021 年将项目捐赠给 Linux 基金会旗下的机密计算联盟（Confidential Computing Consortium, CCC），成为该联盟认可的开源机密计算基础设施之一。这一时间线说明陈康、陈渝与蚂蚁集团的合作并非始于近两年爆发的无服务器/安全容器研究热潮，而是至少可以追溯到 2019—2020 年，是一条持续了六年以上的产学研关系，具备相当的历史纵深。

在 Occlum 之后，双方合作扩展到了 HyperEnclave（面向异构可信执行环境的统一 enclave 运行时方案，发表于 2022 年前后的系统安全会议），进一步将机密计算的适用范围从单一的 Intel SGX 扩展到跨硬件平台的可信执行环境抽象层，这与蚂蚁集团在金融级数据隐私保护、多方安全计算等业务场景下对机密计算基础设施的现实需求高度吻合。

真正体现这条产学研合作已经"生产化"的证据来自 2025 年 OSDI 的 Fork in the Road 与 2026 年 EuroSys 的 SKernel 两篇论文。Fork in the Road 的标题本身就点明了研究背景是"生产级无服务器系统"（Production Serverless Systems）中的冷启动延迟问题，冷启动延迟是无服务器计算领域公认的核心痛点之一——当一个函数实例长时间未被调用而被回收后，下一次调用需要重新创建运行环境（如启动容器、加载运行时、初始化应用），这个过程带来的延迟会直接影响用户体验与 SLA。论文标题中的"Reflections and Optimizations"（反思与优化）措辞也提示这是一篇总结生产系统实践经验、进而提出改进方案的论文，而非单纯的原型系统研究，这与蚂蚁集团自身的函数计算/Serverless 业务线（服务于支付宝生态内大量突发性、事件驱动型业务负载）高度相关。

SKernel 的论文标题《An Elastic and Efficient Secure Container System at Scale with a Split-Kernel Architecture》同样具有鲜明的生产系统特征：'at Scale'（规模化）与'Elastic'（弹性）表明这是一个已经在大规模生产环境中运行或至少以此为设计目标的安全容器系统，'Split-Kernel Architecture'（分裂内核架构）是其核心技术创新，推测其设计思路是将内核功能拆分为可信与非可信、或云厂商可控与租户可控两部分，从而在保证隔离安全性的同时降低虚拟化/容器化带来的性能开销——这正是云服务提供商在多租户场景下需要同时兼顾安全隔离与资源利用效率的典型技术诉求。结合该论文由蚂蚁集团大规模工程团队（谭建锋、别体委等资深系统工程师）与清华、上海交大的学术团队共同完成，可以合理推断 SKernel 所描述的安全容器系统很可能已经在蚂蚁集团的生产环境中部署或试运行，用于支撑其云原生业务、金融级隔离要求下的容器化工作负载，但具体的部署规模、覆盖业务线等细节未见诸公开的技术论文摘要或新闻报道之外的独立信源，因此本报告将"已在蚂蚁生产环境部署"表述为基于论文标题与团队构成的合理推测，而非经过官方公告确证的事实。

这一系列合作共同勾勒出陈康与蚂蚁集团合作关系的演进路径：从机密计算基础软件（Occlum、HyperEnclave）出发，逐步扩展到操作系统调度框架的通用化（Skyloft），再到面向无服务器计算生产系统的冷启动优化（Fork in the Road）和安全容器架构的规模化（SKernel），技术主线始终围绕"如何在保证安全隔离的前提下，让云原生基础设施运行得更快、更弹性、更省资源"这一核心命题展开。这也是为什么蚂蚁集团愿意投入一支包含何征宇、谭建锋、别体委、胡科阳等十余人的稳定工程团队，与陈康、陈渝的课题组建立近乎"联合实验室"性质的长期合作——对蚂蚁集团而言，这些学术合作直接服务于其云计算与金融科技基础设施的实际痛点；对陈康、陈渝而言，则获得了在顶级学术会议上以"生产级系统"为背景开展前沿研究的稀缺机会，这种双向的强需求匹配是这条产学研关系能够持续六年以上且不断深化的根本原因。

与此同时，本报告也检索了陈康是否与其他云计算厂商（如阿里云、华为云、腾讯云、字节跳动等）存在同等强度的合作关系，但未发现与蚂蚁集团相当的持续性、系统性合作证据。TrEnv（SOSP 2024/2025 CoRR）论文中出现的 Teng Ma、Tao Ma、Haifeng Gong 等合作者，其署名格式和研究主题（跨节点、跨函数共享无服务器执行环境）具有云计算大厂工程团队的特征，但本报告未能确认这些合作者的具体所属公司，故不作确定性归属，仅在此提示这可能是陈康产业合作网络中蚂蚁集团之外的另一条、证据强度较弱的潜在合作线。整体而言，陈康的产业合作网络高度集中于蚂蚁集团，这种集中度本身也是其学术画像中"深度绑定单一产业伙伴"这一特征的体现。

五、荣誉奖项与学术任职

陈康公开可查的荣誉与任职信息相对有限，具体包括：他与郑纬民、武永卫、舒继武、余宏亮、姜进磊等清华高性能所同事，作为核心成员共同获得 2015 年度国家技术发明二等奖（获奖项目为"面向社区共享的高可用云存储系统"），这是其学术生涯中可确认的最重要的集体荣誉之一。在科研项目层面，他曾独立主持国家自然科学基金课题"基于网络的多机虚拟化技术关键问题研究"（2010—2012）与 973 计划二级课题"多计算系统虚拟化技术研究"（2007—2011），显示其在职业生涯早中期即具备独立承担国家级科研项目的能力。

本次检索未发现陈康个人独立获得的重大学术奖项（如 ACM/IEEE Fellow、国家杰出青年科学基金、长江学者等人才称号），也未发现其在 CCF、ACM 等学术组织中担任专委会主任/副主任一类的公开任职信息；同样未发现其在国际顶级会议担任程序委员会主席/副主席的公开记录。这与他同一研究所内的翟季冬（国家杰青、CCF 高性能计算专委副主任）、郑纬民（中国工程院院士）等同事相比，个人层面的荣誉密度明显更低。需要指出的是，这更可能反映的是陈康的学术风格偏向于扎实的系统研究与产学研合作，而非头衔与荣誉的经营，公开材料的缺失不能被解读为其学术贡献不足——事实上，他近三年在 OSDI、SOSP、EuroSys 等顶级系统会议上的持续产出（Skyloft、Fork in the Road、SKernel 等）已经充分证明了其研究工作的一线水准。囿于检索能力，本报告未能穷尽所有可能的奖项信息，如后续有新的公开材料，应对本部分予以补充更新。

六、Connection 圈层总结

综合以上信息，可以将陈康的学术与产业关系网络归纳为四个圈层，其核心定位是"一位深度嵌入产业界的系统研究者，其学术生命线与清华软件所陈渝的长期合作紧密交织在一起"。

第一圈层：核心学术搭档。 陈渝是这一圈层唯一且最重要的成员。二人跨越清华计算机系两个不同研究所（陈康属高性能所、陈渝属软件所）建立起长达六年以上的定向合作，从 Occlum、HyperEnclave 到 Skyloft、Fork in the Road、SKernel，形成了一条清晰的"机密计算—调度框架—无服务器生产系统—安全容器"技术演进主线。这条合作线的紧密程度、跨机构性质与产出质量，使其构成陈康学术身份中最具辨识度的部分，甚至可以说，理解陈康的学术轨迹在很大程度上就是理解他与陈渝共同构建的这一研究议程。

第二圈层：清华高性能所内部同事。 以武永卫、郑纬民为代表。武永卫是陈康贯穿几乎全部学术生涯的高频合作者，二人在存储系统、分布式系统、RDMA 网络等方向持续产出高水平论文，并共同延伸到近年的无服务器执行环境共享研究（TrEnv）。郑纬民则更多是陈康学术生涯早期（2004—2009 年前后）的重要合作者与可能的指导者（此处采用"推测"表述，理由见第一部分），二人共同的早期工作及 2015 年国家技术发明二等奖将陈康纳入了清华高性能所"存储与虚拟化"这条更宏观的学术谱系之中。翟季冬作为现任所长，与陈康在公开材料中未发现直接论文合作，属于同一研究所内平行方向的同事关系。

第三圈层：跨校学术合作者。 以上海交通大学 IPADS 实验室的杜东、夏虞斌为代表。二人在 Fork in the Road、SKernel 两篇论文中的稳定共同出现，表明清华（陈康、陈渝）与上海交大（杜东、夏虞斌）在安全容器与操作系统安全方向上建立了实质性的跨校合作关系，这是陈康学术网络中"高校对高校"合作的主要体现，弥补了单一课题组在系统安全领域研究广度上的局限。

第四圈层：产业界深度合作方。 以蚂蚁集团系统软件团队为绝对核心，代表人物包括何征宇（跨越 Occlum 到 SKernel 六年以上、五篇以上论文的最稳定产业合作者）、谭建锋（DeepSYS/DeepXPU 技术负责人）、别体委、胡科阳等一支规模可观（十余人）且相对固定的工程团队。这一圈层的特殊之处在于，它不是松散的"挂名合作"，而是围绕蚂蚁集团真实生产系统需求（无服务器冷启动、安全容器规模化部署）展开的常态化联合攻关，学术产出与产业落地在这里高度统一。这也是本报告将陈康定位为"深度绑定产业界的系统研究者"而非传统意义上"以论文数量和头衔为核心指标的学院派学者"的根本依据——他的学术价值很大程度上体现在能够将清华的系统研究方法论，转化为服务于蚂蚁集团这样的超大规模互联网基础设施的、真正跑在生产环境中的技术方案。

七、主要公开来源

清华大学计算机系高性能计算研究所官方主页——陈康：https://hpc.cs.tsinghua.edu.cn/info/1537/2675.htm
清华大学计算机系高性能计算研究所官网：https://hpc.cs.tsinghua.edu.cn/
DBLP 陈康发表列表（pid 91/6670-1，显示为 "Kang Chen 0001"）：https://dblp.org/pid/91/6670-1.html
DBLP 检索结果——Skyloft（SOSP 2024）、Fork in the Road（OSDI 2025）、SKernel（EuroSys 2026）、AlloyStack（EuroSys 2025）、TrEnv（SOSP 2024/CoRR 2025）等论文的作者信息，通过 DBLP 公开检索接口获取
本项目既有报告：《清华高性能所武永卫教授》学术网络报告（同目录 thu_hpc_wuyongwei_network.md），提供了陈康与武永卫、郑纬民合作关系的交叉印证
本项目既有报告：《清华高性能所郑纬民院士》学术网络报告（同目录 thu_hpc_zhengweimin_network.md），用于核查陈康是否被列入郑纬民的确认/推测师生关系名单
QCon 北京 2026 大会演讲嘉宾介绍，用于确认谭建锋（Jianfeng Tan）的蚂蚁集团任职背景与技术方向
中文技术社区（百科条目、技术博客）关于 Occlum 项目历史与其捐赠至 Linux 基金会机密计算联盟（CCC）的公开报道

清华高性能所 陈康 研究员