2023 CCF中国软件大会圆满落幕

我国软件领域规模最大、影响最广的学术会议—CCF中国软件大会（ChinaSoft 2023）圆满落幕。本次大会包括学术、工业、教育以及竞赛四大类50余场活动，8位院士莅临参会。大会吸引了来自10个国家和地区的高校、科研机构、企事业单位的2300余位专家学者参会，共同交流与探索智能化软件创新推动数字经济与社会发展之路。

✦  +

2023 CCF中国软件大会（ChinaSoft 2023）经历了12月1日-3日三天会期，圆满落幕。本届大会由CCF主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会三个专委会与复旦大学共同承办，上海交通大学、华东师范大学、东华大学、上海计算机软件技术开发中心、上海市软件行业协会、上海市计算机学会、江苏省计算机学会协办。大会赞助商包括华为、OPPO、百度、航天宏图、前沿动力、轩宇信息、蚂蚁集团、荣耀、科大讯飞、达闼、同盾科技、测吧（北京）科技、龙田科技、上海控安、科大国创。上海市经济和信息化委员会是本次大会指导单位。

在三天的会期中，12月1日全天以及12月2日下午举行学术论坛、工业论坛、教育论坛、竞赛论坛等分论坛活动；12月2日上午举行大会开幕式、特邀报告（前三场）与院士论坛；12月3日上午举行大会特邀报告（后三场）和三个专委博士学位论文激励计划评选结果发布仪式；12月3日下午举行NASAC青年软件创新奖论坛、2023年NASAC青年软件创新奖颁奖仪式、4项竞赛颁奖仪式以及大会闭幕式。

在开幕式上，CCF理事长、大会执行委员会荣誉主席、中国科学院院士梅宏，上海市经济和信息化委员会主任张英，中国科学院院士、复旦大学校长金力分别进行了开幕致辞。

梅宏院士回顾了中国软件大会的发展历程，鼓励参会人员在当前的数字化时代探索智能化软件促进社会数字经济和社会发展所面临的机遇和挑战。

张英主任表示上海将加快推动基础软件、工业软件、行业软件、平台软件全链条发展，全面促进软件产业高质量发展。

金力校长表示复旦大学正围绕AI for Science战略开展前瞻布局和前沿探索，围绕新型平台软件开展特色化示范性软件学院建设以及高端软件人才培养。

大会开幕式由大会共同主席、CCF系统软件专委会主任金芝教授主持。

大会组织委员会主席及程序委员会共同主席、复旦大学教授彭鑫介绍了大会组织情况。本次大会参会国家和地区达到10个，参会单位326家（其中企业单位79家），参会人数达到2367（其中企业参会人数超过300人），并行论坛与竞赛52个，各项数字均创历史新高。

12月2日上午的大会特邀报告环节由CCF系统软件专委会候任主任、北京大学谢涛教授主持。

中国工程院院士于全带来题为“云原生网络体系架构与关键技术”的特邀报告。该报告从万物智联需求出发，提出了通信/计算/存储一体化的原生网络新型架构。从生物学启示出发，提出类神经元的全解耦异构无线接入，实现空间、时间、频率、功率、编码等网络资源的高效柔性聚合和天空地一体化协同传输。针对不确定性的未知攻击应对难题，提出类生物免疫的内生网络安全机制，实现零信任安全与自适应防御的有机结合。报告总结了云原生新型网络的云原生、智原生、安全内生、弹性内生、低成本、低能耗六大特征。

ACM/IEEE Fellow、欧洲科学院院士王义带来题为“MIMOS: from theory to tools for (safety-critical) embedded software design & updates”的特邀报告。该报告针对安全攸关软件的动态更新问题，提出了异步设计范式MIMOS。报告介绍了MIMOS的背景与动机、底层语义理论以及工具链，并进行了工具演示。

中国科学院院士徐宗本带来题为“变与不变：大模型背景下的AI数理基础问题”的特邀报告。该报告概述了大模型作为AI发展新浪潮的趋势，认为投入大模型研究已是必然选择。随后，从“变与不变”两个维度提出了大模型浪潮下AI基础研究的一些科学问题，介绍了“大维随机矩阵、无穷维贝叶斯、无穷维统计机器学习”等几类数学工具，同时也强调工具自身需要发展，所解决的问题更需要越来越一般化。

12月3日上午的大会特邀报告环节由CCF软件工程专委会候任主任、南京大学马晓星教授主持。

中国科学院院士何积丰带来题为“人工智能时代安全攸关软件系统设计方法展望“的特邀报告。该报告回顾了在安全攸关软件的开发和验证阶段形式化建模技术发展的历程，介绍了安全攸关领域中典型应用场景和取得的进展。报告还讨论了新型系统软件的特征与关键开发技术，分析了在需求开发，仿真验证，产品部署，以及交互模式上面临的新课题，指出了在需求开发与产品运维阶段相关的研究方向。最后，报告还展望了智能化软件中人在闭环的发展趋势。

中国工程院院士柴洪峰带来题为“数字化转型背景下金融风险监测技术发展的行动与思考“的特邀报告。报告介绍了数字化转型背景下团队聚焦金融风险关键领域，依托国家重点研发计划项目，在金融欺诈及支付受理市场违规侦测技术、金融科技产品和机构风险监测技术和虚拟货币非法交易识别和追踪技术等方面所开展的研究。报告指出，要站在新的历史起点上，在新的历史方位和发展格局中，针对金融科技发展的科学与工程问题，聚焦国家重点关键性、基础性、牵引性战略需求任务，发挥产学研协同优势，攻关金融科技关键技术，为安全可持续发展贡献力量。

华为公司Fellow，可信理论、技术与工程实验室总裁蒋铭带来题为“严格工程化的可信和理想主义的智能化“的特邀报告。该报告介绍了华为公司通过近五年的软件工程变革逐步构建起来的一整套严格工程化的可信理论、技术与工程体系，同时指出大模型的兴起为软件工程带来新的机遇和挑战，导致了严格工程化的可信和理想主义的智能化之间产生了矛盾。报告针对该矛盾展开探讨，主要分享华为软件工程变革的实践、人类对技术创造物的认知规律和大模型在软件工程的应用，系统化反思大模型如何保障软件可信，并在此基础上展望未来大模型与可信软件工程融合的新方向。

12月2日上午举行的院士论坛由CCF形式化方法专委会候任主任、中科院软件所研究员詹乃军主持。

论坛邀请了林惠民、徐宗本、梅宏、吕建、柴洪峰、王怀民等6位院士围绕“智能化软件创新推动数字经济与社会发展”这一主题开展讨论。各位院士针对计算机软件与人工智能的融合创新及其对数字经济和社会发展的作用、人工智能对计算机软件带来的机遇与挑战、以及智能软件的未来发展方向等话题发表了各自的见解并进行了热烈的讨论。

在12月1日全天以及12月2日下午的分论坛环节，大会组织了17个学术论坛、11个专刊论坛、12个工业论坛、6个教育论坛，以及CCF YOCSEF上海观点论坛、2023上海软件创新论坛等2个特色论坛。此外，大会还组织了全国大学生软件测试大赛、软件教学案例交流与竞赛、软件研究成果原型系统竞赛、机器人大模型与具身智能挑战赛等4个竞赛的现场评审。参会者们在不同论坛之间穿梭听取感兴趣的报告和讨论，多个论坛现场爆满；或驻足观看各类海报和展台展板，了解最新技术动态；或在公共区域三五成群相互交流技术话题和参会感受。整个会议现场交流活跃，气氛热烈。

为支持并奖励优秀博士生的科研工作与成果，CCF系统软件、软件工程、形式化方法三个专委在本次大会上首次评选并发布博士学位论文激励计划。其中，系统软件专委评选出2篇博士论文入选激励计划，1篇入选激励计划提名；软件工程专委评选出3篇博士论文入选激励计划，3篇入选激励计划提名；形式化方法专委评选出3篇博士论文入选激励计划，2篇入选激励计划提名。

12月3日下午举行的NASAC青年软件创新奖论坛由CCF系统软件专委会秘书长、南京大学卜磊教授支持。论坛邀请了1位来自华为的青年技术专家以及3位2022年度NASAC青年软件创新奖获奖人作报告。第一个报告由华为操作系统技术专家雷继棠带来，题为“VSync：可证明的高性能、高可靠并发”。该报告介绍华为最近在应用形式化方法端到端解决多核并发挑战的一些工业实践，通过形式化验证、并发分析和优化工具的有效支持，使得普通程序员有信心做更为激进的多核并发控制算法的设计和优化，有效提升多核并发性能，同时提供正确性保证。第二个报告由清华大学软件学院长聘副教授姜宇带来，题为“模糊测试研究与实践”。该报告指出模糊测试在实际应用中依然存在一定难点，尤其是无法针对不同类型复杂待测对象生成深度路径覆盖的有效输入。一方面，不同的待测对象具有不同输入规范，在特定状态下只有特定的输入才会被接受。另一方面，现有的模糊测试依靠变异引导或文法生成，会生成大量待测对象无法接受的无用输入或浅路径输入，导致缺陷挖掘效率受限。报告围绕模糊测试的现状和上述难点展开，介绍模糊测试系统关键组件的设计优化，及不同待测对象适配技术研究和实践。第三个报告由中国科学院信息工程研究所研究员，中国科学院大学陈恺教授带来，题为“人工智能安全攻防对抗”。该报告指出近年来出现的人工智能技术对攻防对抗产生了重要影响。一方面它可赋能传统攻防手段，使其智能化与高效化；另一方面，其自身的安全问题，如对抗样本、神经网络后门、模型窃取等，时刻影响着自动驾驶、面部识别支付等多种安全应用以及用户的隐私安全。报告就这两方面展开，重点讲述自然语言理解等人工智能技术在传统攻防中的应用，以及智能系统自身的对抗问题。第四个报告由上海交通大学夏虞斌教授带来，题为“软件系统的机密性与可维护性”。该报告指出机密计算近年来在许多场景获得了越来越多的应用。然而，机密计算环境下的软件可维护性往往会降低，因为维护本身可能会破坏机密计算的安全假设。报告介绍机密计算环境下软件系统如何在机密性与可维护性之间进行权衡，并以机密数据库（HeDB）为例介绍相关的实践和探索。

12月3日下午举行的颁奖环节首先由CCF系统软件专委会主任、北京大学金芝教授代表评奖委员会宣布本年度NASAC青年软件创新奖获奖者，他们是：复旦大学陈碧欢、中国科学院软件研究所窦文生、南京大学潘敏学、北京大学张颖。北京大学梅宏院士、华为中央软件院上研分部部长冯雨声先生共同为获奖人颁奖。

接下来是四项软件竞赛颁奖。软件研究成果原型系统竞赛由南京航空航天大学黄志球教授、南京大学马晓星教授、北京大学李戈教授、南京大学许畅教授共同颁奖，共有来自全国各高校、中国科学院以及海外高校的21个参赛作品分获一、二、三等奖和优胜奖；软件教学案例交流与竞赛由武汉大学应时教授与北京大学孙艳春副教授共同颁奖，共有来自全国各高校及合作企业的17个参赛作品分获一、二、三等奖；全国大学生软件测试大赛由北京大学梅宏院士、北京大学谢涛教授等嘉宾共同颁奖，共评选出个人赛特等奖/一等奖、团队赛特等奖/一等奖、优秀组织教师奖、卓越指导教师奖等奖项；机器人大模型与具身智能挑战赛由北京大学梅宏院士、北京大学金芝教授、北京航空航天大学胡春明教授、达闼公司王斌副总裁等嘉宾共同颁奖，共有来自于海内外高校、研究所的11支队伍分获一、二、三等奖。

此外，大会还评选出多个优秀论坛奖。“生成式AI与软件自动化论坛”、“程序语义深度理解前沿进展论坛”、“形式化方法与应用论坛”获得优秀专刊论坛奖；“顶会顶刊论坛”获得优秀常设论坛奖；“大模型与软件测试论坛”、“智能化软件开发和维护论坛”、“安全攸关软件的智能化开发方法论坛”获得优秀学术论坛奖；“AIGC下的软件工程新范式论坛”、“高可信嵌入式软件智能化开发与测试论坛”获得优秀工业论坛奖；“形式化方法教育论坛”、“软件工程教育论坛”获得优秀教育论坛奖。

大会闭幕式由大会共同主席、CCF软件工程专委会主任、南京大学李宣东教授主持。大会组织委员会主席及程序委员会共同主席、复旦大学教授彭鑫进行了大会回顾汇报。本次大会在参会人数、参与单位、参会国家和地区、企业单位、企业参会以及论坛数量等方面均创软件大会举办以来的历史新高，并获得了媒体的广泛关注和报道。随后，李宣东教授宣布2024 CCF中国软件大会将由西安电子科技大学承办，同时主持了交接仪式。最后，李宣东教授进行了大会总结，高度赞扬本次大会的各项组织工作，同时期待明年大会能够继续吸引中国软件行业的学者与从业者积极参会。