南大软件所 许畅 教授
报告生成时间：2026年8月
- 个人主页：https://cs.nju.edu.cn/changxu/
- DBLP：https://dblp.org/pid/97/2966-1.html（Chang Xu 0001）
- Google Scholar：https://scholar.google.com/citations?user=jlZOlxIAAAAJ
一、学者基本信息
- 姓名：许畅（Chang Xu）
- 职称：教授、博士生导师；教育部长江学者特聘教授（2021）；ACM杰出会员（ACM Distinguished Member，2023年度入选）
- 单位：南京大学计算机学院 / 计算机软件研究所（软件新技术全国重点实验室）
- 实验室角色：软件所"基础研究中心"负责人，领导SPAR（Software mining, Program analysis, and Software engineering Research）研究组，与蒋炎岩（独立PI，另有独立报告）共处SPAR团队
- 研究方向：软件测试与分析、智能化软件工程、自适应软件、移动应用软件工程、大模型时代的软件工程
- 学术服务：ACM TOSEM/JCST/FCS/JSEP等期刊编委（含副主编）；长期担任ICSE、ESEC/FSE、ASE、ISSTA、QRS等会议程序委员
- 代表性荣誉（据个人主页及南大计算机学科新闻）：
- SOSP 2023最佳论文奖（JIT编译器验证，系南大软件所在系统顶会的标志性成果之一）
- ICSE 2025杰出论文奖、EuroSys 2025最佳学生论文奖
- ICSE 2021杰出论文奖（含ACM Europe Council最佳论文）、ASE 2018杰出论文奖、ICSE 2014/APSEC 2014杰出/最佳论文奖
- 国家科技进步二等奖（2011）、CCF青年科学家奖（2015）、教育部新世纪优秀人才（2010）、ACM南京新星奖（2014）、IBM博士生奖学金（2005、2006）
- 职业轨迹：2000年本科毕业于中国科学技术大学；2003年获中科院软件所硕士学位；2008年获香港科技大学博士学位；2008–2010年任香港科技大学研究助理教授（Research Assistant Professor）；2010年入职南京大学，2015年起任教授
二、DBLP数据统计
（数据来源：dblp.org作者页面 pid=97/2966-1，Chang Xu 0001；统计以XML记录为准，检索时间2026年8月）
2.1 发表总览
- DBLP总记录数：179条（会议论文99篇、期刊论文76篇、数据集4条；其中CoRR预印本16条，非CoRR正式发表约163条）
- 发表时间跨度：2003–2026年
- 高水平会议/期刊覆盖：ICSE（13篇）、ESEC/FSE（合计约16篇）、ASE（6篇）、SOSP、EuroSys、ASPLOS、ECOOP、ICDE各1篇、ACM TOSEM、IEEE TSE、ACM TOCS、Proc. ACM Program. Lang.（OOPSLA/ICFP系列，4篇）等
- 特点：以软件工程旗舰会议（ICSE/FSE/ASE）为主阵地，近年扩展至系统方向（SOSP/EuroSys/ASPLOS），体现"软件工程×系统软件"的交叉布局
2.2 年度分布
| 年份 | 记录数 | 年份 | 记录数 | 年份 | 记录数 |
|---|---|---|---|---|---|
| 2003 | 1 | 2011 | 1 | 2019 | 11 |
| 2004 | 3 | 2012 | 5 | 2020 | 12 |
| 2005 | 1 | 2013 | 10 | 2021 | 13 |
| 2006 | 2 | 2014 | 11 | 2022 | 9 |
| 2007 | 3 | 2015 | 11 | 2023 | 11 |
| 2008 | 1 | 2016 | 16 | 2024 | 10 |
| 2009 | 1 | 2017 | 8 | 2025 | 12 |
| 2010 | 4 | 2018 | 16 | 2026 | 7 |
- 2003–2011年为港科大CASTLE团队时期（与张成志、W.K. Chan、魏峻等合作），产出平稳
- 2013年起进入南大高产期，2016年起年产出约8–16条，长期稳定在软件工程领域前列
2.3 会议期刊分布（部分主要venue，CCF等级为CCF推荐目录口径）
| Venue | 篇数 | 类型 | CCF等级 |
|---|---|---|---|
| ICSE | 13 | 会议 | A |
| ESEC/SIGSOFT FSE（含FSE系列） | 16 | 会议 | A |
| ASE | 6 | 会议 | A |
| IEEE Trans. Software Eng. (TSE) | 9 | 期刊 | A |
| ACM TOSEM | 3 | 期刊 | A |
| Proc. ACM Program. Lang.（OOPSLA/ICFP等） | 4 | 期刊 | A |
| SOSP / EuroSys / ASPLOS | 各1 | 会议 | A |
| ICDE | 1 | 会议 | A |
| AAAI | 1 | 会议 | A |
| ACM TOCS | 1 | 期刊 | A |
| APSEC | 13 | 会议 | C |
| Internetware | 9 | 会议 | —（CCF通讯刊物主办） |
| QRS | 6 | 会议 | C |
| J. Syst. Softw. (JSS) | 8 | 期刊 | B |
| J. Comput. Sci. Technol. (JCST) | 6 | 期刊 | B |
| Inf. Softw. Technol. (IST) | 4 | 期刊 | B |
| ICSME / SANER / ICPC | 3/2/2 | 会议 | B/B/B |
| Sci. China Inf. Sci. / Frontiers Comput. Sci. | 4/2 | 期刊 | — |
| Empir. Softw. Eng. (EMSE) | 1 | 期刊 | A |
| Softw. Test. Verification Reliab. (STVR) | 1 | 期刊 | — |
2.4 合作者网络总览
- 去重后独立合作者（含姓名拼写合并，如Jian Lu/Jian Lü）：约160人
- 网络呈"南大软件所核心圈＋港科大CASTLE圈＋外部明星合作者"三层结构：
- 南大核心圈：马晓星、吕建、曹春、蒋炎岩、谭添、李樾、余萍、马骏、秦逸等
- 港科大圈（博士背景）：张成志（Shing-Chi Cheung，52次）、W.K. Chan、Lili Wei等
- 外部合作者：谢涛（北大）、苏振东（Zhendong Su，ETH Zurich，原UC Davis/Berkeley）、刘烨庞（南方科技大学）、Tingting Yu、Yannis Smaragdakis等
2.5 核心合作者Top列表
| 排名 | 合作者 | 合作次数 | 合作年份 | 身份/机构与关系 |
|---|---|---|---|---|
| 1 | Xiaoxing Ma（马晓星） | 80 | 2011–2026 | 南大软件所教授、软件所所长；自适应软件核心搭档 |
| 2 | Jian Lu（吕建，含Lü/Lv拼写） | 65 | 2011–2026 | 中科院院士、南大计算机学院教授；软件所学术带头人 |
| 3 | Shing-Chi Cheung（张成志） | 52 | 2004–2026 | 香港科技大学教授；许畅的博士生导师，毕业后保持长期合作 |
| 4 | Yanyan Jiang（蒋炎岩） | 45 | 2013–2025 | 南大软件所教授（独立PI，另有独立报告）；最紧密的同事级合作者，联合指导多名博士生 |
| 5 | Chun Cao（曹春） | 35 | 2011–2025 | 南大软件所教授、系统工程中心负责人 |
| 6 | Yepang Liu（刘烨庞） | 25 | 2013–2023 | 南方科技大学教授（博士毕业于HKUST，CASTLE系） |
| 7 | Huiyan Wang（王慧妍） | 21 | 2016–2025 | 南大博士（许畅指导，2021年毕业），现为南大副研究员级研究人员 |
| 8 | Wenhua Yang（杨文华） | 13 | 2013–2023 | 南大博士（2017年毕业，马晓星/许畅等指导），后任教于南京航空航天大学 |
| 9 | Tianxiao Gu（顾天晓） | 13 | 2012–2021 | 南大博士（2017年毕业，马晓星指导），现为TikTok软件工程师（曾任阿里巴巴美国高级工程师） |
| 10 | Tian Tan（谭添）/ Yue Li（李樾） | 各12 | 2021–2026 | 南大教授/副教授（PASCAL组共同负责人）；二人均为UNSW（新南威尔士大学）Jingling Xue（薛京灵）门下博士（谭添2017、李樾2016），构成软件所的程序分析第三极 |
| 11 | Ping Yu（余萍） | 11 | 2014–2025 | 南大副教授（普适计算/自适应软件方向） |
| 12 | Jun Ma（马骏） | 10 | 2016–2024 | 南大副教授（普适计算/群智感知方向） |
| 13 | Ying Wang / Zhiliang Zhu / Hai Yu | 各9 | 2020–2025 | JavaScript生态研究合作者（HERO/Watchman系列，与HKUST Cheung团队联合；机构归属以论文署名期为准） |
| 14 | Yi Qin（秦逸） | 8 | 2016–2025 | 南大博士（2018年毕业，吕建/陶先平/许畅等指导），现为南大研究人员 |
| 15 | Jue Wang（王珏） | 8 | 2016–2022 | 南大博士（2022年毕业，吕建/蒋炎岩/许畅联合指导） |
| 16 | Tao Xie（谢涛） | 6 | 2018–2026 | 北京大学教授（2022年起任副院长）；大模型软件工程方向合作 |
| 17 | Zhendong Su（苏振东） | 4 | 2019–2025 | ETH Zurich教授（原UC Davis/Berkeley）；SOSP 2023最佳论文合作者 |
三、博士教育背景与导师追溯
- 博士：香港科技大学计算机科学与工程系，2008年获博士学位，导师为张成志（Shing-Chi Cheung）教授（软件工程与软件测试方向，领导CASTLE研究组）。DBLP作者档案亦标注"PhD 2010, HKUST"（为入职信息口径，学位授予为2008年）
- 硕士：中国科学院软件研究所，2003年，软件工程专业（该时期与W.K. Chan、魏峻等合作中间件/自适应软件方向论文）
- 本科：中国科学技术大学，2000年，软件工程专业
- 学术谱系位置：许畅是港科大CASTLE谱系与南大软件所谱系的"双料"节点——博士训练来自港科大张成志，2010年回流南大后嵌入吕建–马晓星主导的网构软件/自适应软件体系，并成为南大软件测试与分析方向的学术带头人。其博士导师张成志亦长期与南大保持联合培养学生与合作发表（如Lili Wei、W.K. Chan、Yepang Liu等），形成港科大–南大双中心合作轴
四、团队合作网络
4.1 教师同事层（南大软件所/计算机系）
- 吕建（院士）：软件所学术带头人，网构软件方法学奠基人；与许畅共署65次，为其所在团队的上游学术纲领提供者（吕建本人非SOSP 2023论文作者）
- 马晓星（教授，软件所所长）：合作77次的第一大合作者；自适应软件/自适性监控方向（2013年ICSE等）核心搭档，也是蒋炎岩的共同导师
- 曹春（教授）：系统工程中心负责人，自适应软件执行引擎方向长期合作者
- 蒋炎岩（教授，独立PI，另有独立报告）：合作45次（2013–2025），共同产出SOSP 2023最佳论文（JIT编译器验证）、EuroSys 2025最佳学生论文（Linux内核可视化）、ASPLOS 2024（编译器模糊测试）等标志性成果；二人共同指导博士生（如李聪、欧先锋、刘含之等，均标注"with Dr. Yanyan Jiang"）。按南大软件所官方宣传页记载，蒋炎岩博士导师为许畅、马晓星、吕建三人；毕业后二人转为平级同事与深度科研同盟
- 谭添、李樾（PASCAL组共同负责人）：指针分析（OOPSLA/PACMPL系列）合作者；二人均毕业于新南威尔士大学薛京灵（Jingling Xue）门下（谭添2017、李樾2016），李樾另有奥胡斯大学博士后经历（Anders Møller组），构成南大—澳洲的程序分析连线
- 陶先平、王林章（教授，软件所同事，另有独立报告）：同属软件工程与形式化方法团队，论文合作相对有限，更多为所内同事与共同项目关系
- 黄宇（教授，独立PI，另有独立报告）：分布式系统方向，所内同事；与许畅无显著DBLP合作记录
4.2 学生与青年成员层（据许畅个人主页学生名单，联合指导情况明确标注）
- 已毕业博士生（部分）：
- 张凌昊（2014，与吕建/马晓星联合指导）
- 顾天骁（2017，与马晓星/曹春联合指导，ComboDroid/Watch Companions方向）
- 蒋炎岩（2017，据南大软件所官方页记载导师为许畅、马晓星、吕建三人；毕业后成为许畅最紧密合作者）
- 杨文华（2017，与马晓星联合指导，现南航）
- 秦逸（2018，与吕建等联合指导，现留校）
- 王慧妍（2021，深度学习测试方向，Dissector/DEMO等，现南大）
- 陈东杰（2021，与马晓星/蒋炎岩联合指导，文件系统测试）
- 赵泽林（2021，与马晓星/蒋炎岩联合指导，动态软件更新）
- 李文华（2022，与马骏/蒋炎岩联合指导，工学院IOE项目）
- 王珏（2022，与吕建/蒋炎岩联合指导，Android应用测试）
- 李聪（2023，与蒋炎岩联合指导，JIT验证、SOSP 2023）
- 张晨曦（2025，与李樾联合指导，指针分析）
- 欧先锋（2025，与蒋炎岩联合指导，编译器模糊测试）
- 在读/近期成员（据主页）：吴嘉荣（与蒋炎岩联合）、曹嘉伦（Jialun Cao，港校背景青年合作者，JavaBench等）、陈志勇、梁宇飞、张腾等（指针分析与数据库应用、微服务分析方向）
4.3 人才培养
- 已培养博士约13名以上，硕士数十名；多名毕业生进入南大、南航等高校任教或进入头部企业（工业界去向以系统/基础软件研发为主，具体名单以主页为准）
- 与蒋炎岩的"双导师"模式是SPAR组的显著特色：大量博士生标注两位教师联合指导，形成程序分析＋系统软件的复合训练
- 学生获奖：指导学生获SOSP 2023最佳论文、EuroSys 2025最佳学生论文、ICSE 2021杰出论文等（第一作者多为联培博士生）
五、业界合作关系深度分析
- 华为：与蒋炎岩团队共同承担华为项目（网页公开信息显示SPAR组有华为合作，具体项目金额与内容公开资料未完整披露）
- 港科大CASTLE网络：通过导师张成志保持长期合作，Lili Wei、W.K. Chan等参与多项联合成果；该网络亦输送刘烨庞（SUSTech）等独立PI
- 北大谢涛团队：围绕大模型软件工程（JavaBench、代码生成评测等）与曹嘉伦、陈志勇等开展合作
- JavaScript/Node.js生态研究（Watchman ICSE 2020、HERO ICSE 2021等）：合作者包含王莹、朱志良、Hai Yu等产业背景研究者（机构归属以论文署名期为准，公开资料未完整披露其当时单位）
- 开源与工具生态：团队成果衍生工具（如Argus、Watchman等）在开源社区发布；具体企业采用情况公开资料未披露
- 总体判断：许畅的业界合作以学术联盟＋横向项目并行，横向项目细节公开披露有限，主要证据来自其个人主页获奖与新闻
六、Connection圈层总结
许畅的学术关系网络可归纳为四个圈层：
- 血缘圈（导师谱系）：港科大张成志（CASTLE）→ 南大吕建/马晓星体系的双重嵌入，使其成为连接华南（港科大）与华东（南大）软件工程两大重镇的枢纽人物
- 核心协作圈：蒋炎岩（45次）＋马晓星（77次）＋吕建（65次）＋曹春（35次），构成南大软件所"自适应软件＋程序分析＋系统验证"铁三角之外的测试分析主线
- 学生辐射圈：13名以上博士毕业生（含联培），向南大、南航及工业界辐射；与蒋炎岩共享的联培学生群体（李聪、欧先锋、刘含之等）产出了SOSP/EuroSys级别的标志性成果
- 外部明星圈：谢涛（北大）、苏振东（ETH）、刘烨庞（SUSTek）、Tingting Yu等，覆盖程序分析、软件安全与大模型软件工程前沿
Connection要点：若以许畅为节点建立学术网络，最具价值的连接是其博士导师张成志（港科大CASTLE）与同事蒋炎岩（南大SPAR）两条强边；前者解释其测试与移动软件工程的学术渊源，后者解释其近年在系统顶会（SOSP/EuroSys/ASPLOS）的爆发性产出。
七、数据来源与局限性说明
- 数据来源：DBLP作者页（pid=97/2966-1）、许畅个人主页（cs.nju.edu.cn/changxu）、南京大学计算机学科新闻（changxu奖项与荣誉）、软件所官网（ics.nju.edu.cn）
- DBLP统计含CoRR预印本16条；会议/期刊合并口径（如ESEC/SIGSOFT FSE与SIGSOFT FSE、Jian Lu/Lü/Lv拼写合并）可能导致±1–3条的计数误差
- 合作者身份与机构信息以DBLP标注、个人主页及公开新闻为准；王莹、朱志良、Hai Yu、曹嘉伦等的机构归属未能全部从公开来源核实，报告中已作模糊化处理
- 学生名单依据个人主页的"with Dr. XXX"标注区分直接指导/联合指导；仅凭论文署名不推定师生关系（如谭添、李樾为同事而非学生）
- 奖项年份以个人主页口径为准，与新闻报道的授予年度可能存在1年差异（如ACM杰出会员、长江学者年份）
- 业界合作（华为等）具体合同信息未公开，本报告不作金额与项目细节推断