北京大学 汪小林 教授
报告生成时间：2026年8月20日
个人主页：汪小林
所属团队：北京大学计算机学院网络与高能效计算研究所
一、学者基本信息
| 字段 | 内容 |
|---|---|
| 姓名 | 汪小林（Xiaolin Wang） |
| 出生年份 | （待核实） |
| 职称 | 教授、博士生导师 |
| 所属单位 | 北京大学计算机学院 |
| 实验室职务 | 网络与高能效计算研究所教授；TELOS Systems Lab 成员导师；中关村实验室双聘研究员（据SOSP 2025论文署名） |
| 学术头衔 | CCF算法大赛技术委员 |
| 国家级人才 | （待核实） |
| 其他任职 | 北京大学计算机学院工会副主席（筹备组负责人）；"101计划"《算法设计与分析》课程牵头负责人 |
| 邮箱 | wxl@pku.edu.cn |
| 研究方向 | 系统软件、系统虚拟化、云计算、边缘计算 |
二、教育背景与职业履历
汪小林于1996年在北京大学获得理学学士学位，随后继续在北京大学攻读博士学位，于2001年获得理学博士学位（据百度百科及北大EECS英文主页）。其博士阶段师从李晓明教授的可能性较大——李晓明是北京大学计算机网络与信息系统研究所的创建者和带头人、天网搜索引擎项目的牵头人，汪小林早期的研究涉及地理信息系统（GIS）和网络信息发现，与李晓明的研究方向高度吻合；在2010年发表的KVM虚拟化论文中，李晓明作为末位作者出现，符合导师署名惯例。但尚未找到直接写明"师从李晓明"的公开文献，故标注（待核实）。
关键时间线如下：
- 1996年：获北京大学理学学士学位。
- 1996–2001年：在北京大学攻读博士学位。期间参与国家"九五"重点科技攻关项目"国土资源环境与区域经济信息系统及国家空间信息基础设施关键技术研究"（该项目入选2000年"中国高校十大科技进展"），以及国家自然科学基金重大项目"中国高速互连研究试验网NSFCnet"（入选2001年"中国高校十大科技进展"）。这一阶段汪小林所在的实验室即"天网搜索引擎"的研发团队，他参与天网搜索引擎相关工作的可能性很大（待核实具体角色）。
- 2001年：获北京大学理学博士学位，留校任教。最初任职于北京大学计算机网络与信息系统研究所（该所由原计算机科学技术系的网络研究室、数据库研究室和空间信息系统研究室合并组建，师资包括李晓明、崔斌、代亚非、罗英伟、汪小林、雷凯、张立新等）。
- 2001年至今：在北京大学从事教学和科研工作。研究方向从早期的地理信息系统、网络信息发现逐步转向系统软件与系统虚拟化，成为北京大学系统虚拟化方向的核心学者之一。
- 2010年前后：在KVM虚拟化、内存虚拟化等方向取得系列成果，提出动态内存半虚拟化方法（DMP），发表于《中国科学：信息科学》及IFIP NPC等会议。
- 2016年：课题组提出基于平均淘汰时间（AET）的缓存行为预测模型，发表于USENIX ATC 2016。
- 2018年：课题组发现GPU程序的熵谷现象并提出高效地址映射策略，发表于ISCA 2018。
- 2022年5月：负责的"101计划"《算法设计与分析》课程虚拟教研室入选教育部虚拟教研室建设试点。
- 2025年10月：与周迪宇、罗英伟教授团队合作论文《CortenMM: Efficient Memory Management with Strong Correctness Guarantees》获SOSP 2025最佳论文奖，为北京大学首篇获此殊荣的论文。
- 2026年：TELOS Lab学生李传东、杨泽华博士毕业，多篇论文被OSDI 2026、SOSP 2026、ICS 2026、DAC 2026等顶会录用。
在研究所调整后，汪小林由计算机网络与信息系统研究所转入新成立的网络与高能效计算研究所，并在该所继续从事系统软件与虚拟化方向的科研与教学。此外，据SOSP 2025论文署名信息，汪小林同时具有中关村实验室（Zhongguancun Laboratory）的双聘身份。
三、学生培养情况
汪小林长期招收博士和硕士研究生，招生方向覆盖系统软件、计算机体系结构、高性能计算等。其学生主要在北京大学TELOS Systems Lab（https://telos.top，由周迪宇助理教授领导）以及与罗英伟教授联合指导的框架下开展研究。以下列出已公开信息可查的学生（含已毕业及在读）。
1. 张骏扬（在读博士生，2023级，导师：罗英伟/汪小林/周迪宇）
张骏扬是SOSP 2025最佳论文《CortenMM: Efficient Memory Management with Strong Correctness Guarantees》的第一作者，该论文提出了全新的内存管理架构，系统性地解决了操作系统内存管理中性能与安全的矛盾。该成果是北京大学历史上首篇SOSP最佳论文。张骏扬还获得北京大学校长奖学金（President Scholarship）。其研究聚焦操作系统内存管理的形式化验证与安全保证。
2. 李传东（2026年博士毕业，TELOS Lab）
李传东在TELOS Systems Lab攻读博士学位，于2026年5月通过博士论文答辩。其博士论文获评北京大学优秀博士学位论文。他在2024年以第一作者在USENIX ATC 2024发表论文《Taming Hot Bloat Under Virtualization with HugeScope》，研究虚拟化环境下的内存膨胀问题。此外，他在SOSP 2025上报告了另一篇论文《Aeolia》。李传东还被评为北京大学计算机学院"学术十杰"（计算机学院面向全院研究生的最高学术荣誉之一，与"学术新星"评选同期）。
3. 杨泽华（2026年博士毕业，TELOS Lab）
杨泽华同样在TELOS Systems Lab攻读博士学位，于2026年5月通过博士论文答辩毕业。他与李传东同属2026届博士毕业生，TELOS Lab专门举办了毕业庆祝活动。具体研究方向和发表论文信息（待核实）。
4. 朱立人（在读/近期博士生，TELOS Lab）
朱立人在TELOS Lab开展系统结构方向研究。他在2024年12月出席了第27届ChinaSys Workshop并报告论文《Criticality-Aware Instruction-Centric Bandwidth Partitioning for Data Center Applications》，该论文已被HPCA 2025录用（论文标题为"Pivot"）。此外，他还在北京大学做了学术报告介绍该工作。其研究聚焦数据中心应用的带宽分区与指令关键性感知。
5. 胡康（在读博士生，TELOS Lab）
胡康是TELOS Lab的博士生，其研究工作涉及操作系统中断与虚拟化。他有两篇论文被OSDI 2026录用：一篇是"MultiLane"（在OSDI 2026上做报告），另一篇在ChinaSys 2026上介绍了SBB（以poster形式）。此外，他也是SOSP 2025论文CortenMM的合作者之一（署名为"Peking University and Zhongguancun Laboratory"）。
6. 李刘佳（在读博士生，TELOS Lab）
李刘佳是TELOS Lab的博士生，研究方向涉及缓存与存储系统。他有三项重要成果被顶会录用：Merlin被OSDI 2026录用并在Seattle做报告；Cachence被DAC 2026录用；此外在ChinaSys 2026上也报告了Merlin。
7. 王振林（密歇根理工大学教授，长期合作者/疑似早期学生）
王振林（Zhenlin Wang）现任密歇根理工大学（Michigan Technological University）计算机科学系教授。他自2010年前后即与汪小林、罗英伟密切合作，在多篇虚拟化论文中署名密歇根理工大学。在2010年发表于《中国科学》的动态内存半虚拟化论文中，王振林的单位标注为"Department of Computer Science, Michigan Technological University"，说明其当时已在该校任职。他很可能是汪小林和/或罗英伟的早期博士生（待核实），毕业后赴美任教，并持续与北大团队保持长期国际合作。他是SOSP 2025论文CortenMM的合作者之一。
8. 张彬彬（早期学生，已毕业）
张彬彬是汪小林早期的学生之一，在2010年IFIP NPC会议论文"Evaluating and Optimizing I/O Virtualization in Kernel-based Virtual Machine (KVM)"中以第一作者出现，合著者包括汪小林、罗英伟、李晓明等。此外，2010年发表于《计算机学报》的"Detecting Memory Leak Via VMM"论文中张彬彬也为合作者。其毕业去向（待核实）。
9. 孙逸峰（早期学生，已毕业）
孙逸峰在2010年《中国科学：信息科学》的动态内存半虚拟化论文以及《计算机学报》的内存泄漏检测论文中均以北京大学计算机科学技术系为单位署名，是汪小林早期研究团队的核心成员。其毕业去向（待核实）。
10. 郭锦浩（本科生，2026年毕业）
郭锦浩是TELOS Lab的本科生，其本科毕业论文获评北京大学优秀本科毕业论文（2026年）。
此外，2025年1月TELOS Lab新招收的博士生包括Liheng、Xiangcan、Xiaohe、Yonghao、Zhongwang等（具体中文姓名待核实）。参与SOSP 2025论文的其他TELOS学生还包括Siyuan Wang、Wenbo Xu、Di Wang等。
四、学术合作网络
4.1 实验室内部合作
汪小林的学术合作网络以北京大学网络与高能效计算研究所为核心，形成了紧密的内部合作圈：
罗英伟教授是汪小林最重要的合作搭档。两人同为北京大学系统虚拟化方向的核心学者，合作跨度超过15年。他们共同署名发表了大量虚拟化方向的论文（从2010年的KVM I/O虚拟化、动态内存半虚拟化到2024年的HugeScope、2025年的CortenMM），共同编著了《计算概论：程序设计阅读题解》（2011）和《北京大学计算机科学技术实验教学内容体系》（2012）两部教材。两人还联合指导博士生（如张骏扬的导师为"罗英伟、汪小林、周迪宇"三人），共同承担"101计划"教学改革任务。罗英伟与汪小林、李文新三人构成北大计算机实验教学和系统虚拟化研究的"铁三角"。
周迪宇助理教授是近年合作网络中的关键新生力量。周迪宇于TELOS Systems Lab（https://telos.top）从事操作系统、存储系统、形式化验证等方向研究，其博士毕业于UCLA（导师Yuval Tamir教授），博士后在EPFL洛桑联邦理工学院完成（期间参与SOSP 2023最佳论文Odinfs）。周迪宇加入北大后，与汪小林、罗英伟组成新的"三代合作"格局：汪小林和罗英伟为资深教授，周迪宇为青年助理教授。三方合作的标志性成果即SOSP 2025最佳论文CortenMM。周迪宇此前已有SOSP 2023最佳论文（Odinfs）、ATC 2024论文（Trio Architecture）和OSDI 2022论文等成果。
李文新教授是教学合作的重要伙伴。李文新现为北京大学计算机学院教授、计算机科学与工程系系主任、计算机实验教学中心（国家级示范中心）主任，研究方向为人工智能和生物特征识别。她与汪小林、罗英伟共同编著两部教材，并在2012年共同获得北京市高等教育教学成果奖一等奖（获奖项目为"实践创新推动学生自主发展：计算机学科栋梁人才成长环境建设10年"，合作者还包括陈向群、谢昆青）。
王迪助理教授和余华山副教授也是SOSP 2025论文的合作者，属于北大计算机学院体系结构方向的同事。
4.2 跨机构合作
中关村实验室是汪小林当前的重要跨机构合作平台。在SOSP 2025论文中，汪小林、罗英伟、余华山的署名单位均标注为"Peking University and Zhongguancun Laboratory"，表明他们在中关村实验室有双聘或联合研究岗位。此外，TELOS Lab的多名博士生（如张骏扬、唐喆、胡康等）同样具有"北京大学和中关村实验室"的双单位署名。
鹏城实验室（Peng Cheng Lab）：在2022年发表于IEEE Transactions on Computers的论文"Accelerating Address Translation for Virtualization by Leveraging Hardware Mode"中，鹏城实验室（深圳）作为合作单位出现，展示了与鹏城实验室的联合研究关系。
南方科技大学：在2024年10月发布的"星绽"（Asterinas）开源系统软件栈项目中，南方科技大学作为联合发布机构之一参与。
Certik：在SOSP 2025论文中，Hao Chen作为CertiK的合作者署名，体现了与区块链安全公司在形式化验证方向的合作。
4.3 国际合作
密歇根理工大学（Michigan Technological University）：王振林教授是汪小林最长期的国际合作者。自2010年起，王振林即以密歇根理工大学为署名单位与北大团队发表虚拟化论文，合作持续至今（SOSP 2025论文CortenMM中仍为合作者）。这种长达16年以上的国际合作在系统领域极为罕见，反映了北大虚拟化团队与美国高校系统研究组的深度联系。
UCLA（加州大学洛杉矶分校）：Yuval Tamir教授是TELOS Lab负责人周迪宇的博士导师（周迪宇博士后在EPFL完成），也是SOSP 2025论文CortenMM的合作者。通过周迪宇的桥梁作用，北大团队与UCLA系统研究组建立了合作关系。
密歇根理工大学之外的美国高校合作：在IEEE TC 2022论文中，还涉及无锡先进技术研究院（Wuxi Inst Adv Technol）的合作。在SOSP 2025论文中，UCLA和密歇根理工大学均为合作机构。
五、业界合作关系深度分析
5.1 产业合作
汪小林及其团队与产业界的合作在近年显著加深，形成了"产学研用"紧密结合的合作模式：
蚂蚁集团（Ant Group）是当前最核心的产业合作方。在SOSP 2025论文CortenMM中，蚂蚁集团有三位合作者署名：田洪亮博士（通讯作者）、Xinyi Wan、Lin Huang、Shoumeng Yan。田洪亮博士是蚂蚁集团高级技术专家，同时也是"星绽"（Asterinas）开源操作系统项目的发起者和维护者。蚂蚁集团副总裁兼首席技术安全官韦韬也参与了星绽项目的发布。蚂蚁集团为TELOS Lab的研究提供了实际的系统安全需求场景和工程资源支持。
中关村实验室作为国家级新型研发机构，是汪小林双聘/联合研究的重要平台。中关村实验室与北京大学、蚂蚁集团联合发布了"星绽"开源系统软件栈，该软件栈包括星绽OS（基于Rust语言开发的框内核架构通用操作系统内核）和星绽机密计算两大项目。汪小林团队在内存虚拟化、操作系统安全等方面的研究成果通过这一平台向产业转化。
Certik：作为区块链安全领域的知名企业，Certik在形式化验证方向与团队有合作（SOSP 2025论文合作者Hao Chen）。
华为、腾讯、中兴通讯等企业虽未在汪小林个人论文中直接出现，但北京大学计算机学院整体与这些企业有联合实验室合作关系，汪小林作为学院教授参与了学院层面的产学研合作。
5.2 创业孵化与开源社区
星绽（Asterinas）开源项目是汪小林团队产业转化的标志性成果。该项目于2024年10月22日由中关村实验室、蚂蚁集团、北京大学、南方科技大学等产学研机构联合对外发布，面向全球开发者开源。星绽OS采用Rust编程语言，首创框内核（frame kernel）架构，支持x86和RISC-V架构，兼顾性能和安全，计划在云计算和机密计算等数据中心场景投入工业应用。该项目由蚂蚁集团田洪亮博士发起和维护，汪小林团队在内存管理、虚拟化等核心技术方向提供了学术支撑。
KVM虚拟化贡献：汪小林团队在早期KVM虚拟化研究中即与开源社区紧密结合。2010年的动态内存半虚拟化原型系统在"KVM-54版本"中实现，多项虚拟化优化技术具有向KVM开源社区贡献的潜力（具体贡献情况待核实）。
编程网格系统（Programming Grid）：汪小林与罗英伟、李文新共同开发和维护了北京大学的"编程网格"在线程序评测系统，该系统是全国计算机基础课程教学的重要实践平台，也是"计算概论"国家级精品课程的配套实验系统。
开源系统软件生态：汪小林团队的研究方向——系统虚拟化、操作系统安全、内存管理——正处于当前开源系统软件创新的核心地带。TELOS Lab在2025-2026年有多篇论文被OSDI、SOSP、HPCA、USENIX ATC、ICS、DAC等顶级会议录用，形成了从学术研究到开源落地的完整链路。
六、重要奖项与学术兼职
| 时间 | 奖项/荣誉 | 说明 |
|---|---|---|
| 2000年 | 教育部"中国高校科学技术奖"二等奖 | 参与国家"九五"重点科技攻关项目获奖 |
| 2000年 | "中国高校十大科技进展" | 参与"国土资源环境与区域经济信息系统及国家空间信息基础设施关键技术研究"项目入选 |
| 2001年 | "中国高校十大科技进展" | 参与国家自然科学基金重大项目"中国高速互连研究试验网NSFCnet"入选 |
| 2008年 | 中国地理信息系统协会青年优秀论文一等奖 | — |
| 2009年 | 中国地理信息系统协会青年优秀论文二等奖 | — |
| 2012年 | 北京市高等教育教学成果奖一等奖 | 与李文新、罗英伟、陈向群、谢昆青共同获奖，项目为"实践创新推动学生自主发展：计算机学科栋梁人才成长环境建设10年" |
| 2022年5月 | 教育部虚拟教研室建设试点 | 负责的"101计划"《算法设计与分析》课程虚拟教研室入选 |
| 2025年 | SOSP 2025最佳论文奖 | 论文CortenMM，与周迪宇、罗英伟团队及产业合作者共同获奖，为北京大学首篇SOSP最佳论文 |
| — | 北京大学优秀党务与思想政治工作者 | 荣誉称号 |
学术兼职：
| 兼职 | 说明 |
|---|---|
| CCF算法大赛技术委员 | 中国计算机学会 |
| "101计划"《算法设计与分析》课程牵头负责人 | 教育部计算机专业教学改革计划 |
| 北京大学计算机学院工会副主席（筹备组负责人） | 学院行政职务 |
| 博士生导师 | 招生方向：系统软件、计算机体系结构、高性能计算（据北大计算机学院招生导师名单） |
| 中关村实验室双聘研究员 | 据SOSP 2025论文署名 |
七、Connection圈层总结
汪小林的学术关系网络可清晰地分为四个圈层：
第一圈层（核心合作者）：罗英伟教授和周迪宇助理教授构成最紧密的学术核心。罗英伟是长达15年以上的合作搭档，两人共同定义了北京大学系统虚拟化研究方向；周迪宇作为新一代青年学者，带来了操作系统和形式化验证的新方向，形成了"资深教授+青年才俊"的代际合作格局。三人联合指导博士生（如张骏扬），联合发表顶会论文（SOSP 2025最佳论文），联合运行TELOS Systems Lab。李文新教授在教学领域属于这一圈层。
第二圈层（实验室成员与学生）：TELOS Lab的博士生群体——张骏扬、李传东、杨泽华、胡康、李刘佳、朱立人等——构成活跃的学生网络。已毕业的早期学生如张彬彬、孙逸峰等在2010年前后参与了KVM虚拟化的奠基性工作。这些学生毕业后部分留在中国学术界和产业界（去向待进一步核实），部分赴海外深造。王振林作为疑似早期学生、现密歇根理工大学教授，是学生网络中"走出去"并在海外建立独立学术地位的代表性人物。
第三圈层（北大内部同事）：北京大学计算机学院网络与高能效计算研究所及相邻研究所的同事构成校内合作网络。王迪助理教授、余华山副教授参与了SOSP 2025论文；陈向群、谢昆青参与了教学成果奖；学院层面的郭耀副院长、胡振江院长等在学院产学研合作中有所交集。汪小林还通过"101计划"和工会工作与学院教学和行政体系有广泛联系。
第四圈层（跨机构和产业网络）：这一圈层包括三个维度：(1) 国际合作——密歇根理工大学王振林教授（16年以上的长期合作）、UCLA的Yuval Tamir教授（通过周迪宇的桥梁）；(2) 产业合作——蚂蚁集团（田洪亮博士团队，星绽开源OS项目）、Certik（Hao Chen，形式化验证合作）；(3) 国家级平台——中关村实验室（双聘研究岗位，星绽OS联合发布）、鹏城实验室（联合论文）。汪小林通过中关村实验室的双聘身份，将学术研究与产业转化紧密衔接，形成了从基础研究到开源落地的完整创新链。
总体而言，汪小林的学术网络呈现出"以北大系统虚拟化团队为内核、以TELOS Lab为人才培养基地、以中关村实验室和蚂蚁集团为产业转化出口、以密歇根理工为国际桥梁"的立体结构。其网络的核心驱动力是系统软件领域从虚拟化到操作系统安全的技术演进，以及"101计划"教学改革带来的教学影响力。