国防科大博士论文双双入选CCF榜单！

近日，中国计算机学会（CCF）公布了2024年“CCF博士学位论文激励计划”入选名单，从全国范围遴选10篇论文入选、3篇论文获得提名。国防科大计算机学院2022届博士毕业生何浩辰的博士论文《面向性能的配置理解与缺陷检测技术研究》与国防科大计算机学院助理研究员王尚文的博士论文《智能化编程关键技术研究》，双双入选，获此殊荣！

博士论文《面向性能的配置理解与缺陷检测技术研究》聚焦装备“软件定义”时代，针对国产化软件性能难以保障的问题，创新提出了系列方法，深入研究软件配置与性能的关系。论文建立了配置-意图-性能模型，提出基于配置预期的测试预言与学习启发式测试方法，揭示了软硬件性能不适配的特征与根因模式。方法已应用于MySQL、PostgreSQL等近20款主流软件及麒麟操作系统等国防重大项目，预防数十个严重性能问题，为软件性能安全提供有力支撑。该论文指导教师是廖湘科院士和李姗姗教授。

博士论文《智能化编程关键技术研究》聚焦智能化软件开发，针对编码意图拟合难、代码转化质量低及迭代支持不足等问题，构建智能化编程技术体系，提升开发质量与效率。论文提出首个适配敏捷开发的代码框架自动化构建方法，减少对文档依赖；探索搜索式与生成式自然语言到代码转化方法，为基于自然语言的编程提供技术路径；提出基于分治思想的两阶段代码自动修改方法，支持编码迭代演进。基于上述方法，开发系列工具原型，在实际数据集上验证有效性，并成功应用于国产操作系统与军事航天系统，显著缩短系统核心功能研发周期，为国家与军队信息化建设提供有力支撑。该论文指导教师是毛晓光教授。

“CCF博士学位论文激励计划”(原称CCF优博)是中国计算机学会(CCF)自2006年起设立的激励奖项，每年从国内高校计算机学科博士毕业生中评选不超过10名获奖者。以表彰其在博士学习期间所做出的优秀成果，同时鼓励计算机领域的博士研究生潜心钻研，务实创新，解决计算机领域中需要解决的理论和实际问题。

文字 | 何浩辰 王尚文

编辑 | 冉卓

海量资讯、精准解读，尽在新浪财经APP