CCF软件大会2026|系统软件教育论坛

二、论坛组织委员会

• 张  昱    （中国科学技术大学）

• 陈  渝    （清华大学）

三、论坛安排

日程安排：

时间：2026年11月6日，09:00~12:00

地点：天津市社会山国际会议中心酒店 ， 二层13号会议室

论坛议程：

四、论坛报告嘉宾简介

1. 报告人：杨威 教授 （复旦大学）

题目：从代码智能到系统智能：AI时代系统软件人才培养探究

摘要：人工智能技术的快速发展正在深刻改变软件开发范式，也对系统软件人才培养提出了新的挑战与要求。大模型和智能体技术显著降低了代码生成与程序实现的门槛，但复杂系统的架构设计、性能优化、软硬件协同与正确性验证仍然高度依赖深入的系统理解和工程创新能力。传统以知识传授和代码实现为核心的教学模式，需向以系统思维、工程实践和创新能力培养为导向的新范式转变。

本报告结合大模型驱动的智能软件工程、AI编译优化、RISC-V与AI软硬件协同等研究实践，探讨人工智能与系统软件的双向赋能关系，以及由此带来的系统软件教育变革机遇。一方面，利用大模型、智能体和自动化程序分析技术赋能系统软件的开发、优化与验证；另一方面，以AI系统软件栈为实践载体，贯通编程语言、编译原理、操作系统和计算机体系结构等核心知识，探索面向真实系统问题的跨层次、综合性实践教学模式。

报告进一步探讨如何依托开放软硬件平台、开源生态、科研项目和学科竞赛，推动课程教学与前沿科研深度融合，构建从代码实现到系统理解、从单点优化到软硬协同、从功能验证到综合评价的能力培养体系，为培养能够驾驭AI技术、构建和优化复杂智能系统的新一代系统软件人才提供思路与参考。

简介：复旦大学特聘教授，国家级领军人才，现任复旦大学先进计算系统研究院常务副院长、上海市开放计算系统研究院副院长。现任软件工程领域国际权威期刊 ACM Transactions on Software Engineering and Methodology（TOSEM）副主编、Software Testing, Verification and Reliability（STVR）编委。

2. 报告人：翟恩南 正高级工程师（阿里云计算有限公司）

题目：当AI能写代码写论文，系统软件教育该做什么？

摘要：AI 正在重塑系统软件教育与科研，传统以代码实现和论文发表衡量能力的方式面临挑战。本报告结合我在美国耶鲁大学分布式系统课程的教学经历以及阿里云 AI Infra 研发实践，回顾编程密集型课程的培养逻辑，分析AI对学生编程、科研与写作的影响及产学界的焦虑。进而讨论：构建扎实系统是否仍是核心能力，超越 SOTA、应用创新与创业应如何进入博士评价，论文又应处于何种位置。最后提出以问题定义、系统验证、原创贡献与责任意识为核心的培养思路。

简介：翟恩南，阿里云技术总监，正高级工程师，国家级海外引进领军人才。2015 年于美国耶鲁大学计算机系获博士学位，随后担任耶鲁大学研究型助理教授，2018 年加入阿里巴巴。研究领域包括人工智能与分布式系统等，在这些领域发表国际顶级会议/期刊论文 80 余篇，近五年在计算机网络两大国际顶会 SIGCOMM 和 NSDI 发表论文总数全球第一。常年担任 SIGCOMM、NSDI 等国际顶级网络系统学术会议程序委员会委员。获中国电子学会青年科学家奖、电子学会技术发明一等奖、通信学会技术发明一等奖、SIGCOMM 2024 最佳论文提名奖、观察者网年度科创人物等奖项。

3. 报告人：刘先华 教授（北京大学）

题目：人工智能冲击下的编译课程教育——竞赛、课堂与研究生培养的观察与对策

摘要：生成式人工智能与智能编程助手正在深刻冲击系统软件教育。编译课程强调底层抽象、性能、并发、可靠性与软硬协同，其教育长期依赖“写代码—调性能—排故障—造系统”的训练链条。人工智能可以自动生成代码、解释内核机制、辅助调试与实验分析，降低了入门门槛、提升了反馈效率，但也使竞赛区分度、课程评价效度和研究生创新能力培养面临更多挑战。为此，教育的培养和考察目标应从“写出代码”转向“解释、调试、优化、验证和创造系统”。系统软件教育必将回归系统思维、工程判断与创新能力的培养。

简介：刘先华，北京大学计算机学院教授/博士生导师、计算机科学与工程系副主任，微处理器及系统教育部工程研究中心副主任。长期从事微处理器设计及系统软件相关科研教学工作，作为核心骨干参与北京大学自主CPU及配套软硬件系统的研发及产业化工作。兼任工信部信创工委会技术委员会委员、北交所行业咨询委员会委员等。曾获北京市民进70周年优秀会员、首届全国高校计算机专业优秀教师奖励、宝钢优秀教师奖、教育部-华为“智能基座”优秀教师奖、北京大学教学卓越奖等荣誉。

4. 报告人：翟高寿 副教授（北京交通大学）

题目：大模型背景下操作系统课程面临的挑战与对策

摘要：人工智能热潮如火如荼，特别是近年来高性能算力资源推波助澜下大语言模型的爆发式发展，给《操作系统》课程教学带来了巨大的挑战。本文从学校教育初心暨课程教学目标出发，深刻剖析了课程教学过程组成框架，围绕大模型对教师和学生两类主体形成的赋能助力与革新要求、大模型背景下课程教学过程存在的问题和痛点尤其是学生作业AI生成、人工智能暨大模型技术的优势以及可为解决有关问题提供帮助的着力点、课程教学现有相关问题的认识误区与正确对策等，进行深入的分析和广泛的讨论。

简介：翟高寿，博士，北京交通大学计算机学院副教授。《操作系统》国家级一流本科课程负责人、北京高等学校优秀专业课主讲教师，北京高校优秀本科毕业设计（论文）优秀指导教师、北京高校高水平人才交叉培养“实培计划”成果指导教师，教育部-华为智能基座栋梁之师，计算机学会杰出会员，华为云与计算先锋教师，麒麟软件校企合作突出贡献教师，软件评测国家认可实验室技术负责人，电子商会信息工程测试专委会副理事长，新工科联盟系统能力推进工委会成员，三次被本科毕业生评为我最敬爱的老师。主要从事操作系统、系统安全与测试、系统软件方面的研究工作。主持科研项目30余项，发表科研学术论文60余篇。

5. 报告人：张羽 教授（西北工业大学）

题目：操作系统实践教学新变化与AI教学工具运用

摘要：智能体大模型对操作系统实践教学带来深刻影响，以赛促学、以赛促教面临新挑战。如何通过AI教学工具打开AI时代操作系统实践教学的新局面，促进学生深度思考能力、深度系统能力和抗挫折能力的形成，是操作系统教改的一个重要研究方向，本报告将以西工大计算机学院操作系统拔尖班教学实践为例，介绍AI教学工具运用的新探索。

简介：张羽，西北工业大学计算机学院教授／博士生导师、智能计算系统系主任。研究方向泛在操作系统与边缘智能。带领团队研发的NPUcore、iS2ROS、Loongvisor、hyperAMP等基于能力的运行时感算资源管理基础软件及支持LoongArch、ARM、RISC-V跨指令集架构的端侧多内核泛在操作系统，在无人集群空-地协同侦查和生态环境修复治理等重大军民场景中实现应用落地，并已通过国防科技中心测评认证。“101计划”西北工作组秘书长兼操作系统课程建设组组长、全国大学生计算机系统能力大赛操作系统设计赛区域赛委员会主任、矽望泛在操作系统开源社区技术委员会主任、教育部第五轮学科评估评审专家。

6. 报告人：宫晓利 教授（南开大学）

题目：生成式AI时代操作系统核心能力培养方式的思考

摘要：生成式AI编程能力的跃升，使传统操作系统教学中以“代码正确性”为核心的验证机制面临严峻挑战。学生现可通过提示词快速生成系统模块甚至完整内核，这迫使教育者重新审视教学内容的边界：在AI时代，哪些底层原理仍需坚守，哪些表层实现可交由机器代劳。本报告基于AI能力现状，探讨智能时代学生应具备的核心能力，探索教育重心如何从低阶代码编写转向系统抽象、批判性审查及人机协同等高阶工程思维的培养。同时，报告也试图探讨构建多维过程性评价体系，通过引入项目制考核、口头答辩及AI协作反思日志等模式，以期找到既能深刻理解底层逻辑又能熟练驾驭AI工具的新型人才的培养模式。

简介：宫晓利，南开大学计算机学院、密码与网络空间安全学院教授，博士生导师，物联网工程系主任，系统与网络研究所副所长，主要研究方向为操作系统、物联网、人工智能计算系统等，入选高校计算机专业优秀教师奖励计划，教育部华为“智能基座”优秀教师奖励计划，获天津市教学成果特等奖，天津市课程思政教学名师，国家级一流本科课程等荣誉，发表高水平论文 20 余篇，获天津市科技进步二等奖 5 次。

7. 报告人：王豪杰 助理研究员（清华大学计算机系 / 启元实验室）

题目：九源智能计算系统的开源生态建设与人才培养实践

摘要：面向国产智能芯片“一芯一栈”、模型应用难适配、难优化的问题，九源构建统一智能计算软件栈，支撑“一套代码、无需修改、多平台运行”，降低国产算力开发与使用门槛。本报告介绍九源的核心技术与开源生态建设实践，重点分享依托高校课程、训练营和技术竞赛开展人才培养的经验，将真实系统研发任务融入教学与竞赛，引导学生从原理学习走向工程实践与开源贡献，在技术共建中培养系统软件人才，推动国产智能计算生态发展。

简介：王豪杰，启元实验室智能计算研究部/清华大学计算机系助理研究员，主要研究方向包括人工智能系统、高性能计算等，相关成果发表于OSDI、ATC、PPoPP、SC、PLDI、TC、TPDS等相关领域内顶级国际会议和期刊。曾获清华大学“水木学者”、ACM SIGHPC China优博奖等荣誉，获国家自然科学基金青年科学基金等项目资助，入选北京市青年人才托举工程。

8. 报告人：赵霞 副教授 （北京工商大学）

题目：基于AI追问机制的操作系统实验教学改革与探索

摘要：人工智能技术和大语言模型的迅猛发展，使操作系统实验教学面临深刻挑战，理论抽象度高与实验关联不足、AI代写代码导致教学诊断失效。本报告提出以TRACE五元架构模型为指导框架，系统性地设计并实现基于AI追问机制的操作系统实验教学方案。报告简介五元架构元模型的理论思路、核心定义、动力学机制，以及与操作系统实验教学内容设计、教学框架、学生过程评估的深度融合，逐层映射到xv6-ai-labs实验教学系统的设计与实现中，形成从课程宏观目标到检查点微观操作的约束传递，以及逆向反馈引导达成教学目标。本报告是对操作系统实验教学的探索，期待与同行交流共同进步。

简介：赵霞，博士，北京工商大学计算机与人工智能学院人工智能系副教授，硕士生导师。北京大学计算机软件与理论理学博士，博士后。中国计算机学会系统软件专委会委员，美国俄亥俄州立大学访问学者。长期承担操作系统、Python语言程序设计、智能计算系统、大数据处理技术等课程教学工作。主要从事操作系统、高效能系统软件、人工智能、大数据处理等方面的研究工作。主持及参与科研项目30余项，获国家发明专利授权30余项。

9. 圆桌论坛主持人：陈向群 教授

简介：陈向群，北京大学计算机学院、高可信软技术教育部重点实验室，教授，博士生导师。北京计算机学会理事长, 中国计算机学会教育专委会常务理事，教育部计算机教学指导委员会“系统能力培养教学改革”专家组成员。长期担任北京大学“操作系统”、“计算机系统导论”本科课程教学工作。获第七届北京市高等教育教学成果一等奖，获中国教师发展基金会高校计算机专业优秀教师奖励，荣获2026年系统能力培养突出贡献奖，“操作系统原理”课获国家精品在线开放课程，“计算机系统导论”课获教育部线下一流课程，北京市教学名师。101计划“操作系统”课程负责人，101计划“操作系统”虚拟教研室负责人。编著及翻译教材若干本。

五、论坛组织委员会简介

1. 论坛组委会：张昱 教授（中国科学技术大学）

简介：张昱，中国科学技术大学教授、博导，中国计算机学会杰出会员、系统软件专委和教育专委常务委员，ACM中国操作系统分会副主席。主要研究方向为面向智能、数据和量子等新兴计算领域的编程系统设计、分析与优化。在国内外发表论文150余篇，出版编译原理和程序设计语言原理相关的教材和配套参考书10部、译著2部，主持国家级一流本科课程“编译原理和技术”。曾获教育部-华为“智能基座”优秀教师奖(2023年)、系统能力培养突出贡献奖(2023年)、宝钢优秀教师奖(2021年)、中国高校计算机专业优秀教师奖(2020年)等。

2. 论坛组委会：陈渝 副教授（清华大学）

简介：陈渝，清华大学长聘副教授、博导、MIT EECS 访问学者、中国计算机学会系统软件专委常务委员，中国汽车工程学会基础软件分会副主任委员。主要研究方向为操作系统与新型硬件、编程语言相结合的系统架构、性能优化与安全分析等。承担了国家863/核高基/重点研发/自然科学基金等项目，曾获得国家科技进步二等奖1次，省部级一等奖3次。在国内外发表论文60余篇，出版操作系统等相关教材和配套参考书3本、译著2本。曾获教育部-华为“智能基座”优秀教师奖、中国高校计算机专业优秀教师奖等。