南京大学 蒋炎岩 准聘副教授
报告生成时间：2026年8月20日
个人主页：蒋炎岩
所属团队：南京大学计算机软件研究所系统软件与软件自动化团队
一、学者基本信息
| 字段 | 内容 |
|---|---|
| 姓名 | 蒋炎岩（Yanyan Jiang） |
| 出生年份 | 公开来源未披露 |
| 职称 | 准聘副教授（Tenure-track Associate Professor）、博士生导师 |
| 所属单位 | 南京大学计算机科学与技术系 / 计算机软件研究所 |
| 实验室职务 | 独立PI（已从计算机软件研究所脱离原有团队结构，以独立PI方式带学生和开展研究） |
| 学术头衔 | 国家级青年人才 |
| 国级人才 | 国家级青年人才计划（公开来源未明确标注具体人才计划名称） |
| 其他任职 | ChinaSys'25程序委员会主席；SOSP、EuroSys、ASE等会议程序委员会委员；江苏省青少年信息学奥林匹克竞赛委员会成员；南京市青少年宫特聘专家；亚太信息学奥林匹克竞赛技术委员会成员 |
| 邮箱 | jyy@nju.edu.cn |
| 研究方向 | 系统软件和软件自动化（构造与折磨软件系统，包括验证、确认与综合）；具体涵盖并发程序分析、编译器测试、操作系统、JIT编译器验证、程序合成、Android系统等 |
二、教育背景与职业履历
蒋炎岩的学术生涯始于南京大学计算机科学与技术系。他于本科阶段就读于南京大学，此后继续在南京大学计算机软件研究所攻读博士学位，为2013级博士研究生。关于其博士导师，公开来源存在口径差异：CCF（中国计算机学会）官方优秀博士论文奖页面明确列其指导教师为吕建教授；而南京大学计算机软件研究所的宣传页面在记录同一奖项时，将导师列为"许畅、马晓星、吕建"三人。蒋炎岩个人的英文主页在脱离软件所时仅以独立PI身份介绍自己，未对导师问题作出单方面声明。鉴于上述差异，本报告如实记录：CCF官方列吕建；软件所页面还列许畅、马晓星，公开来源存在口径差异，勿武断。
蒋炎岩的博士论文题为《并发程序共享内存访问依赖研究》，系统研究了基于访存依赖的并发程序动态分析理论、技术及其应用。该工作建立了统一刻画体系结构、计算机系统、软件工程、程序设计语言等领域现有研究途径的技术框架，阐明了访存依赖获取的复杂性理论界限，并提出了乐观锁、二分组协议等多项访存依赖获取技术，实现了多个数量级的性能提升。其工具在GNU Coreutils等高成熟度开源软件中首次检出了存在已久的缺陷。凭借这一工作，蒋炎岩获得2018年度CCF优秀博士学位论文奖，并曾获ACM China优博提名（据其自述为top 5）。
博士毕业后，蒋炎岩留校工作，初期任助理研究员，后晋升为准聘副教授、博士生导师。他的英文主页曾长期托管于南京大学计算机软件研究所网站（https://ics.nju.edu.cn/~jyy/），后迁移至独立主页（https://jiangyy.github.io/），并明确声明"I will be leaving Institute of Computer Software as an independent PI"，标志着其从软件所原有团队结构中独立出来。在研究方向的演进上，蒋炎岩从博士阶段的并发程序分析逐步扩展到编译器测试与验证、操作系统、程序合成、Android系统等领域，并在近年将视野延伸至AI驱动的软件工程（如利用大语言模型辅助编译器优化与模糊测试）以及更广泛的"构建智能体AI系统以驱动测试时扩展"的愿景。他自述当前的研究兴趣为"I build agentic AI systems that power test-time scaling toward the broader horizon of general intelligence"。
在教学方面，蒋炎岩从零开始建设了南京大学《操作系统：设计与实现》课程，该课程录像在B站播放量超过500万次，成为互联网上广受好评的计算机系统课程之一。他还教授《计算机系统基础》等课程。两门课程均入选南京大学计算机系"毕业生心目中的好课程"。凭借出色的教学，他获得南京大学"我最喜爱的老师"荣誉，并入选中国高校计算机专业教师奖励计划。此外，蒋炎岩还是ICPC World Finalist，长期参与青少年信息学奥林匹克竞赛的组织与技术工作。
三、学生培养情况
蒋炎岩作为独立PI及在软件所期间，指导或共同指导了多位研究生。以下列出可从公开来源确认的代表性学生。
1. 李聪（博士/博士后，指导学生）
李聪是蒋炎岩指导的最为突出的博士生。根据李聪个人主页（https://connglli.github.io/）的明确表述，他"received my Ph.D. from the Institute of Computer Software (ICS), Nanjing University (NJU), advised by Prof. Yanyan Jiang and Prof. Chang Xu"。2024年ACM南京分会优秀博士论文奖公示中同样确认李聪的博士论文导师为"许畅，蒋炎岩"。南京大学官方新闻在报道SOSP'23最佳论文奖时亦确认论文作者为"李聪博士、蒋炎岩副教授、许畅教授和苏振东教授"。李聪的博士论文题为《面向Android应用的跨设备自动适应技术研究》（据ACM南京分会公示），但其代表性研究成果主要在JIT编译器验证领域。他作为第一作者完成的论文"Validating JIT Compilers via Compilation Space Exploration"获SOSP 2023最佳论文奖，该工作在HotSpot、OpenJ9和Android Runtime三个生产级JVM中发现并上报85个缺陷，其中53个已被确认或修复。李聪发表的论文涵盖SOSP'23（最佳论文）、ESEC/FSE'22、ICSE'22、ASE'24、ASPLOS'24、PLDI'26、TOCS'25等顶会/顶刊。据其个人主页自述，博士毕业后，李聪先加入蚂蚁集团"星计划"任研究员，随后赴苏黎世联邦理工学院（ETH Zurich）Advanced Software Technologies (AST) Lab师从苏振东教授从事博士后研究，研究兴趣扩展至利用大语言模型辅助编译器优化与模糊测试；其后续任职情况以本人或用人机构公开页面为准。
2. 陈冬杰（论文合作者；师生关系公开资料未证实）
陈冬杰的研究工作"Testing file system implementations on layered models"发表于ICSE 2020，论文作者为Dongjie Chen、Yanyan Jiang、Chang Xu、Xiaoxing Ma和Jian Lu。该工作将文件系统测试方法整合为南京大学操作系统课程的实验内容之一，体现了蒋炎岩将科研成果转化为教学资源的理念。公开论文署名能够确认其与蒋炎岩、许畅、马晓星等人的研究合作，但未检得可直接确认其学籍、导师关系或后续去向的官方材料；因此不据作者排序或研究方向推定共同指导关系。
3. 赵泽林（博士毕业生；蒋炎岩为论文合作者）
赵泽林于2014年获得南京大学计算机科学与技术系学士学位，此后在南京大学计算机软件研究所攻读博士学位，其个人主页显示指导教师为马晓星教授和许畅教授。蒋炎岩是其重要论文合作者；公开资料不足以据此进一步认定蒋炎岩的指导角色。赵泽林的代表性工作"Synthesizing object state transformers for dynamic software updates"发表于ICSE 2021，获ACM European Best Paper Award和ACM SIGSOFT Distinguished Paper Award，论文作者为Zelin Zhao、Yanyan Jiang、Chang Xu、Tianxiao Gu和Xiaoxing Ma。该工作提出工具PASTA，在动态软件更新中自动合成对象状态转换器，在非平凡对象转换任务上的成功率是已有最佳技术的7.5倍。赵泽林的研究方向涵盖动态软件更新、程序分析和软件工程。
4. 孟占帅（研究生，共同指导）
孟占帅（Zhanshuai Meng）于2015年获得南京大学计算机科学与技术系学士学位，此后在计算机软件研究所继续攻读研究生。其个人主页明确记载指导教师为"Prof. Xiaoxing Ma (马晓星), Prof. Chang Xu (许畅), and Dr. Yanyan Jiang (蒋炎岩)"，属于软件所多导师共同指导模式下的学生。孟占帅的研究方向为移动应用测试与分析，发表论文"Facilitating reusable and scalable automated testing and analysis for Android apps"于Internetware 2015。
5. 欧先飞（论文合作者；师生关系公开资料未证实）
欧先飞（Xianfei Ou）在编译器模糊测试方向与蒋炎岩、许畅合作。其工作"The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators"发表于ASPLOS 2024，论文作者为Xianfei Ou、Cong Li、Yanyan Jiang和Chang Xu，将大语言模型生成的变异算子应用于编译器模糊测试。欧先飞还发表了"Semantic Aware Greybox Compiler Fuzzing"于《软件学报》2025年。上述公开论文可确认其研究合作及方向，但没有直接的官方材料证明其导师关系，故不以论文署名或研究连贯性推定共同指导。
6. 沈宇桔（论文合作者；师生关系公开资料未证实）
沈宇桔（Yuju Shen）参与了获得ASE 2018 ACM SIGSOFT Distinguished Paper Award的工作，论文作者为"沈宇桔、蒋炎岩、许畅"（据软件所宣传页面记录）。该论文是蒋炎岩在软件工程领域的早期标志性成果之一，属于ASE 2018（CCF-A类）杰出论文奖。公开资料可确认沈宇桔与蒋炎岩、许畅的该项论文合作及Android应用测试研究关联；未检得其导师归属的直接官方依据，故不认定为蒋炎岩共同指导的学生。
7. 刘含之（论文合作者；师生关系公开资料未证实）
刘含之（Hanzhi Liu）与蒋炎岩、许畅合作完成"Visualinux: Visual Debugging for the Linux Kernel"，该工作在公开资料中列为2026年待刊/预印本状态，论文作者为Hanzhi Liu、Yanyan Jiang和Chang Xu。该工作将可视化调试技术应用于Linux内核，体现了团队在系统软件调试方向的持续拓展。公开资料未直接证实其导师关系，因此仅将其列为论文合作者。
四、学术合作网络
4.1 实验室内部合作
蒋炎岩的实验室内部合作以南京大学计算机软件研究所为核心展开。软件所是一个多教授协作的研究集体，蒋炎岩在其中的合作网络主要包括以下节点：
许畅教授是蒋炎岩在软件所期间最紧密的合作者。许畅于2008年获香港科技大学博士学位，2010年加入南京大学，2015年晋升教授，2021年获教育部长江学者特聘教授。许畅的研究方向涵盖大数据软件工程、智能软件测试与分析、自适应软件系统等。蒋炎岩与许畅的合作论文数量众多，涵盖ICSE、SOSP、ASE、ASPLOS、FSE等顶级会议和TOCS、TOSEM、TSE等顶级期刊。李聪的博士导师经官方公示确认为许畅与蒋炎岩；陈冬杰、赵泽林、欧先飞、刘含之等人为二人的论文合作者，其导师归属以各自官方口径为准。二人在SOSP'23最佳论文、ICSE'21最佳论文、ASE'18杰出论文等标志性成果上均为合作者。许畅作为软件所的资深教授和学术带头人，在合作中通常承担通讯作者或资深作者角色。需注意，许畅是软件所同事与合作者，本报告不将其列为本团队（蒋炎岩独立PI团队）的导师成员。
马晓星教授是蒋炎岩在软件所期间的另一位重要合作者。马晓星的研究方向包括分布式计算、移动应用分析、人机物融合系统等。蒋炎岩与马晓星在ICSE'21最佳论文（赵泽林为第一作者）、Internetware 2015等工作中合作，并共同指导了孟占帅等学生。马晓星同样是软件所同事与合作者，不列为本团队成员。
吕建教授（中国科学院院士）是蒋炎岩的博士导师之一（CCF官方认定）。吕建是南京大学计算机软件研究所的创始人之一和学术带头人，研究中以软件方法学和软件自动化为核心。在蒋炎岩的博士论文及早期工作中，吕建作为导师提供了学术指导。软件所宣传页面将吕建、许畅、马晓星三人共同列为蒋炎岩CCF优博的导师。
黄宇教授是软件所另一重要成员，研究方向为分布式系统和算法。黄宇与蒋炎岩同属软件所，但二人直接合作的论文记录较少。黄宇获SRDS 2022最佳论文奖（与谷晓松合作），并于2017年与吕建共同指导了CCF优博获得者魏恒峰。黄宇作为软件所同事列出，不列为本团队成员。
余萍、曹春、陶先平等也是软件所的研究人员，与蒋炎岩在论文合作和教学活动上有所交集，但合作频次相对较低。
4.2 跨机构合作与国际合作
苏振东教授（Prof. Zhendong Su）是蒋炎岩最重要的国际合作伙伴。苏振东于2002年获UC Berkeley计算机科学博士学位，先后任UC Davis教授、ETH Zurich教授（2018年至今），领导Advanced Software Technologies (AST) Lab，是ACM Fellow、IEEE Fellow、欧洲科学院院士，并在2024年当选ACM SIGSOFT Software Engineering Academy成员。苏振东的研究领域为软件工程和程序语言，尤其在编译器测试、DBMS测试、SMT求解器测试等方面有深厚积累（其团队在GCC/LLVM中发现超过2,391个缺陷，在Z3/CVC4中发现超过1,667个缺陷）。蒋炎岩与苏振东的合作以SOSP'23最佳论文为核心，该论文由南京大学软件所团队和ETH AST Lab合作完成。此后，李聪赴ETH师从苏振东从事博士后研究，进一步巩固了两个团队的合作关系。近年合作论文还包括TOCS'25（JIT编译器验证的期刊扩展版）、TOSEM'26（代码片段检索）等。
蚂蚁集团方面的合作主要体现在李聪博士毕业后加入蚂蚁集团"星计划"（Ant Star Program），与蚂蚁集团研究员狄鹏（Dr. Peng Di）合作。狄鹏出现在多篇论文的合作者中（如ASE'24、TOSEM'26），研究涉及代码变更理解和代码片段检索。这一合作更多是学生毕业后的职业衔接而非正式的产学研协议。
Shing-Chi Cheung教授（香港科技大学）出现在蒋炎岩近年的论文合作者中（如TOSEM关于Golang依赖异味、TSE关于多模态代码搜索的工作），反映了蒋炎岩研究网络向更广泛的软件工程社区的延伸。
田天教授（南京大学软件工程研究组NJU SEG负责人）与蒋炎岩同属南京大学计算机学院但分属不同研究组，二人之间未见直接论文合作记录，但在学院层面有一定的学术交集。
五、业界合作关系深度分析
5.1 产业合作
蒋炎岩团队的产业合作以SOSP'23最佳论文成果的产业影响力最为突出。该工作在三个广泛使用的生产级Java虚拟机——HotSpot（Oracle/OpenJDK社区维护）、OpenJ9（Eclipse基金会/IBM维护）和Android Runtime（Google维护）——中共发现并上报85个缺陷，其中53个已被确认或修复，许多被认定为严重级别。作者团队收到了来自HotSpot和OpenJ9开发者的感谢信，表明该研究成果直接惠及了工业界的生产级系统。然而，这些成果属于学术研究驱动的缺陷发现与上报，并非正式的产业合作合同或联合研发项目。李聪开发的开源工具Artemis（JIT编译器验证工具）已在GitHub上公开发布，可供产业界自由使用。
在蒋炎岩的个人主页上，其身份标注为"Tech Lead · Cosmic Dawn AI"，并自述"I build agentic AI systems that power test-time scaling toward the broader horizon of general intelligence"。Cosmic Dawn AI（cosmicdawnai.com）似乎是蒋炎岩参与AI创业或技术项目的平台。但截至本报告生成时，公开来源中关于Cosmic Dawn AI的详细信息极少，无法确认该公司/项目的具体业务范围、融资情况或与南京大学的正式合作关系。鉴于公开信息不足，本报告如实记录此标注但无法进一步深入分析。
除上述外，蒋炎岩团队在公开来源中未见与华为、腾讯、阿里巴巴等头部企业有正式联合研发项目的披露。学生在毕业后的去向涉及蚂蚁集团等企业，但这属于个人职业选择而非实验室层面的产业合作。综合而言，蒋炎岩团队的产业合作以学术研究成果对生产级开源软件的实际影响力为特色，但在正式产学研合作协议层面，公开来源未披露详细信息。
5.2 创业孵化
蒋炎岩在Cosmic Dawn AI的Tech Lead角色是其在创业方向上的唯一公开线索。根据其个人主页的自我定位和近期公开演讲中提出的"Content as Code""氛围学习""Small Explanation Hypothesis"等概念，蒋炎岩的创业愿景似乎聚焦于利用AI技术重塑教育和科研方法。他在播客和公开演讲中将AI视为"整个人类智力活动被推上审判台"的变革力量，并提出了"Auto Research"（自动化科研）等概念。然而，这些更多属于愿景表达和思想实验，Cosmic Dawn AI具体的产品形态、商业模式和团队构成在公开来源中未披露。因此，本报告如实记录蒋炎岩有创业方向的参与，但具体信息暂未可证。
六、重要奖项与学术兼职
| 年份 | 奖项/兼职 | 说明 |
|---|---|---|
| 2023 | SOSP Best Paper Award | "Validating JIT Compilers via Compilation Space Exploration"（李聪、蒋炎岩、许畅、苏振东），CCF-A类会议最佳论文奖 |
| 2021 | ICSE ACM European Best Paper Award & ACM SIGSOFT Distinguished Paper Award | "Synthesizing object state transformers for dynamic software updates"（赵泽林、蒋炎岩、许畅、顾天晓、马晓星），ICSE唯一最佳论文奖，CCF-A类 |
| 2018 | ASE ACM SIGSOFT Distinguished Paper Award | （沈宇桔、蒋炎岩、许畅），CCF-A类杰出论文奖 |
| 2018 | CCF优秀博士学位论文奖 | 博士论文《并发程序共享内存访问依赖研究》，CCF官方列导师为吕建；软件所页面还列许畅、马晓星 |
| — | ACM China新星奖 | 据FCES 2026报告嘉宾介绍中提及 |
| — | ACM China优博提名 | 蒋炎岩自述为top 5 |
| — | 微软学者奖学金（Microsoft Research Asia Fellowship） | 博士期间获得 |
| — | 南京大学"我最喜爱的老师" | 学生投票评选 |
| — | 中国高校计算机专业教师奖励计划 | 入选 |
| — | 南京大学学生年度人物 | 博士期间获得 |
| 2025 | ChinaSys'25程序委员会主席 | 主持操作系统领域重要研讨会 |
| — | SOSP程序委员会委员 | 操作系统顶级会议 |
| — | EuroSys程序委员会委员 | 欧洲系统会议 |
| — | ASE程序委员会委员 | 软件工程顶级会议 |
| — | 国家级青年人才 | 具体人才计划名称公开来源未明确标注 |
七、Connection圈层总结
蒋炎岩的学术关系网络呈现出从南京大学计算机软件研究所出发、逐步向独立PI演进的独特轨迹，可以划分为以下圈层：
第一圈层（核心合作与指导关系）：许畅教授是蒋炎岩最紧密的学术合作者，二人在SOSP'23、ICSE'21、ASE'18等标志性成果上均有合作，并共同指导了李聪等多位学生。苏振东教授（ETH Zurich）是最重要的国际合作伙伴，通过李聪的博士后研究将两个团队紧密连接。吕建院士作为蒋炎岩的博士导师（CCF官方认定），在其学术根基的塑造中发挥了奠基作用。李聪作为蒋炎岩亲自指导的杰出博士生，以其SOSP'23最佳论文的成就成为团队学术产出的标杆，并作为"学术子女"延伸了蒋炎岩的国际合作网络。
第二圈层（软件所同事与合作者）：马晓星教授、黄宇教授、曹春教授、陶先平教授、余萍等南京大学计算机软件研究所的同事构成了蒋炎岩的学术工作环境。这些同事在多篇论文上有合作记录，并在学生培养上有交集。需特别说明的是，蒋炎岩已公开声明从软件所独立出来成为独立PI，因此这些同事属于合作关系而非团队成员关系。赵泽林、孟占帅、陈冬杰、沈宇桔等与蒋炎岩存在论文合作（孟占帅经其个人主页明确记载为马晓星、许畅、蒋炎岩共同指导）的软件所学生，处于蒋炎岩学术网络的第二圈层。
第三圈层（学生与新生代）：李聪是唯一经官方公示确认由蒋炎岩（与许畅）指导的博士生；欧先飞、刘含之等近年的论文合作者，以及未来作为独立PI招收的学生，构成其团队的新生代力量。这些合作者的研究方向体现了蒋炎岩研究兴趣的演进——从并发程序分析和软件测试向编译器验证、操作系统调试、AI驱动软件工程等方向扩展。
第四圈层（跨机构与国际网络）：以苏振东教授和ETH Zurich AST Lab为核心的国际合作节点，以蚂蚁集团（李聪毕业后加入）为代表的产业衔接节点，以及Shing-Chi Cheung等国际学者构成的学术交流网络。蒋炎岩的 podcast 和互联网影响力（知乎"绿导师"、B站课程播放量超500万）也为其构建了一个超越传统学术圈的公共影响力网络。Cosmic Dawn AI作为其创业方向的探索，可能成为连接学术研究与产业落地的新节点，但目前公开信息不足以深入分析。
总体而言，蒋炎岩的学术网络以南京大学软件所为核心发源地，以许畅为最紧密合作者，以苏振东为最重要国际合作伙伴，以李聪为最优秀学术后代（经官方公示确认）。他从软件所多导师团队中独立的过程，为他以单一PI身份构建自主学术网络奠定了基础，同时也保持了与原有合作网络的紧密联系。其在系统软件和软件自动化领域的研究成果（五次CCF-A类会议论文奖）以及公众影响力（操作系统课程、互联网活跃形象），使其成为中国计算机科学领域具有独特风格的青年学者。