聚焦智能软件创新赋能新质生产力发展！2024 CCF中国软件大会在西安盛大开幕

11月17日下午

2024 CCF中国软件大会

（2024 CCF ChinaSoft）

在千年古都西安圆满落幕

来自国内外软件相关领域内

学者、师生与从业者

2400余人齐聚一堂

聚焦智能软件创新赋能新质生产力发展

探讨软件相关领域发展的新思路

展示领域内最新学术研究动态以及技术成果

搭建起软件领域

学术界、教育界以及工业界

沟通新思想、交流新进展的舞台

本次大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，西安电子科技大学计算机科学与技术学院（国家示范性软件学院）具体落实，西安市智能软件工程重点实验室负责实施，得到西安高新区管委会的大力支持。同时，大会由西安交通大学、西北工业大学、西北农林科技大学、西北大学、陕西师范大学、长安大学、西安理工大学、西安建筑科技大学、西安邮电大学、中国航空工业集团公司西安航空计算技术研究所、陕西省计算机学会协办，由华为技术有限公司、汇丰科技中国、蚂蚁集团、百度集团、知存科技有限公司、北京轩宇信息技术有限公司、荣耀集团、望安科技有限公司、北京开元维度科技有限公司等作为赞助商。

Opening ceremony

开幕式

11月16日，大会开幕式由西安电子科技大学副校长王泉教授主持。西安市市长叶牛平、西安电子科技大学党委书记任小龙、西安高新区管委会主任陈辉参加开幕式并致辞，CCF会士、前理事长梅宏院士特别介绍了国家自然科学基金重大研究计划“面向人机物融合的智能化软件基础研究”，大会组织委员会主席、西安电子科技大学李青山教授介绍了本次大会的组织情况。

西安电子科技大学副校长王泉教授主持

在开幕式上，西安市市长叶牛平对2024CCF中国软件大会在西安召开表示热烈祝贺。他指出，高精尖软件是硬科技、硬实力，是培育发展新质生产力和数字经济的基础支撑。西安坚持以数字政府建设牵引数字经济发展，更加注重创新驱动、应用牵引、园区承载，着力打造软件产业发展的最优生态，分类支持高水平研究型大学、高能级科研机构、科技型企业融通创新，加快科技成果转化和产业化；着力拓展软件产品应用的最佳场景，进一步健全西安特大城市治理和服务场景需求清单发布机制，鼓励新技术、新产品、新应用率先落地；着力培植软件企业成长的最热沃土，更加注重服务企业创新行为和创新过程，推动形成大企业顶天立地、中小企业铺天盖地的生动局面。

西安电子科技大学党委书记任小龙表示，当前软件已成为新一代信息技术的灵魂，不但是数字经济发展的基础，也是制造强国、网络强国、数字中国建设的关键支撑。作为本次会议的承办方，西安电子科技大学电子信息特色鲜明，多年来在软件相关领域深耕细作、不断创新，取得了一系列重要成果，希望以本次大会为契机，进一步加强与业界专家学者同行的合作交流，共同为软件领域贡献更多智慧和力量，更好服务国家和区域经济社会发展。

西安电子科技大学党委书记任小龙致辞

西安高新区管委会主任陈辉着重介绍了本次会议的举办地，即西安高新区的发展历程以及近年来取得的成就，指出目前已培养了一批具有一定规模的特色软件企业，已成为西安软件创新的代表品牌。本次2024 CCF中国软件大会落地西安高新区，对于助推西安高新区软件产业的发展必将发挥重要作用。

中国科学院院士梅宏从项目立项、时代背景等方面详细介绍了国家自然科学基金重大研究计划“面向人机物融合的智能化软件基础研究”，并分别从软件技术自身发展趋势与国家对关键软件的需求两个角度阐释了项目的必要性。依托此项目，梅宏院士号召全国软件同行积极关注或参与此项目的研发工作，为攻克智能化软件领域难题提供更多的解决方案和思路。

中国科学院院士梅宏

李青山从大会基本情况与筹办情况两个方面介绍了2024 CCF中国软件大会的组织与筹办工作，并表示本次会议的举办离不开多方面的支持和帮助，对各位参会院士嘉宾、高校师生、行业专家、专委会以及支持/协办/赞助单位表示诚挚地感谢，最后预祝本次大会取得圆满成功。

西安电子科技大学李青山教授

Special invitation and Academician Summit Forum

特邀报告与院士高峰论坛

在大会特邀报告环节，上午由CCF形式化方法专委会主任、北京大学詹乃军教授主持。

北京大学詹乃军教授主持

CCF会士、中国科学院院士杨孟飞作了题为《航天软件智能开发方法的若干进展》的报告，介绍了团队在航天软件智能开发方面的成果，主要包括基于软件IP的航天控制软件智能合成、航天软件领域大模型、嵌入式软件智能化测试、航天器智能软件测试以及提升航天器在轨智能自主运行能力等方面的工作，以上工作共同持续推动智能化技术在航天软件开发中的落地。

中国科学院院士杨孟飞作报告

CCF会士、副理事长、中国科学院院士胡事民作了题为《计图深度学习框架与代码大模型》的报告，详细介绍了计图框架上国产芯片适配与优化的新进展，以及计图团队在代码大模型方面的探索，分析了代码大模型的挑战，分享了团队在基于计图框架的大模型训练加速、大模型推理优化等方面的实践。

中国科学院院士胡事民作报告

中国工程院院士尼玛扎西作了题为《国产操作系统多语言支撑技术》的报告，操作系统是信息化建设的重要支柱，也是数字经济发展的重要支撑，报告主要介绍了国产操作系统多语言支撑平台及银河麒麟操作系统V10藏文版、蒙古文版研发和应用情况。

中国工程院院士尼玛扎西作报告

下午大会特邀报告由CCF软件工程专委会副主任、北京大学李戈教授主持。

CCF软件工程专委会副主任、北京大学李戈教授主持

蚂蚁集团副总裁兼首席技术安全官韦韬博士作了题为《拥抱Rust：构建高安全性、高可靠性的下一代系统软件》的报告，报告中分享了星绽（Asterinas）开源社区在利用Rust语言构建下一代高安全、高可靠系统软件方面的实践经验，重点介绍了星绽OS和星绽HyperEnclave项目，鼓励更多志同道合的同行加入星绽社区，共同为构建更安全、更可靠的数字世界贡献力量。

蚂蚁集团副总裁兼首席技术安全官韦韬博士作报告

汇丰财富管理与个人银行全球首席架构师夏勇博士作了题为《银行金融业的智能化转型：变革软件开发全周期》的报告，报告概述了银行积极应对技术创新和业务增长的双重挑战，重点介绍了为提高开发效率和系统稳定性，在软件开发生命周期中多个重要活动上的实践，主要包含代码质量管控、变更管理以及生产事件中的故障定位、根因分析、风险预测等方面。

汇丰财富管理与个人银行全球首席架构师夏勇博士作报告

院士高峰论坛由CCF软件工程专委会主任、南京大学马晓星教授主持。出席论坛的两院院士包括中国科学院院士林惠民、中国科学院院士梅宏、中国科学院院士吕建、中国科学院院士杨孟飞、中国科学院院士管晓宏、中国科学院院士王怀民、中国科学院院士胡事民。

CCF软件工程专委会主任、南京大学马晓星教授主持

院士高峰论坛交流环节

Forum activity

论坛活动

本届大会共设平行论坛44个，包含常设论坛、专刊论坛、学术论坛、教育论坛、工业论坛、国际活动及专题活动七类，主题涵盖系统软件、工业软件、嵌入式软件、开源软件、软件验证、形式化方法、软件基础教育等多个方面，日程满满，论坛邀请了众多软件相关领域的专家学者分享最新学术成果，会场氛围热烈，参会代表纷纷表示收获颇多。

其中NASAC青年软件创新奖论坛由北京大学金芝教授与中国台湾东海大学朱正忠教授主持。华为技术有限公司操作系统内核副首席技术专家郭寒军作了题为《异构融合OS–异构智算时代的操作系统演进和创新思考》的报告，复旦大学陈碧欢副教授作了题为《开源软件供应链风险分析与治理》的报告，中国科学院软件研究所窦文生研究员作了题为《数据库系统质量保障》的报告。

Discipline competition

学科竞赛

在学科竞赛方面，本届大会举办了第一届软件缺陷自动修复竞赛、仓颉编程线下挑战赛以及软件研究成果原型系统竞赛，其中软件缺陷自动修复竞赛、仓颉编程竞赛均为首次举办，参与软件研究成果原型系统竞赛的队伍70余支，人数超过380人，单位超过55所，均达到历年最多。这些竞赛对于扩大大会的影响力和吸引力也起到了积极作用。