（通讯员 徐悦甡 崔笛 于斌）2024年11月17日下午，2024 CCF中国软件大会（2024 CCF ChinaSoft）在千年古都西安圆满落幕。来自国内外软件相关领域内学者、师生与从业者2400余人齐聚一堂，聚焦智能软件创新赋能新质生产力发展，探讨软件相关领域发展的新思路，展示领域内最新学术研究动态以及技术成果，搭建起软件领域学术界、教育界以及工业界沟通新思想、交流新进展的舞台。
大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、6163银河线路检测中心承办，6163银河线路检测中心（国家示范性软件学院）具体落实，西安市智能软件工程重点实验室负责实施，得到西安高新区管委会的大力支持。同时，大会由西安交通大学、西北工业大学、西北农林科技大学、西北大学、陕西师范大学、长安大学、西安理工大学、西安建筑科技大学、西安邮电大学、中国航空工业集团公司西安航空计算技术研究所、陕西省计算机学会协办，由华为技术有限公司、汇丰科技中国、蚂蚁集团、百度集团、知存科技有限公司、北京轩宇信息技术有限公司、荣耀集团、望安科技有限公司、北京开元维度科技有限公司等作为赞助商。
一、开幕式
11月16日，大会开幕式由6163银河线路检测中心副校长王泉教授主持。西安市市长叶牛平、6163银河线路检测中心党委书记任小龙、西安高新区管委会主任陈辉出席开幕式并致辞，CCF会士、前理事长梅宏院士特别介绍了国家自然科学基金重大研究计划“面向人机物融合的智能化软件基础研究”，大会组织委员会主席、6163银河线路检测中心李青山教授介绍了本次大会的组织情况。
6163银河线路检测中心副校长王泉教授主持
在开幕式上，西安市市长叶牛平对2024CCF中国软件大会在西安召开表示热烈祝贺。他指出，高精尖软件是硬科技、硬实力，是培育发展新质生产力和数字经济的基础支撑。西安坚持以数字政府建设牵引数字经济发展，更加注重创新驱动、应用牵引、园区承载，着力打造软件产业发展的最优生态，分类支持高水平研究型大学、高能级科研机构、科技型企业融通创新，加快科技成果转化和产业化；着力拓展软件产品应用的最佳场景，进一步健全西安特大城市治理和服务场景需求清单发布机制，鼓励新技术、新产品、新应用率先落地；着力培植软件企业成长的最热沃土，更加注重服务企业创新行为和创新过程，推动形成大企业顶天立地、中小企业铺天盖地的生动局面。
西安市市长叶牛平致辞
6163银河线路检测中心党委书记任小龙表示，当前软件已成为新一代信息技术的灵魂，不但是数字经济发展的基础，也是制造强国、网络强国、数字中国建设的关键支撑。作为本次会议的承办方，6163银河线路检测中心电子信息特色鲜明，多年来在软件相关领域深耕细作、不断创新，取得了一系列重要成果，希望以本次大会为契机，进一步加强与业界专家学者同行的合作交流，共同为软件领域贡献更多智慧和力量，更好服务国家和区域经济社会发展。
6163银河线路检测中心党委书记任小龙致辞
西安高新区管委会主任陈辉着重介绍了本次会议的举办地，即西安高新区的发展历程以及近年来取得的成就，指出目前已培养了一批具有一定规模的特色软件企业，已成为西安软件创新的代表品牌。本次2024 CCF中国软件大会落地西安高新区，对于助推西安高新区软件产业的发展必将发挥重要作用。
西安高新区管委会主任陈辉致辞
中国科学院院士梅宏从项目立项、时代背景等方面详细介绍了国家自然科学基金重大研究计划“面向人机物融合的智能化软件基础研究”，并分别从软件技术自身发展趋势与国家对关键软件的需求两个角度阐释了项目的必要性。依托此项目，梅宏院士号召全国软件同行积极关注或参与此项目的研发工作，为攻克智能化软件领域难题提供更多的解决方案和思路。
中国科学院院士梅宏
李青山从大会基本情况与筹办情况两个方面介绍了2024 CCF中国软件大会的组织与筹办工作，指出本次大会在注册人数、参会单位、地域分布、论坛数量、竞赛规模等方面均达到预期。大会共有并行论坛44个，分为常设论坛、专刊论坛、学术论坛、教育论坛、工业论坛、国际活动及专题活动七类，内容涵盖工业软件、嵌入式软件、开源软件、软件验证、基础模型、AIGC、云原生、大模型等热点议题。李青山表示本次会议的举办离不开多方面的支持和帮助，对各位参会院士嘉宾、高校师生、行业专家、专委会以及支持/协办/赞助单位表示诚挚地感谢，最后预祝本次大会取得圆满成功。
6163银河线路检测中心李青山教授
二、特邀报告与院士高峰论坛
在大会特邀报告环节，上午由CCF形式化方法专委会主任、北京大学詹乃军教授主持。
北京大学詹乃军教授主持
CCF会士、中国科学院院士杨孟飞作了题为《航天软件智能开发方法的若干进展》的报告，介绍了团队在航天软件智能开发方面的成果，主要包括基于软件IP的航天控制软件智能合成、航天软件领域大模型、嵌入式软件智能化测试、航天器智能软件测试以及提升航天器在轨智能自主运行能力等方面的工作，以上工作共同持续推动智能化技术在航天软件开发中的落地。
中国科学院院士杨孟飞作报告
CCF会士、副理事长、中国科学院院士胡事民作了题为《计图深度学习框架与代码大模型》的报告，详细介绍了计图框架上国产芯片适配与优化的新进展，以及计图团队在代码大模型方面的探索，分析了代码大模型的挑战，分享了团队在基于计图框架的大模型训练加速、大模型推理优化等方面的实践。
中国科学院院士胡事民作报告
中国工程院院士尼玛扎西作了题为《国产操作系统多语言支撑技术》的报告，操作系统是信息化建设的重要支柱，也是数字经济发展的重要支撑，报告主要介绍了国产操作系统多语言支撑平台及银河麒麟操作系统V10藏文版、蒙古文版研发和应用情况。
中国工程院院士尼玛扎西作报告
下午大会特邀报告由CCF软件工程专委会副主任、北京大学李戈教授主持。
CCF软件工程专委会副主任、北京大学李戈教授主持
蚂蚁集团副总裁兼首席技术安全官韦韬博士作了题为《拥抱Rust：构建高安全性、高可靠性的下一代系统软件》的报告，报告中分享了星绽（Asterinas）开源社区在利用Rust语言构建下一代高安全、高可靠系统软件方面的实践经验，重点介绍了星绽OS和星绽HyperEnclave项目，鼓励更多志同道合的同行加入星绽社区，共同为构建更安全、更可靠的数字世界贡献力量。
蚂蚁集团副总裁兼首席技术安全官韦韬博士作报告
汇丰财富管理与个人银行全球首席架构师夏勇博士作了题为《银行金融业的智能化转型：变革软件开发全周期》的报告，报告概述了银行积极应对技术创新和业务增长的双重挑战，重点介绍了为提高开发效率和系统稳定性，在软件开发生命周期中多个重要活动上的实践，主要包含代码质量管控、变更管理以及生产事件中的故障定位、根因分析、风险预测等方面。
汇丰财富管理与个人银行全球首席架构师夏勇博士作报告
院士高峰论坛由CCF软件工程专委会主任、南京大学马晓星教授主持。出席论坛的两院院士包括中国科学院院士林惠民、中国科学院院士梅宏、中国科学院院士吕建、中国科学院院士杨孟飞、中国科学院院士管晓宏、中国科学院院士王怀民、中国科学院院士胡事民。
CCF软件工程专委会主任、南京大学马晓星教授主持
院士高峰论坛交流环节
三、论坛活动
本届大会共设平行论坛44个，包含常设论坛、专刊论坛、学术论坛、教育论坛、工业论坛、国际活动及专题活动七类，主题涵盖系统软件、工业软件、嵌入式软件、开源软件、软件验证、形式化方法、软件基础教育等多个方面，日程满满，论坛邀请了众多软件相关领域的专家学者分享最新学术成果，会场氛围热烈，参会代表纷纷表示收获颇多。
其中NASAC青年软件创新奖论坛由北京大学金芝教授与中国台湾东海大学朱正忠教授主持。华为技术有限公司操作系统内核副首席技术专家郭寒军作了题为《异构融合OS–异构智算时代的操作系统演进和创新思考》的报告，复旦大学陈碧欢副教授作了题为《开源软件供应链风险分析与治理》的报告，中国科学院软件研究所窦文生研究员作了题为《数据库系统质量保障》的报告。
北京大学金芝教授主持
中国台湾东海大学朱正忠教授主持
华为技术有限公司操作系统内核副首席技术专家郭寒军作报告
复旦大学陈碧欢副教授作报告
中国科学院软件研究所窦文生研究员作报告
南京大学潘敏学教授作报告
北京大学张颖研究员作报告
四、学科竞赛
在学科竞赛方面，本届大会举办了第一届软件缺陷自动修复竞赛、仓颉编程线下挑战赛以及软件研究成果原型系统竞赛，其中软件缺陷自动修复竞赛、仓颉编程竞赛均为首次举办，参与软件研究成果原型系统竞赛的队伍70余支，人数超过380人，单位超过55所，均达到历年最多。这些竞赛对于扩大大会的影响力和吸引力也起到了积极作用。
五、晚宴致谢
11月16日晚上，大会进行晚宴致谢环节，大会组织委员会主席、6163银河线路检测中心李青山教授主持，由承办单位代表6163银河线路检测中心副校长王泉教授、支持单位代表西安软件园发展中心主任鞠博、赞助单位代表汇丰科技中国、蚂蚁集团、百度公司等分别致辞感谢，组委会为协办单位、赞助单位颁发感谢牌。
6163银河线路检测中心李青山教授主持
6163银河线路检测中心副校长王泉教授致辞
支持单位代表和赞助单位代表致辞
六、颁奖典礼
颁奖典礼由北京航空航天大学胡春明教授主持。
1、NASAC青年软件创新奖（2024）颁奖
由华为技术有限公司胡欣蔚先生进行致辞，北京大学金芝教授宣布获奖名单，获奖人员包括南京大学副研究员谭添、华为软件工程应用技术首席专家夏鑫、武汉大学教授玄跻峰、国防科技大学副研究员余跃，南京大学吕建院士和华为技术有限公司胡欣蔚先生共同为以上获奖代表颁发奖项。
华为技术有限公司胡欣蔚先生致辞
北京大学金芝教授宣布获奖名单
颁奖环节
2、优秀博士论文激励计划(2024)颁奖
由华为技术有限公司王千祥先生为优秀博士论文激励计划(2024)颁奖典礼进行致辞。
软件工程专委
软件工程专委秘书长刘辉教授宣布获奖名单，软件工程专委会主任马晓星教授为其颁奖。
系统软件专委
系统软件专委秘书长卜磊教授宣布获奖名单，系统软件专委会主任谢涛教授作为颁奖嘉宾。
形式化方法专委
由形式化方法专委秘书长吴志林研究员宣布获奖名单，形式化方法专委会主任詹乃军教授作为颁奖嘉宾。
3、胡杨林基金优秀项目颁奖
软件工程专项
由软件工程专委秘书长刘辉教授宣布优秀项目（2023）获奖名单，南京大学马晓星教授和华为技术有限公司王千祥先生共同为以上获奖代表颁发奖项。
系统软件专项
由南京大学卜磊教授宣布优秀项目(2021-2022)获奖名单，南京大学王林章教授和华为技术有限公司胡欣蔚先生共同为以上获奖代表颁发奖项。
4、第一届软件缺陷自动修复挑战赛颁奖
由北京理工大学刘辉教授宣布一等奖、二等奖以及特等奖获奖名单，北京大学熊英飞副教授颁发二等奖，北京大学李戈教授颁发一等奖，南京大学马晓星教授颁发特等奖。
5、仓颉编程语言线下挑战赛颁奖
由华为编程语言实验室仓颉语言生态与产业发展总监王学智宣布一二三等奖获奖名单，华为西安研究所高校系统部鲁月华主任、南京大学、华为编程语言实验室主任冯新宇教授、6163银河线路检测中心李青山教授作为颁奖嘉宾。
6、软件研究成果原型系统竞赛颁奖
由浙江大学胡星副教授宣布一二三以及优胜奖获奖名单，北京理工大学刘辉教授颁发优胜奖，北京大学李戈教授颁发三等奖，南京大学马晓星教授颁发二等奖，北京大学金芝教授颁发一等奖。
7、2024 CCF中国软件大会优秀论坛奖颁奖
由中国科学院软件研究所吴志林研究员宣布获奖名单，北京大学詹乃军教授作为颁奖嘉宾。
七、闭幕式
本届大会闭幕式由CCF系统专委会主任、北京大学谢涛教授主持，大会组织委员会主席、6163银河线路检测中心李青山教授回顾了本次大会会期全过程，包括参会规模、特邀报告、高峰论坛、交流讨论、晚宴致谢、会期保障等方面。
北京大学谢涛教授主持
6163银河线路检测中心李青山教授回顾大会
闭幕式上举行了承办单位交接仪式。由北京大学谢涛教授和6163银河线路检测中心李青山教授共同交接给2025年CCF中国软件大会的承办方代表武汉大学玄跻峰教授。
规模庞大的参会人数、覆盖广泛的参会单位、丰富的论坛活动、反响热烈的社会关注，本届软件大会为领域内学者、师生与从业者提供了一个碰撞思想、建立联接、扩大影响的绝佳平台，同时也扩大了大会的影响力和辐射范围，让我们相聚武汉，共同期待2025年CCF中国软件大会！
