南大软件所 李樾 教授
报告生成时间： 2026年8月
个人主页： https://cs.nju.edu.cn/yueli/index.htm 研究小组（PASCAL）： https://pascal-lab.net DBLP： https://dblp.org/pid/61/500-6.html Google Scholar： 未找到其本人公开维护的页面（合作者谭添的Google Scholar为 https://scholar.google.com/citations?user=WHymFGEAAAAJ ）
一、学者基本信息
李樾（Yue Li），南京大学计算机学院教授、博士生导师，计算机软件研究所（软件新技术全国重点实验室）PASCAL（Programming Languages and Static Analysis）小组负责人（与谭添准聘助理教授共同主持）。其研究聚焦程序分析与静态分析：指针分析、过程间分析、反射分析、程序切片及面向安全与缺陷检测的分析应用；并主导开源分析框架 Tai-e（Java静态分析）与 Qihe（Verilog静态分析）。他与谭添合讲的"软件分析"课程自2020年起开设，讲义与视频在国内程序分析学习者中影响广泛，是南大程序分析教学品牌的缔造者之一。
教育与工作经历（依据其个人主页）： - 2006-2010年，西北工业大学软件工程学士。 - 2010-2012年，西北工业大学软件工程硕士。 - 2012-2016年，澳大利亚新南威尔士大学（UNSW）计算机科学博士（导师：薛京灵 Jingling Xue 教授；博士论文《Understanding and analyzing Java reflection》）。 - 2016-2017年，UNSW研究助理（Research Associate）。 - 2017-2019年，丹麦奥胡斯大学（Aarhus University）博士后（CASA中心，合作者：Anders Møller 教授）。 - 2019年3月起任南京大学计算机科学与技术系（现计算机学院）副教授，后晋升教授；入选国家级青年人才计划、南京大学登峰人才计划、南京大学"紫金学者"。
荣誉与奖项（依据个人主页及公开资料）： - 国家级青年人才计划；南京大学登峰人才计划、紫金学者 - CGO 2013最佳论文奖（Query-directed Adaptive Heap Cloning for Optimizing Compilers，与Yulei Sui、薛京灵） - ECOOP 2016杰出论文奖（Program Tailoring: Slicing by Sequential Criteria） - ISSRE 2017最佳论文提名（Java反射分析系列工作） - OOPSLA杰出软件制品奖（Distinguished Artifact）；据公开资料其论文另获ICSE 2025最佳软件制品奖等（待与南大官方新闻核验）
研究主线与代表性贡献： 1. Java反射分析： 博士论文主题，系列成果（ECOOP 2014、SAS 2015、ISSRE 2017、TOPLAS 2017发表）系统解决反射调用导致的分析不完备问题，是Java静态分析基础设施层面的标志性工作。 2. 指针分析精度与效率： 与谭添、Yannis Smaragdakis等提出选择性上下文敏感性（TOPLAS 2020、OOPSLA 2021），并发表"指针分析"系统综述（TOSEM 2021）。 3. 分析框架建设： 主导Tai-e（ISSTA 2023工具论文）与Qihe，前者已成为国内Java静态分析研究与教学的事实性基础设施之一；面向数据库后端应用（OOPSLA 2025）、微服务系统（FSE 2025）、Verilog硬件描述语言的指针/数据流分析持续拓展。 4. 跨语言与安全应用： 与许畅等合作安卓安全分析框架PacDroid（ICSE 2025）、跨语言指针分析（ICSE 2025）等。
二、DBLP数据统计
2.1 发表记录总览
DBLP pid为61/500-6（消歧名"Yue Li 0006"），共收录43条记录（截至2026年8月）：期刊论文20篇、会议论文16篇、软件制品（data）5条、博士学位论文1条、论文集编辑1条；其中CoRR预印本6篇。"Yue Li"为DBLP重名重灾区（消歧编号0006），本报告全部统计基于该消歧记录。43条中40条为研究发表，绝对数量不大，但顶会/顶刊占比极高：OOPSLA/PLDI（PACMPL）7篇、TOPLAS 2篇、TOSEM 1篇、TSE 1篇、ICSE 2篇、FSE 2篇（含PACMSE 1篇）、ISSTA 1篇、ECOOP 2篇、SAS 2篇等。
2.2 年度产出分布
| 年份 | 论文数 | 年份 | 论文数 | 年份 | 论文数 |
|---|---|---|---|---|---|
| 2011 | 1 | 2016 | 5 | 2021 | 2 |
| 2012 | 1 | 2017 | 4 | 2022 | 1 |
| 2013 | 1 | 2018 | 3 | 2023 | 5 |
| 2014 | 1 | 2019 | 1 | 2024 | 2 |
| 2015 | 1 | 2020 | 1 | 2025 | 7 |
| — | — | — | — | 2026 | 7 |
趋势分析： 2011-2015年为硕士及博士早期（年均1篇，含CGO 2013最佳论文）；2016-2018年为博士后期至UNSW研究助理阶段（年均4篇），完成反射分析与指针分析核心工作；2019-2022年回国建组初期产出回落；2023年起随学生梯队成熟进入爆发期（2023-2026年合计21条，占总量近半），主题从Java指针分析扩展至数据库应用、微服务、Verilog硬件分析。
2.3 主要发表会议/期刊分布（非CoRR）
| 会议/期刊 | 论文数 | 级别 |
|---|---|---|
| Proc. ACM Program. Lang.（OOPSLA等） | 7 | CCF-A |
| TOPLAS | 2 | CCF-A |
| ICSE | 2 | CCF-A |
| ESEC/FSE（含PACMSE） | 3 | CCF-A |
| PLDI | 2 | CCF-A |
| ECOOP | 2 | CCF-B |
| SAS | 2 | CCF-B |
| ISSRE | 2 | CCF-B |
| IEEE TSE | 1 | CCF-A |
| ISSTA | 1 | CCF-A |
| ACM TOSEM | 1 | CCF-A |
| CGO | 1 | CCF-B |
| USENIX ATC | 1 | CCF-A |
| CODASPY | 1 | CCF-B |
| SOAP（PLDI研讨会） | 1 | - |
| Softw. Pract. Exp. | 1 | CCF-B |
| 软件制品（Dagstuhl Artifacts等） | 5 | - |
分布特征： 发表高度集中于程序语言与静态分析核心阵地（OOPSLA/PLDI/POPL系+TOPLAS/TOSEM），软工顶会（ICSE/FSE/ASE/TSE/ISSTA）为第二落点。这是典型"编程语言学派"谱系的发表画像，与软件所以工程问题为主的传统形成互补。
2.4 合作者网络总览
43条记录对应60位唯一合作者，规模精炼而结构清晰：谭添（35次）是其博士前至今的最紧密合作者与共同建组伙伴；薛京灵（14次）为博士导师；许畅（12次）与马晓星（9次）是回国后的软件所主要合作教师；Yannis Smaragdakis（雅典大学/雅典经济商业大学，4次）与Anders Møller（奥胡斯，3次）构成国际学术通道；学生群（Qinlin Chen、Yufei Liang、Ganlin Li、Teng Zhang等）自2023年起成为署名主力。
2.5 核心合作者（Top 20，按DBLP合作频次降序）
| 排名 | 合作者（DBLP名） | 合作次数 | 合作年份 | 身份/机构与关系 |
|---|---|---|---|---|
| 1 | Tian Tan（谭添） | 35 | 2012-2026 | PASCAL共同负责人，准聘助理教授；同为西工大校友、UNSW薛京灵门下博士（2017届）、奥胡斯博士后 |
| 2 | Jingling Xue（薛京灵） | 14 | 2012-2019 | UNSW教授，博士导师 |
| 3 | Chang Xu（许畅） | 12 | 2021-2026 | 软件所教授，回国后主要合作教师 |
| 4 | Xiaoxing Ma（马晓星） | 9 | 2021-2026 | 软件所所长，跨组合作（PLDI 2026 Qihe等） |
| 5 | Qinlin Chen（陈沁林） | 5 | 2023-2026 | PASCAL博士生（2022级），Verilog静态分析方向 |
| 6 | Yufei Liang（梁宇飞） | 5 | 2025 | PASCAL博士生（2024级），指针分析 |
| 7 | Yifei Zhang（张一飞） | 5 | 2016-2018 | UNSW时期合作者（Ripple反射分析） |
| 8 | Jiacai Cui（崔家才） | 4 | 2026 | PASCAL博士生（2024级） |
| 9 | Yiyu Zhang | 4 | 2021-2026 | 合作研究者（Chianina图系统等） |
| 10 | Xuandong Li（李宣东） | 4 | 2021-2026 | 软件所SEG教授、学院原院长 |
| 11 | Zhiqiang Zuo（左志强） | 4 | 2021-2026 | PASCAL research scientist（PLDI 2021 Chianina） |
| 12 | Nairen Zhang（张乃仁） | 4 | 2023-2026 | PASCAL博士生（2024级） |
| 13 | Jinpeng Wang（王金鹏） | 4 | 2023-2026 | PASCAL硕士生，堆抽象（OOPSLA 2026） |
| 14 | Teng Zhang（张腾） | 4 | 2025 | PASCAL博士生（2021级），数据库指针分析 |
| 15 | Ganlin Li（李甘林） | 4 | 2025 | PASCAL博士生（已毕业，去向美团） |
| 16 | Yannis Smaragdakis | 4 | 2018-2021 | 雅典大学教授，指针分析国际权威 |
| 17 | Anders Møller | 3 | 2018-2020 | 奥胡斯大学教授，博士后合作导师 |
| 18 | Yulei Sui（隋宇乐） | 3 | 2013-2025 | 悉尼科技大学教授，CGO 2013最佳论文合作者 |
| 19 | Jian Lu（吕建） | 3 | 2026 | 软件所首席科学家（PLDI 2026署名） |
| 20 | Thomas Reps | 1 | 2026 | 威斯康星大学教授，上下文敏感指针分析TOPLAS 2026合作者 |
（注：学生中文名依据PASCAL小组公开页面；个别音译待核。）
三、博士教育背景与导师追溯
3.1 UNSW博士阶段（2012-2016）
李樾2012年进入新南威尔士大学攻读博士，导师为薛京灵（Jingling Xue）教授——澳大利亚程序分析与编译优化领域的代表性学者。博士论文《Understanding and analyzing Java reflection》聚焦Java反射机制对静态分析的破坏问题，相关成果发表于ECOOP 2014、SAS 2015、ISSRE 2017与TOPLAS 2017，构成其学术立身之本。值得注意的是，其与谭添的合作始于2012年（ISSRE 2012系统挂起分析），早于二人先后进入薛京灵门下：二人同为西北工业大学软件工程校友（李樾2006级本科、谭添2009级本科）、先后在UNSW薛京灵组攻读博士（谭添2017年毕业）、又先后在奥胡斯大学Anders Møller的CASA中心从事博士后，形成罕见的"三段同轨"履历。2019年二人同期加入南京大学并共建PASCAL。
3.2 学术谱系定位
（程序语言/静态分析国际谱系）
Jingling Xue（UNSW教授，编译优化与程序分析）
├─ 李樾（博士2016届，UNSW）
│ └─ 2019年起与谭添共建南大PASCAL
└─ 谭添（博士2017届，UNSW；奥胡斯博士后）
└─ PASCAL博士生：陈沁林、张腾、梁宇飞、崔家才、张乃仁……
└─ 毕业出口：美团、腾讯、华为、阿里巴巴、蚂蚁、米哈游、Citadel、
威斯康星大学（读博）、加州大学伯克利分校（读博）等
上游还有两条国际连接：奥胡斯大学Anders Møller（博士后导师，软件分析CASA中心）与雅典Yannis Smaragdakis（选择性上下文敏感合作者，指针分析理论权威）。TOPLAS 2026论文引入威斯康星Thomas Reps（程序分析理论奠基人之一），显示其正向最上游理论谱系延伸。
3.3 与上游导师网络的关系
| 上游节点 | 与李樾的关系 | DBLP直接合作 | 合作特征 |
|---|---|---|---|
| 薛京灵 | UNSW博士导师 | 14次（2012-2019） | 反射分析、指针分析、程序切片 |
| Anders Møller | 奥胡斯博士后导师 | 3次（2018-2020） | 选择性上下文敏感（TOPLAS 2020） |
| Yannis Smaragdakis | 国际合作权威 | 4次（2018-2021） | 上下文敏感指针分析理论 |
| 马晓星/许畅/李宣东/吕建 | 南大软件所教师层 | 9/12/4/3次 | Qihe（PLDI 2026）、安卓安全、数据库指针分析 |
四、团队合作网络
4.1 教师与导师同事层（软件所）
| 教师 | 合作次数 | 合作年份 | 角色 | 主要交集 |
|---|---|---|---|---|
| 谭添 | 35 | 2012-2026 | PASCAL共同负责人 | 指针分析、Tai-e、软件分析课程 |
| 许畅 | 12 | 2021-2026 | 软件所教授 | 安卓安全（PacDroid）、自适应+分析交叉 |
| 马晓星 | 9 | 2021-2026 | 软件所所长 | Qihe/Verilog分析（PLDI 2026） |
| 李宣东 | 4 | 2021-2026 | SEG教授 | Chianina图系统（PLDI 2021） |
| 吕建 | 3 | 2026 | 首席科学家 | PLDI 2026署名 |
| 曹春 | 2 | 2025 | 系统工程中心负责人 | OOPSLA 2025数据库指针分析（另有独立报告） |
| 蒋炎岩/黄宇 | 无直接合作 | - | 软件所同事 | 分属iSE/DisAlg小组（均有独立PI报告） |
团队组织特征： PASCAL是软件所内"编程语言学派"小组，与曹春的I2Ec（系统方向）、卜磊所在的SEG（形式化方法）三足鼎立又互有交叉：与I2Ec通过OOPSLA 2025指针分析论文连接，与SEG共享李宣东的PLDI 2021合作。PASCAL小组页面显示其组织为"2位教师（李樾、谭添）+1位研究科学家（左志强）+约10名博士生+约10名硕士生"的紧凑结构。
4.2 学生与青年成员层（依据PASCAL小组公开页面）
| 成员 | 身份 | 方向/代表性交集 |
|---|---|---|
| 左志强 | 研究科学家 | Chianina流/上下文敏感图系统（PLDI 2021） |
| 张腾 | 博士生（2021级） | 数据库后端应用指针分析（OOPSLA 2025） |
| 陈沁林 | 博士生（2022级） | Verilog静态分析（PLDI 2026） |
| 张乃仁、崔家才 | 博士生（2024级） | Verilog分析、FPGA数据流分析（OOPSLA 2026） |
| 梁宇飞 | 博士生（2024级） | 指针分析、堆抽象（OOPSLA 2026） |
| 王金鹏、詹中盛等 | 硕士生 | 堆抽象、分析工程化 |
已毕业成员去向（小组Alumni页）：李甘林→美团（2025）；吴嘉言→腾讯；郑瀚文→Citadel（对冲基金）；林思涛→腾讯；魏芳→华为；黄博恒→中国电信；张书萌→阿里巴巴；朱海龙→腾讯；李晨曦→美团；颜俊良→米哈游；杨盛源→威斯康星大学麦迪逊分校攻读博士（与Thomas Reps合作TOPLAS 2026）；马文杰→加州大学伯克利分校攻读博士。
4.3 人才培养
PASCAL的培养输出呈"产业头部企业+国际顶尖博士项目"双通道：国内去向覆盖腾讯、美团、阿里巴巴、蚂蚁、华为、米哈游等（以基础设施、安全与编译岗位为主，具体岗位公开资料未披露）；学术出口包括威斯康星、伯克利等程序分析强校。教学方面，李樾主讲"软件分析"课程（2020年起，与谭添合讲），配套实验基于Tai-e框架；课程讲义与视频经B站等平台传播，在国内程序分析入门社区中被广泛引用，显著扩大了PASCAL的生源与影响力半径。
五、业界合作关系深度分析
5.1 华为——"华为-南大下一代程序设计创新实验室"
南大官方新闻显示，李樾与谭添的TOPLAS 2020选择性上下文敏感指针分析工作受"华为-南大下一代程序设计创新实验室"支持，Tai-e框架亦在该合作框架下发展。这是其可确认的最早产业合作通道，连接华为在编程语言与编译基础设施方向的需求。
5.2 产业界论文合作者
TSE 2024论文《Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis》（第一作者李昊峰，现中科院计算所副研究员）的作者名单中包含多位业界研究者（Jie Lu、Haining Meng、Liqing Cao、Yongheng Huang、Lian Li、Lin Gao、Peng Di、Liang Lin、Chenxi Cui等），属泛型指针分析的产学联合发表；其具体所属企业在论文公开页面未标注，无法确认主体。
5.3 人才输送型产业连接
PASCAL毕业生进入腾讯、美团、阿里巴巴、蚂蚁、华为、米哈游、Citadel等企业（见4.2节），Tai-e/Qihe/Vide三个开源工具被业界使用情况公开资料未披露具体采用方。Qihe面向Verilog静态分析、Vide面向SystemVerilog开发，与EDA及芯片设计产业需求直接对应，是潜在的产业接口，但尚未见公开的合作企业署名或披露。
5.4 国际学术合作（区别于产业合作）
- 奥胡斯大学CASA（Anders Møller）： 博士后阶段的训练与合作（2017-2019），与谭添同期。
- Yannis Smaragdakis（雅典）： 指针分析理论合作（2018-2021，TOPLAS 2020/OOPSLA 2021）。
- Thomas Reps（威斯康星）： 经毕业生杨盛源建立的TOPLAS 2026合作。
- UCLA（Guoqing Harry Xu）： PLDI 2021 Chianina论文合作。
- 薛京灵（UNSW）： 澳洲通道，2019年后随其博士毕业基本收束。
六、Connection圈层总结
第一圈层——"双PI共同体"谭添： 35次合作覆盖2012年至今的全部阶段，从西工大校友、UNSW同门（薛京灵）、奥胡斯同期博士后到南大共同建组，二人构成国内程序分析领域最紧密的青年教师搭档之一。PASCAL的一切产出（论文、Tai-e、课程）均为二人共同署名的产物。
第二圈层——上游导师链： 薛京灵（14次）定义其博士期研究范式；Anders Møller与Yannis Smaragdakis提供博士后与理论合作通道；Thomas Reps的加入（TOPLAS 2026）标志其向程序分析理论最高谱系的延伸。国际谱系清晰且逐级上升。
第三圈层——软件所同事网络： 许畅（12次）、马晓星（9次）是回国后最主要的合作教师；与曹春（I2Ec）、卜磊（SEG）等同所教师分属不同小组、通过实验室组织与交叉论文弱连接；蒋炎岩、黄宇为同所同事（均有独立PI报告）。李樾的引入使软件所的版图从"网构软件+形式化方法"扩展出"编程语言与静态分析"第三极。
第四圈层——PASCAL学生梯队与人才出口： 张腾、陈沁林、梁宇飞、崔家才、张乃仁等构成2023-2026年高产出引擎；毕业生向头部企业（腾讯/美团/阿里/蚂蚁/华为/米哈游/Citadel）与国际顶尖博士项目（威斯康星/伯克利）的双向输出，使其网络同时具备产业与学术延展性。
第五圈层——业界接口： 华为-南大联合实验室（TOPLAS 2020/Tai-e）为可确认通道；泛型敏感度TSE 2024论文含业界合作者；Qihe/Vide面向EDA需求但合作主体未披露。
产出规模与发展阶段： 43条DBLP记录、60位合作者——"少而精"的顶会顶刊画像（A类及以上约20篇）。2023年以来的加速期与学生梯队成熟同步，其发展阶段相当于从"建组生存期"进入"方向扩张期"：从Java指针分析核心向数据库应用、微服务、硬件描述语言三个应用纵深推进，同时以Tai-e教学生态扩大影响力。作为软件所最年轻的正教授之一，其"教学品牌+开源工具+顶会产出"三位一体的网络构建模式在国内同方向青年学者中具有代表性。
七、数据来源与局限性说明
本报告主数据来自DBLP作者记录（pid: 61/500-6，"Yue Li 0006"），并结合以下公开信息源：
- 李樾个人主页（https://cs.nju.edu.cn/yueli/index.htm ：教育经历、导师、荣誉、论文列表）
- 谭添个人主页（https://cs.nju.edu.cn/tiantan/index.htm ：履历、PASCAL、Tai-e/Qihe/Vide项目）
- PASCAL小组主页（https://pascal-lab.net ：成员、学生年级、毕业生去向）
- 南京大学计算机软件研究所组织页（https://ics.nju.edu.cn/centers/index.html ）
- DBLP作者搜索API及作者XML记录（发表统计、合作者统计）
- 南大新闻（软件分析课程、华为-南大联合实验室、ICSE 2025获奖等报道）
- 百度百科"李樾（南京大学计算机学院教授）"词条（奖项信息，需交叉核验）
局限性说明：
- 职称信息存在版本差： 其个人主页及百度百科已称"教授"，但软件所组织页（快照较旧）仍列"副教授"。本报告采信个人主页的"教授"表述，晋升具体时间未公开。
- 任务书所载"博士毕业于香港科技大学"的说法不成立： 个人主页与博士论文记录（UNSW, 2016, Understanding and analyzing Java reflection）均明确其博士院校为新南威尔士大学、导师为薛京灵。谭添亦为UNSW博士（2017届）而非港科大。
- 奖项细节依赖二手来源： ICSE 2025最佳软件制品奖等表述来自百度百科与新闻摘要，个别奖项名称（如"最佳论文奖"与"杰出论文奖"的区分）未逐一到官方页面核验。
- 学生中文名音译风险： PASCAL页面以拼音/英文名为主，部分学生中文名为惯例音译（如陈沁林、张乃仁等），以英文署名为准。
- 业界合作边界： 除华为-南大联合实验室有官方新闻佐证外，TSE 2024论文中业界合作者的所属企业未公开标注；Tai-e等工具的工业采用情况无公开数据。
- DBLP记录含非论文条目： 43条中含1条博士论文记录与5条软件制品记录，正文统计已说明，未从总数中剔除。