南大软件所 王林章 教授
报告生成时间：2026年8月
- 个人主页：https://cs.nju.edu.cn/lzwang/
- DBLP：https://dblp.org/pid/63/829.html（Linzhang Wang）
- Google Scholar：公开检索未找到可确认的独立主页（个人主页亦未提供链接）
一、学者基本信息
- 姓名：王林章（Linzhang Wang）
- 职称：教授、博士生导师；中国计算机学会（CCF）会士（2023）；国家"高层次人才特殊支持计划"科技创新领军人才入选者
- 单位：南京大学计算机学院 / 计算机软件新技术全国重点实验室（软件工程组，负责人为李宣东教授）
- 研究方向：大规模复杂智能化基础软件的可信构造与保障；软件分析、符号执行、模糊测试、形式化验证、软件测试、嵌入式软件与信息物理系统（CPS）建模验证、智能化缺陷检测/预测/修复
- 行政职务（据南大官网与任职文件）：
- 计算机软件新技术全国重点实验室主任助理
- 南京大学计算机科学与技术系副系主任
- 南京大学学科建设与发展规划办公室副主任（据任职通知）
- 学术兼职：
- CCF理事（2023–2027）、CCF杰出会员（2018）；曾任CCF系统软件专委会副主任（2019–2023）、秘书长（2016–2019）
- CCF–华为胡杨林基金"系统软件专项"技术管理委员会主任（2022年起）
- 国家信息技术标准化委员会委员；《电子学报》领域编委（2025–）
- 江苏省计算机学会常务理事（2024–）、江苏省计算机学会软件专委会主任（2020–2028，此前任秘书长2010–2020）
- 曾任HASE、TASE、Chinasoft、Internetware等国内外会议组织委员会主席/程序委员会委员
- 代表性荣誉：
- OOPSLA 2013杰出论文奖（Distinguished Paper Award）、OOPSLA 2020杰出论文奖（该CCF-A类会议自1986年创办36年来国内单位仅有的2次获奖，均在南大软件工程组）
- 2024年度CCF科技进步二等奖（"两段式软件自动构造技术及应用"，浪潮、南大、上海交大联合，第五完成人）
- 指导博士生获CCF优秀博士学位论文提名奖
- 产业贡献：牵头依托软件新技术全国重点实验室创建了具有国家级计量认证资质的第三方权威软件测试中心；参与制定GB/T 30847.1-2014、GB/T 30847.2-2014、GB/T 37970-2019等国家标准
二、DBLP数据统计
（数据来源：dblp.org作者页面 pid=63/829；统计以XML记录为准，检索时间2026年8月。注意：DBLP另存在"Linzhang Wang"相关作者（如pid 08/7620），本报告严格以南大机构锁定pid=63/829）
2.1 发表总览
- DBLP总记录数：125条（会议论文76篇、期刊论文49篇；其中CoRR预印本12条，非CoRR正式发表约113条）
- 发表时间跨度：2004–2026年
- 特点：以程序语言与软件工程顶会（OOPSLA/PLDI、ICSE/ASE/ISSTA）＋嵌入式/CPS验证会议（DATE/DAC/RTAS/ICCPS）双线并进，与软件工程组（李宣东领导）整体布局一致
2.2 年度分布
| 年份 | 记录数 | 年份 | 记录数 | 年份 | 记录数 |
|---|---|---|---|---|---|
| 2004 | 1 | 2012 | 9 | 2019 | 6 |
| 2005 | 1 | 2013 | 11 | 2020 | 7 |
| 2006 | 2 | 2014 | 2 | 2021 | 7 |
| 2007 | 3 | 2015 | 8 | 2022 | 8 |
| 2008 | 5 | 2016 | 4 | 2023 | 5 |
| 2009 | 4 | 2017 | 2 | 2024 | 11 |
| 2010 | 7 | 2018 | 4 | 2025 | 9 |
| 2011 | 3 | — | — | 2026 | 6 |
- 2010–2013年为CPS建模验证与符号执行方向高产期（OOPSLA 2013杰出论文奖、DATE/DAC系列）
- 2020年代进入静态分析与智能缺陷检测高产期（含PLDI 2025、TOSEM等），2024–2026年持续高位产出
2.3 会议期刊分布（部分主要venue，CCF等级为CCF推荐目录口径）
| Venue | 篇数 | 类型 | CCF等级 |
|---|---|---|---|
| Internetware | 14 | 会议 | —（CCF通讯主办，网构软件旗舰） |
| Proc. ACM Program. Lang.（OOPSLA/PLDI/ICFP系列） | 6 | 期刊 | A |
| ISSTA | 4 | 会议 | A |
| ICSE | 2 | 会议 | A |
| ASE | 2 | 会议 | A |
| PLDI | 2 | 会议 | A |
| ACM TOSEM | 2 | 期刊 | A |
| IEEE Trans. Software Eng. (TSE) | 2 | 期刊 | A |
| CCS | 1 | 会议 | A |
| EuroSys | 1 | 会议 | A |
| ACM TOCS | 1 | 期刊 | A |
| WWW | 1 | 会议 | A |
| Proc. ACM Manag. Data (SIGMOD系列) | 1 | 期刊 | A |
| ICST | 3 | 会议 | B |
| DATE | 2 | 会议 | B |
| DAC / ASP-DAC | 2/1 | 会议 | B/A |
| RTAS | 1 | 会议 | B |
| ICCPS | 2 | 会议 | B |
| SEKE | 3 | 会议 | C |
| SAC | 2 | 会议 | B |
| J. Comput. Sci. Technol. (JCST) | 3 | 期刊 | B |
| Frontiers Comput. Sci. (FCS) | 2 | 期刊 | B |
| Int. J. Softw. Informatics (IJSI) | 2 | 期刊 | — |
| ACM TODAES | 1 | 期刊 | B |
| Softw. Test. Verification Reliab. (STVR) | 2 | 期刊 | — |
| Sci. Comput. Program. | 1 | 期刊 | B |
| J. Syst. Softw. (JSS) | 1 | 期刊 | B |
2.4 合作者网络总览
- 去重后独立合作者：约218人（三位调研对象中合作者网络最分散者，反映其国防/华为横向项目与CPS/安全交叉方向的广度）
- 网络呈"李宣东–南大软件工程组核心圈＋国际化验证与安全圈＋产业项目圈"结构：
- 核心圈：李宣东（74次）、赵建华（27次）、张天（16次）、卜磊（14次）、司徒凌云、茅兵、左志强、潘敏学等
- 国际圈：Yu Wang（特拉华大学，24次）、Tingting Yu（辛辛那提大学）、Le Guan（佐治亚大学）、刘杨（NTU）、Guoqing Harry Xu（UCLA）等
- 长期产业/工程合作者：高凤娟（13次）、Ke Wang（Visa Research，9次）、Xin Chen（12次）等
2.5 核心合作者Top列表
| 排名 | 合作者 | 合作次数 | 合作年份 | 身份/机构与关系 |
|---|---|---|---|---|
| 1 | Xuandong Li（李宣东） | 74 | 2004–2026 | 南大教授、CCF会士、软件工程教研室主任、重点实验室副主任；软件工程组学术带头人，王林章的长期合作导师级人物 |
| 2 | Jianhua Zhao（赵建华） | 27 | 2006–2025 | 南大教授；形式化方法（模型检验、时序逻辑）方向同事 |
| 3 | Yu Wang | 24 | 2015–2026 | 美国特拉华大学教授；嵌入式/IoT安全与模糊测试方向最重要的国际合伙人 |
| 4 | Tian Zhang（张天） | 16 | 2005–2026 | 南大教授；软件工程组同事，CPS/软件测试方向 |
| 5 | Lei Bu（卜磊） | 14 | 2008–2020 | 南大教授；形式化验证与时序约束求解（CPS建模）同事 |
| 6 | Fengjuan Gao（高凤娟） | 13 | 2016–2025 | 软件工程组核心合作研究者（署名单位南京大学，据南大软件工程组获奖新闻） |
| 7 | Xin Chen | 12 | 2008–2025 | CPS建模验证、数值程序优化、区块链软件管理方向长期合作者（机构公开信息有限） |
| 8 | Lingyun Situ（司徒凌云） | 10 | 2016–2023 | 南大软件工程组教师/研究者；IoT固件模糊测试方向 |
| 9 | Bing Mao（茅兵） | 9 | 2018–2026 | 南大教授；系统与二进制安全方向同事 |
| 10 | Ke Wang | 9 | 2019–2025 | Visa Research研究员（据OOPSLA 2020获奖新闻署名）；程序表示学习方向 |
| 11 | Zhiqiang Zuo（左志强） | 8 | 2019–2023 | 南大教师（DBLP标注Nanjing University）；IoT安全方向 |
| 12 | Chi Zhang（张驰） | 7 | 2020–2026 | 软件工程组出身研究者（信息安全学报综述作者） |
| 13 | Minxue Pan（潘敏学） | 7 | 2012–2026 | 南大教师；组合测试与搜索式软件工程方向 |
| 14 | Yu Pei | 7 | 2012–2024 | 湖南大学教授（软件测试方向，据公开论文信息） |
| 15 | You Li（李游） | 6 | 2008–2015 | OOPSLA 2013杰出论文奖第一作者（符号执行路径引导，与苏振东合作）；早期博士生 |
| 16 | Yang Liu（刘杨） | 4 | 2018–2024 | 南洋理工大学教授；形式化验证与安全方向合作者 |
三、博士教育背景与导师追溯
- 博士：南京大学（软件工程方向），毕业年份与论文导师未在公开权威来源中直接披露。其DBLP记录自2004年起即与李宣东持续共同发表（至今74次），且长期任职于李宣东领导的软件工程组（SEG），学术谱系上明确归属南大软件工程学派；综合公开信息推断其博士阶段在南大软件工程组完成（导师李宣东的可能性最大），但该推断未经官方简历直接证实，供后续核验
- 学术谱系位置：南大软件工程学派由郑国梁教授开创、李宣东教授发扬光大；王林章与赵建华、张天、卜磊等同为该学派中生代骨干。与软件所（吕建–马晓星–许畅一系，网构软件/自适应软件主线）相比，软件工程组以"形式化方法＋软件测试验证"为主线，两线同属软件新技术全国重点实验室
- 备注：DBLP中另存在姓名高度相似的"Lin-Zhang Wang"（pid 08/7620，机构锁定为非南大），本报告已通过机构与研究方向双重锁定排除混淆
四、团队合作网络
4.1 教师同事层（南大软件工程组/软件所/计算机系）
- 李宣东（教授，CCF会士）：第一大合作者（74次，2004–2026）；软件工程组总负责人，重点实验室副主任；二人是南大软件测试与验证方向"总设计师＋工程带头人"的组合
- 赵建华（教授）：27次合作；形式化方法（模型检验、程序逻辑）方向，与王林章的CPS验证工作互补
- 张天、卜磊（教授）：16/14次合作；CPS建模与时序约束求解的长期搭档
- 茅兵（教授）：系统与二进制安全方向，2018年起围绕漏洞检测开展合作
- 潘敏学、司徒凌云、左志强等：组内中坚力量，分别负责组合测试、IoT固件模糊测试、嵌入式安全
- 软件所一系同事（许畅、陶先平，另有独立报告；蒋炎岩、黄宇为独立PI，另有独立报告）：同属软件工程与形式化方法大团队与全国重点实验室，但DBLP合作稀疏，体现组内"软件工程组线"与"软件所网构软件线"的并行分工；王林章与许畅在ICSE/ASE/ISSTA同一学术生态中深度共存但未直接合著
4.2 学生与青年成员层
- 李游（You Li）：OOPSLA 2013杰出论文奖第一作者（"Steering symbolic execution to less traveled paths"，与苏振东合作），早期博士生（2008–2015年合作期）
- 王豫（Wang Yu）：OOPSLA 2020杰出论文奖第一作者（图区间神经网络程序表示学习）
- 陈谦（Qian Chen）：PLDI 2025论文第一作者（浮点约束连续优化求解）
- 王嘉翼（Jiayi Wang）：TOSEM论文第一作者（SILVA可扩展增量分层稀疏值流分析）
- 张驰、魏海洋、黄浩辉、孙星伟、张天泰、陈力更、曹雨露、陈琳等：近年组内青年研究者（2022–2026年密集合作，IoT固件测试、自动驾驶测试、静态分析方向）
- 唐恩毅（Enyi Tang）：早期博士生（2012年起，CPS运行时验证方向）
- 注：上述成员中仅论文第一作者身份可考，正式师生关系以组内培养惯例推断，公开页面未逐一披露导师归属
4.3 人才培养
- 指导博士生获CCF优秀博士学位论文提名奖（据官方教师页）
- 培养的学生多留在软件测试/程序分析学术圈或进入华为等企业（具体毕业去向公开资料未系统披露）
- 依托第三方软件测试中心培养面向产业的软件测试工程人才
五、业界合作关系深度分析
（证据来源：个人主页科研项目清单、南大软件工程组新闻、CCF公开报道；金额为官网披露口径）
- 华为（最核心的产业合作伙伴）：自2015年起连续承担华为横向项目9项以上，累计合同经费逾1100万元，方向包括：
- 代码静态检查技术（2015–2016，93万元）
- 代码分析平台与缺陷自动修复技术（2019–2021，257.5万元；一期及二期，2021–2022年续185.4万元）
- 性能问题检测、安全与功能类问题检测（2020–2021，合计154.5万元）
- 数通业务新指令自动发掘、可扩展静态分析框架（2021–2022，合计211.15万元）
- 人工智能辅助的缺陷预测演进系统（2024–2025，108.15万元）
- 软件前沿技术分析与洞察（2025–2026，37万元）
- 并担任CCF–华为胡杨林基金"系统软件专项"技术管理委员会主任，在南大软件工程组与华为的产学研机制中居枢纽地位
- 中电科十四所：嵌入式软件内存泄露缺陷检测定位与修复技术研究（2023–2025，48万元）
- 国防项目：XXXX项目（2023–2025，185万元，内容不公开）
- 浪潮集团：2024年度CCF科技进步二等奖"两段式软件自动构造技术及应用"联合完成单位，体现产业界成果转化
- 第三方测试中心：牵头创建国家级计量认证资质的第三方权威软件测试中心，对外提供测试咨询与服务，并参与3项国家标准制定——是三位调研对象中产业落地制度化程度最高者
- Visa Research：通过Ke Wang（Visa研究员）保持程序分析方向的海外产业界连接（OOPSLA 2020合作）
六、Connection圈层总结
王林章的学术关系网络可归纳为四个圈层：
- 血缘圈（学派谱系）：南大软件工程学派（郑国梁→李宣东）中生代核心；李宣东以74次合作构成其网络中的绝对中心边，其学术身份本质是"李宣东体系的工程化与产业化延伸"
- 核心协作圈：赵建华（27次）＋张天（16次）＋卜磊（14次）＋高凤娟（13次）＋司徒凌云（10次）＋茅兵（9次），构成南大"形式化验证×软件测试×系统安全"的铁三角网络
- 国际圈：Yu Wang（特拉华，24次）为核心的美方合作群（Tingting Yu、Le Guan、Peng Liu等IoT/嵌入式安全方向），叠加NTU刘杨、UCLA徐国淦等程序语言方向节点
- 产业圈：华为（9项横向项目＋胡杨林基金专项管委会主任）为绝对重心，辅以十四所（CETC）、浪潮与第三方测试中心，形成"学术验证—工程落地—标准制定"闭环
Connection要点：若以王林章为节点建立学术网络，最强的两条边分别是学术侧的李宣东（南大SEG）与产业侧的华为系统软件线。他是南大软件工程团队中"国家纵向项目（国防、重点研发）＋头部企业横向项目＋标准化工作"三线并举的代表人物，也是理解南大软件工程组（区别于软件所网构软件线）组织结构的关键节点。
七、数据来源与局限性说明
- 数据来源：DBLP作者页（pid=63/829）、王林章个人主页（cs.nju.edu.cn/lzwang，含项目与经费清单）、南大计算机学院官方教师页（cs.nju.edu.cn/58/03/c2639a153603/pagem.htm）、南大软件工程组新闻（seg.nju.edu.cn）、CCF新闻与任职通知（zzb.nju.edu.cn任职文件）
- 关键未决事项：王林章的博士毕业年份与导师未能从公开权威来源直接核实，报告中的谱系归属基于其与李宣东2004年起的长期合作模式与组内地位推断，供主线程核验
- DBLP统计含CoRR预印本12条；Internetware等国内会议收录口径可能与实际发表存在偏差
- 合作者机构归属以DBLP标注及公开新闻为准：Xin Chen、高凤娟等的现职机构未能完全核实；Yu Pei（湖南大学）为据公开论文信息的推定
- Google Scholar主页未找到可确认链接，引用数据缺失
- 华为等横向项目金额来自其个人主页自述，未经合同层面交叉验证
- 学生层面：仅列论文第一作者与新闻披露者，"博士生"身份多为组内惯例推断，公开资料未系统披露指导关系