2023年CCF中国软件大会（CCF ChinaSoft 2023）由CCF主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办，将于2023年12月1-3日在上海国际会议中心举行。

本次大会主题是“智能化软件创新推动数字经济与社会发展”，学术、工业、教育、竞赛等分论坛活动40余场，期待您的参与！

目前大会火热报名中！

CCF ChinaSoft 2023官方首页：

http://chinasoft.ccf.org.cn/

点击文末“阅读原文”或扫描下方二维码进入官方注册通道:

https://conf.ccf.org.cn/chinasoft2023

✦  +

+

论坛巡礼

论坛名称：优秀博士生论坛

时间: 2023年12月2日（星期六），14:00 – 18:00

地点: 上海国际会议中心，3楼黄河厅

论坛简介： 

  优秀博士生论坛是 NASAC 自2015 年设立的报告环节，旨在为全国从事软件工程、系统软件、形式化方法等研究领域、处于不同研究阶段的博士生提供一个高起点、多方向的学术交流平台，展示博士生的创新科技成果，促进不同方向的交叉融合，拓宽博士生的学术视野。ChinaSoft 2023优秀博士生论坛将以博士生学术报告和交流为主，同时发挥导师的指导作用，帮助博士生开阔视野，提高创新能力。

  本届ChinaSoft优秀博士生论坛邀请到了北京大学谢涛教授进行特邀报告《博士生科研技能的培养目标定位与实现途径》。同时，本届论坛共有14名来自国内不同高校或研究机构的高年级优秀博士生为大家分享不同的研究课题以及读博心得。会议议程还包括交流互动环节。

日程安排

Schedule

论坛主席

Forum Chairmen

陈俊洁

天津大学

天津大学智能与计算学部特聘研究员，博士生导师，软件工程团队负责人，国家优青项目获得者；研究方向主要为基础软件测试、可信人工智能、数据驱动的软件工程等。荣获中国科协青年托举人才、CCF优博、电子学会自然科学一等奖等奖项，连续两年（2021、2022）入围斯坦福大学发布的全球前2%顶尖科学家榜单。近年发表CCF A类论文60余篇，获六项最佳论文奖（包括五项CCF-A类会议ACM SIGSOFT杰出论文奖，以及一项CCF-B类会议ISSRE的唯一最佳论文奖）。成果在华为、百度等多家知名企业落地。担任CCF-A类会议ASE 2021评审过程主席，Dagstuhl研讨会联合主席，以及软件工程领域全部CCF-A类会议的程序委员会成员等。

王豫

南京大学

南京大学毓秀博士后。研究工作主要侧重于软件测试和智能化软件工程。研究成果在PLDI、OOPSLA、TSE、ISSTA、JCST、软件学报等国内外高水平期刊会议上发表十余篇论文。研发的部分工具获NASAC原型竞赛二等奖，且已经在阿里，华为等一流软件企业应用。

姚培森

浙江大学

浙江大学研究员、博导，国家级青年人才，CCF形式化专委委员，ACM SIGPLAN会员。主要研究方向程序分析与验证、程序合成、自动定理证明，相关成果在编程语言(PLDI, OOPSLA)、软件工程(ESEC/FSE, ICSE， ASE, ISSTA, TOSEM)、信息安全(S&P, USENIX Security, TDSC)等领域发表CCF-A会议/期刊论文20余篇，入选OOPSLA杰出论文奖、Google Research Paper Rewards等奖项; 针对约束求解、抽象解释和CFL可达性等基础算法提出系列优化方法，应用于大规模真实程序的动静态缺陷检测，发现Linux 内核等开源软件数百真实缺陷、获得近百CVE ID，成果部署在蚂蚁、华为等公司。担任相关领域顶级会议(PLDI, ISSTA, RAID, EuroS&P)程序委员会委员，以及ACM TOPLAS, ACM TKDD, IEEE TR, ATVA, ESEC/FSE, ASE, VMCAI等期刊和会议审稿人。详情见rainoftime.github.io。

论坛嘉宾

Forum Guests

谢涛

北京大学

北京大学讲席教授，计算机学院软件科学与工程系主任，高可信软件技术教育部重点实验室（北京大学）副主任，国家高等学校学科创新引智（“111”计划）基地负责人，中国科协海智计划特聘专家。曾任美国伊利诺伊大学香槟分校（UIUC）计算机科学系正教授。当选欧洲科学院外籍院士、国际计算机学会（ACM）会士、电气电子工程师学会（IEEE）会士、美国科学促进会（AAAS）会士、中国计算机学会（CCF）会士。曾获科学探索奖，国家自然科学基金委海外杰青及其延续资助，美国自然科学基金会职业发展奖（NSF CAREER Award），ACM软件工程领域（SIGSOFT）三大奖项中的两项（有影响力教育工作者奖、杰出服务奖），IEEE软件工程领域（TCSE）杰出服务奖，软件仓库挖掘奠基性贡献奖，软件工程顶级国际会议ASE 2021最有影响力论文奖等。担任CCF软件工程专委会副主任，2020年中国计算机大会程序委员会主席，软件工程顶级国际会议ICSE 2021程序委员会共同主席，《软件测试、验证与可靠性（STVR）》Wiley期刊联合主编等。主要研究领域包括软件工程，系统软件，软件安全，可信人工智能。

报告题目：

博士生科研技能的培养目标定位与实现途径

报告摘要：

博士生培养需要充分考虑所培养出的博士在其未来职业道路上需要具备什么样的重要技能才能更好地去发展。从这个角度出发，本报告将探讨博士在职场发展中通常需要具备的五种重要（独立科研）技能：评估（Assessment）、愿景（Vision）、设计（Design）、执行（Execution）和沟通（Communication）技能（简称AVDEC），以及在博士生培养过程中如何去训练这些重要技能。

蔡源稻

香港科技大学

目前在香港科技大学攻读博士学位，导师为张川 (Charles Zhang)教授，他于2019年本科毕业于南方科技大学。他的研究专注于开发实用的程序分析和验证技术，以确保复杂的现代软件的可靠性和安全性。在博士期间，他通过在华为和蚂蚁集团的实习中积累了丰富的实践经验。截至目前，他已经在多个顶级学术会议上发表了五篇第一作者的研究论文，涵盖了编程语言（PLDI'21和OOSPLA'23）、计算机安全（USENIX Security'2023和USENIX Security'2024）以及软件工程（FSE'22）等领域。他的研究成果揭示了成熟系统如OpenSSL、PostgreSQL、PHP和Linux内核中上百个零日漏洞和错误。此外，他的研究原型工具已经成功部署在蚂蚁集团和华为，并在实际应用中取得成效。

陈钦霖

南京大学

南京大学计算机科学与技术系2022级博士研究生，本科就读于南京大学计算机系，2020年毕业后继续在南京大学攻读硕士学位（研究方向为系统软件），并于两年后转博，跟随李樾和谭添老师攻读博士学位，研究方向为程序设计语言和形式化方法，特别是它们在电子设计自动化（EDA）领域的应用，以提高硬件开发的效率，增强硬件设计的可靠性与安全性。其用于描述Verilog语义的编程语言LambdaV及其配套编译与解释器的工作，近期发表于OOPSLA 2023，并获得OOPSLA 2023 Distinguished Artifact Award。学术服务包括担任OOPSLA 2024 AEC Member等。

董谨豪

北京大学

北京大学计算机学院博士研究生，师从郝丹教授。他的研究聚焦于代码提交过程加速，利用深度学习技术理解代码变更，自动解决合并冲突、自动生成提交消息，提升开发人员协作软件开发的效率。董谨豪共发表5篇CCF-A类国际会议论文，其中长文4篇，包括ICSE、ASE、NeurIPS等国际会议。他关注软件和代码的领域知识，设计了新颖的代码变更表示和模型架构，使得代码变更可以被更好理解以及代码成分可以被更好利用，自动进行冲突分支的合并、自动生成高质量提交消息。他曾获得北京大学校长奖学金、北京大学三好学生等奖项。

贾富琦 

中国科学院软件研究所

2020级直博生，就读于中国科学院软件研究所，导师为张健研究员。研究方向包括约束求解与自动推理、神经符号方法，具体方向为SAT／SMT算法的设计、实现与应用，自动推理与深度学习的交叉研究。以第一作者身份在NeurIPS、ISSTA、ASE等CCF-A类会议发表论文3篇，获得ACM SIGSOFT 杰出论文奖 (ISSTA 2023)，以合作者身份在AAAI、ISSTA、ASE等会议发表论文４篇。作为主要开发者实现了用于求解非线性整数约束的SMT求解器BLAN，达到了国际前列的水平。曾获得过国科大三好学生、国家奖学金等荣誉。

李佳

北京大学

目前是北京大学软件所2020级博士生，高可信软件技术教育部重点实验室成员，导师是金芝教授和李戈教授。主要研究方向为：基于深度学习的程序理解和程序生成，已在软件工程和人工智能CCF A类会议/期刊上发表8篇论文，包括：ICSE、ASE、ACL、NeurIPS、TOSEM。例如，他与合作者们提出了一系列基于大模型的代码生成模型（Structured Chain-of-Thought、Self-Edit、AceCoder和SkCoder等），在多个评测基准上取得了国际最好结果。李佳也曾获国家奖学金、中国电信奖学金·天翼奖等奖项。详细信息请见：https://lj2lijia.github.io/

彭昀

香港中文大学

香港中文大学ARISE Lab四年级博士生，导师为Prof. Michael R. Lyu，2020年毕业于中国科学技术大学少年班学院计算机科学与技术专业并获得荣誉学位。研究领域为软件工程，研究方向为智能化代码分析和软件可靠性，包括类型推断，软件漏洞修复，软件生态研究等。他在软件工程领域顶级会议和期刊ICSE、ESEC/FSE，ASE，IEEE TSE上发表了多篇论文，并获得了ASE 2023的杰出论文奖和ICSE 2022的杰出论文奖提名。他同时担任软件工程领域顶级期刊IEEE TSE和ACM TOSEM的审稿人。

汪涛

中国科学院软件研究所

2015年于东北大学软件学院获得学士学位，2019年以直博生的身份进入中国科学院软件研究所进行学习，导师为魏峻、窦文生、陈伟老师。主要研究方向为程序分析，IoT系统的可靠性保障。近年来发表了4篇学术论文，其中包括3篇一作CCF A类软件工程领域顶级会议长文（ISSTA 2022, ICSE 2022, ASE 2023），并荣获ASE 2023的ACM SIGSOFT Distinguished Paper Award。在学期间，荣获博士研究生国家奖学金、三好学生标兵、一等学业奖学金，优秀大学生奖学金等荣誉。更多信息可见http://www.tcse.cn/~wangtao19/。

肖文鑫

北京大学

北京大学计算机学院计算机软件与理论专业博士四年级研究生，导师是周明辉教授。主要研究方向为开源软件项目的可持续性研究，研究内容主要关注开源项目的新手加入与社区成长。已在国内外会议、期刊上发表10篇论文，其中以第一作者在CCF A类中英文会议、期刊ICSE，ESEC/FSE，ASE以及自动化学报上发表多篇论文。提出的开源软件项目新手任务推荐技术已集成到开源软件数据分析实验室托管的GitHub项目中，详情见GFI-Bot仓库https://github.com/osslab-pku/gfi-bot。

闫明

天津大学

天津大学软件分析与智能实验室在读博士，导师为陈俊洁教授。主要研究方向为深度学习系统测试和芯片设计测试。在深度学习框架测试研究工作中，为Keras, MXNET，MindSpore等开源深度学习框架检测多个缺陷。针对芯片设计的测试研究工作已在华为海思内部落地使用，并在6个真实芯片模块，8个特性上取得实践效果。曾获ESEC/FSE2020 杰出论文奖，ESEC/FSE2021 杰出论文奖提名，中国电子学会优秀硕士学位论文，华为-天津大学人工智能创新实验室优秀贡献奖等荣誉奖项。相关研究工作发表于ESEC/FSE，ICSE、TOSEM等知名软件工程国际会议和期刊上。

杨燕鸣

浙江大学

浙江大学计算机科学与技术学院博士生，导师组包括陈纯、杨小虎、夏鑫老师。博士阶段主要研究方向为代码质量保障，包含代码质量评估、不良代码检测及代码质量改进等工作。博士期间在国际期刊与学术会议上现发表论文6篇，其中以第一作者发表论文5篇，包含CCF A类期刊4篇 发表于FSE, ICSE, TOSEM以及SCI一区论文1篇发表于ACM Computing Surveys (SCI一区, IF=14.324)。曾获2021-2022学年博士生国家奖学金。

张晨曦 

复旦大学

复旦大学计算机科学技术学院软件工程实验室博士生，导师为彭鑫教授，2015年毕业于华南理工大学获工学学士学位，2018年毕业于西安交通大学获工学硕士学位，2018年至2020年在华为技术有限公司担任云计算软件工程师。主要研究方向包括软件工程、微服务与智能化运维等。目前已在ICSE、FSE、ASE、ISSRE等国际会议发表论文10篇，其中CCF A类论文5篇。先后参与完成多项校企联合研究项目，包括微软亚洲研究院、华为、阿里巴巴、腾讯、字节跳动等，多项成果得到了成功应用。并担任ISSTA、ICPE、TOSEM、JSS、EMSE等国际会议和期刊审稿人。

张昕荻

中国科学院软件研究所

研究兴趣为可满足性问题（SAT）及其应用问题，导师为蔡少伟老师。他的研究工作解决了命题逻辑“Bart Selman”十大挑战的第七项，相关论文获得了SAT领域权威会议SAT（CCF-B）会议的“最佳论文奖”。他作为主要参与人研制的相关求解器在近几年的SAT比赛、SMT比赛、Floc奥林匹克竞赛累计获得金牌、冠军累计超过十余项，获得了国内首个SAT比赛并行组冠军和SMT比赛的冠军。相关SAT求解技术被应用于芯片设计“卡脖子问题”EDA等价性验证工具，获华为公司感谢信；应用于流密码分析中，获“强网杯”密码数学专项赛全国总冠军。在SAT、JAIR、CAV、ICCAD等相关领域权威会议累计发文11篇。

张星

北京大学

北京大学计算机学院程序设计语言实验室博士四年级研究生，导师为胡振江教授，研究方向是双向变换。她研究的具体问题是双向实时编程，即一方面允许开发者文本编程得到输出，另一方面可以直接操作输出反向更新程序，使得更新的程序再次运行可以得到直接操作的输出。目前她在CCF-A类会议ICSE 2022和OOPSLA 2023以第一作者身份发表论文两篇，分别研究不完整程序以及面向对象程序上的双向实时编程。她另有一篇论文被POPL 2024条件接收，提出了一种新的基于操作的双向实时编程框架。她曾获北京大学校长奖学金、华为奖学金、华泰证券科技奖学金、鸿升奖学金、三好学生、优秀科研奖、优秀学生干部等荣誉。

赵韩蕊

华东师范大学

目前为华东师范大学软件工程学院博士三年级研究生，导师为杨争峰教授，研究方向为深度学习算法的设计与验证。她曾在DAC 2023（第一作者）、EMSOFT 2023（第一作者）领域顶级国际会议和Journal of System Sciences and Complexity（学生一作）国际期刊上发表学术论文，在智能系统的安全验证和控制策略构造等方面取得了一些研究进展，其设计开发的智能系统安全验证工具SynNBC，目前能够处理高达19维的连续动力系统。她的研究兴趣包括但不限于可信人工智能、形式化验证方法、控制器综合以及障碍证书生成等等。