计算机系统及其生态链的构筑迫切需要理解和掌握编程语言、程序分析和系统软件原理与技术方面的人才，为核心系统研发提供中坚力量。系统软件类课程主要讲授编程语言的原理与机制、数据结构与算法、编译原理和技术、操作系统原理与设计实现等。培养学生掌握语言与系统的理论基础，使之能建立准确描述真实系统的模型并利用模型预测系统行为；强化系统实践，培养学生分析与构造结合底层硬件特性的系统软件研发能力。

本论坛旨在推进各高校在培养学生程序设计能力、编译原理与操作系统等系统软件研发能力方面的进程，交流和改进课程实践体系，了解业界进展与需求。欢迎软件分析、软件工程、系统软件、系统安全、智能系统等学科的专家和学者前来参加。

01

论坛组织委员会

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

陈渝（清华大学）

02

论坛议程

03

论坛报告嘉宾简介

冯洋

报告题目：编译优化的实验教学探索

报告摘要：

本报告介绍南京大学编译原理教学组在编译原理课程设计及实验教学方法，重点讨论了中间代码优化相关知识点教学内容的建设，以及学生在开展编译优化实践的过程中对于关键知识点的技术指导；同时，本报告简要介绍了对编译原理及下一代系统程序设计语言教学中的实验设计思考。

报告人简介：

南京大学助理研究员，加州大学欧文分校软件工程专业博士。主要研究方向为软件质量保障工程，具体研究课题包括基于程序设计语言特性的软件质量工程，以及复杂软件系统的质量保障与优化技术等。近年来在软件工程领域的icse、fse、ase、issta、tse、tosem、中国科学，等ccf-a类期刊与会议发表学术论文30余篇，并在ase-2022，fse-2023等知名学术会议获杰出论文奖多次；申请发明专利多项，部分专利成果已经在百度、阿里、华为等知名软件公司转化；担任多个期刊审稿人及国际会议程序委员会成员。

任革林

报告题目：openharmony最新进展和产教学融合实践

报告摘要：

本报告介绍openharmony的设计理念、最新技术和生态进展，以及未来的技术演进策略，并结合openharmony在高校教学、关键技术攻关、人才培养和竞赛中的实践。

报告人简介：

任革林，openharmony社区pmc主席、总架构师，《鸿蒙操作系统设计原理与架构》作者。具有20多年的软件开发和设计经验，从事过终端操作系统、游戏软件、导航软件，通信协议软件的开发和设计工作，主持过华为公司多个重大技术项目的架构设计工作。

姜佳君

报告题目：编译技术中教学与科研的融合

报告摘要：

本报告介绍天津大学编译原理与技术课程组的教学经历与思考，并且结合天津大学软件工程团队在编译器方面的科研成果，包括编译器测试、调优、故障定位等相关研究，介绍在编译原理与技术课程中，教学与科研的融合。

报告人简介：

天津大学智能与计算学部副研究员、硕士生导师，ccf专业会员、ccf软件工程专委执行委员。2020年毕业于北京大学获得博士学位，主要研究领域为软件测试与分析，包括软件缺陷自动定位、缺陷自动修复、深度学习系统调试和程序变换等。近五年，在软件工程领域国际旗舰会议和期刊上发表论文20余篇，获得icsme21杰出论文奖。长期担任领域权威期刊的审稿人，包括tse、tosem和emse等。受邀担任ccf-a类会议ase、issta、fse、icse等国际顶会程序委员会成员。issta19组织委员会成员、2022和2023年中国软件大会专刊编委。获得2022年中国电子学会自然科学奖一等奖。研究成果在华为等企业落地应用。

张羽

报告题目：操作系统课程实践新路径——全国大学生系统能力大赛操作系统设计赛“区域赛”

报告摘要：

本报告介绍操作系统课程实践新路径——全国大学生系统能力大赛操作系统设计赛“区域赛”。阐述“以赛促课”教改新理念（深化系统能力培养、深化101计划课程实践、深度产教融合、打通开源生态等）。全面阐述全国大学生计算机系统能力大赛“操作系统设计赛”全国区域赛（秋季4大区域赛）愿景、目标、方案设计思考和中西部区域赛方案。

报告人简介：

西北工业大学计算机学院教授、博士生导师，智能计算系统系主任、“计算报国——智能计算系统”高校合作联盟及系列教材秘书长，教育部-华为“智能基座”先锋之师、栋梁之师、openeuler高校技术小组西安站负责人。教育部第五轮学科评估评审专家、ieee高级会员、ccf杰出会员、ccf系统软件专委会执委、矽望syswonder开源技术委员会技术专家、全国大学生系统能力大赛操作系统设计赛技术委员会委员、全国区域赛召集人，caai高级会员、caai人机融合智能专委会执委。2008年澳大利亚墨尔本大学issnip实验室联合培养博士、澳大利亚皇家墨尔本理工大学计算机科学博士、研究科学家，主要从事泛在操作系统、智能物联网及特殊环境移动智能健康感知。研发的is2ros、npucore、loongvisor科研与教学中间件、操作系统内核及嵌入式轻量虚拟化软件在国防和民用等重大应用场景中获得有效验证、并已通过国防科技中心测评认证。先后主持和参与国家自然科学基金青年、面上、重点、专项、jw科技委国家级重大基础加强计划项目、jw科技委重点工程“xxxxx”项目课题、前沿创新tqzd专项课题等30余项。在国际顶级会议（acm sensys、acm mobisys、ieee infocom、acm mobicom）、重要期刊（nature scientific data、ieee tc、ieee/acm ton、ieee tpds、acm imwut）和国内权威期刊（《计算机学报》、《软件学报》、《计算机研究与发展》）上发表学术论文70余篇。

沈洁

报告题目：面向天河工程编译人才培养的编译教学探索与实践

报告摘要：

编译技术是后e级时代高性能计算机系统的一项核心关键技术，本报告介绍天河编译团队以大工程为依托、以系统能力培养为导向而建设的并行编译优化系列课程在知识内容与工程实践方面的教学改革与探索，旨在培养和提高学生多维度并行计算思维能力和解决复杂工程问题的实际动手能力，为学生快速进入高性能计算和国产基础软件研究提供良好基础。

报告人简介：

沈洁，国防科技大学助理研究员，博士毕业于荷兰代尔夫特理工大学，主要从事天河超级计算机并行编译系统方向的研究工作，主持国家自然科学基金项目1项，作为核心骨干参与国家重点研发计划、装备预研等7项项目，研究成果发表在ics/icpp/tpds/parco等国际会议与期刊上，获省部级科技进步一等奖，参与编写专著1部，参与建设的高级编译技术课程被评为湖南省研究生精品示范课程。

丁菡

报告题目：操作系统课程建设探索与实践

报告摘要：

本报告介绍西安交通大学操作系统原理课程组的教学与改革实践，包括基于国产系统平台openeuler与openharmony的实验设计，操作系统虚拟内存等核心技术思想的外延与应用等，介绍在操作系统原理课程中，产学协同育人的探索。

报告人简介：

西安交通大学计算机科学与技术学院副教授，博士生导师。长期从事智能物联网、智能无线感知等方向的研究工作。先后主持国家重点研发计划课题、自然科学基金面上项目、青年项目等多项。近年来在包括 ieee/acm ton、ieee tmc、acm mobicom、acm sensys、acm ubicomp、ieee infocom 等知名国际期刊及会议发表高水平学术论文50余篇，获最佳论文奖2次，授权国家发明专利10余项，获得陕西省科技进步三等奖、陕西高等学校科学技术研究优秀成果奖等。ccf高级会员，ccf普适计算专委会执行委员，ccf物联网专委会委员。

04

论坛组织委员会简介

论坛主席：张昱

个人简介：

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

论坛主席：陈渝

个人简介：

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