2022年11月27日，2022年度ccf中国软件大会优秀青年学者论坛成功召开。本次论坛由中国科学院软件研究所詹伯华、南京大学左志强和西安电子科技大学西安市智能软件工程重点实验室骨干教师王璐联合组织举办，采取腾讯会议与在线直播两种方式线上进行。论坛围绕软件工程、系统软件、形式化方法及其相关领域研究，邀请了来自北京大学、南京大学、浙江大学、中国人民大学、香港科技大学（广州）、中国科学院计算技术研究所、天津大学、湖南大学等9位优秀青年学者带来精彩报告。论坛线上直播平台吸引1080人次观看，腾讯会议会场吸引了百余位师生现场交流，反响热烈！

论坛的上半场主要围绕数据驱动的智能软件、安全检测与云计算领域展开，由西安电子科技大学王璐老师主持，王璐简要介绍了本次论坛的情况，对各位报告嘉宾和在线听众表示热烈欢迎。

首场报告题为“面向人工智能的数据准备技术：机遇与挑战”，由中国人民大学范举老师带来。报告探讨了基于人工人工智能的数据库技术（ai4db），进而介绍用于人在回路的数据准备方法，最后介绍课题组关于大数据管理与分析的新思路。接着，北京大学李锭老师以“下一代apt攻击检测系统”为题，介绍了其课题组研制的系统运行日志监控技术，以及在系统安全领域的应用，并且被nec公司应用到其商业化的安全产品中，最后介绍结合这些研究成果讨论了未来apt攻击的模式已经检测方法。香港科技大学（广州）张弘策老师以“机器学习引导的硬件模型检验技术”为题，介绍了硬件领域内的形式化方法的现状，然后介绍课题组围绕硬件领域内的形式化方法设计开发的开发了模型检测工具pono与指令集建模与验证工具ilang，最后指出机器学习在硬件领域内的形式化方法的应用价值。

论坛接下来由中国科学院软件研究所詹博华老师主持，詹老师首先邀请了中国科学院计算所王晨曦老师以“程序语义信息感知的云计算系统”为题，介绍面向数据中心构建跨编程语言、运行时、操作系统的云计算系统软件，以及程序语义信息的感知方法与在云计算系统上的应用方法。天津大学陈俊洁老师带来的“learning to construct better mutation faults”，围绕软件分析与测试、数据驱动的软件工程、人工智能安全等方向开展分享，研讨了基于数据驱动的深度学习对于发现软件系统突变故障的全新思路。北京大学张昕老师以“逻辑和概率结合的程序分析”为题，介绍了程序设计语言和软件工程的特征和发展趋势，以及重点在编程系统和机器学习的交叉方向上实践思考，一方面，讨论团队利用机器学习技术来提高程序分析等编程系统的可用性，另一方面，介绍团队开发了新的程序分析和语言以提高机器学习系统的质量。

论坛的下半场主要围绕程序分析与系统漏洞展开，由南京大学左志强老师主持。左老师首先邀请南京大学冯洋老师以“数据驱动的复杂智能软件系统质量保障”为题，介绍了操软件质量保障研究现状，具体讲解了复杂智能软件系统的质量保障技术，与基于程序设计语言的软件质量保障方法，探讨了数据驱动对于复杂智能软件系统质量提供更好的保障新思路。浙江大学鲍凌峰老师以“智能化漏洞管理”为题，介绍了近几年软件漏洞数据的特征和发展趋势，从人因软件工程、软件仓库挖掘、经验软件工程方向探讨智能化漏洞管理的可行性，最后提出了一个基于知识的智能化漏洞管理工具memvul。最后，由湖南大学张羽丰老师以“on the properties of kullback-leibler divergence between multivariate gaussian distributions”为题，介绍了高可信软件、程序分析与测试、人工智能的特征和发展趋势，以及讨多变量的高斯分布的kl散度性质，提出了一种聚类分析与参数估计的方法。

至此，2022 ccf中国软件大会优秀青年学者论坛带来了9场精彩报告，圆满结束，感谢关注！期待后续共同为我国软件事业作出贡献！同时，由重点实验室骨干教师徐悦甡副教授、蒋志平博士以及实验室副主任李瑞教授组成的团队，获得了全国软件工程教学案例竞赛二等奖与软件研究成果原型系统竞赛优胜奖。