CCF走进高校第1268场

敬请关注

由中国计算机学会（CCF）主办，CCF系统软件专委承办的CCF走进高校活动，将于2025年5月18日在寿县寿州展业国际酒店召开，敬请关注。

时间：2025年5月18日（星期日） 8:30-11:30

地点：寿县寿州展业国际酒店

报告题目：智能人机物系统安全：从输入验证和编译测试的角度

报告简介：该报告探讨从软件输入验证和编译测试的角度来保障智能人机物系统安全的途径。报告首先解读人机物融合系统的安全与软件的复杂性和可靠性、以及环境的非确定性之间的关系，接着分别介绍以高效输入验证来提升软件识别与处理异常环境的能力和以可靠编译测试来提升可生成有保障代码的工具能力，最后展望以智能化手段促进相关工作的前景。

嘉宾简介：

许畅，南京大学计算机学院教授、博士生导师，国家级人才计划入选者、CCF系统软件专委副主任、ACM杰出会员。从事开放环境软件质量保障理论、方法与技术研究，在TOSEM、TSE、ICSE、ESEC/FSE和《中国科学》等国内外重要期刊和会议上发表论文多篇，曾获ACM SIGSOFT杰出论文奖五次、国际会议最佳论文奖三次、国家科技进步二等奖、CCF青年科学家奖和中创软件人才奖等。

报告题目：航天器操作系统的研究与实践

报告简介：分析和总结中国航天领域嵌入式操作系统的研制历程及应用情况。重点介绍了我国自主知识产权航天器操作系统SpaceOS的设计和验证方法。针对航天器任务实时性强、时间可预测性要求高等特点，以下一代航天器操作系统实时任务调度、共享资源协同、时间确定性保证等需求为例，研究航天器任务的实时调度，准入控制等关键问题，为航天器多类型实时任务执行提供实时性确保机制，并在实际航天器系统进行了应用实践。

嘉宾简介：

乔磊，科大9711校友，博士，航天五院502所研究员，CCF杰出会员、系统软件专委会常务委员。国家级青年人才，耶鲁大学访问学者。长期从事航天器操作系统技术研究，成果在我国重大航天型号任务应用并发挥关键作用。发表论文60篇，申请发明专利30项。主持国家重大研究项目10余项，主持研发我国首个航天器操作系统SpaceOS，已应用于载人、探月、北斗等400多个航天器。获CCF青年软件创新奖、国防科技创新团队奖、北京市科技进步一等奖、重庆市科技进步一等奖等。

报告题目：后摩尔时代异构多核系统的高性能可靠并发控制技术简介

报告简介：摩尔定律揭示了集成电路性能的指数增长规律，但随着晶体管逼近量子物理极限，单核架构陷入性能瓶颈。异构多核处理器通过并行计算突破性能壁垒，驱动计算体系向多核范式演进。在此背景下，基础软件生态正经历系统性重构，涵盖操作系统、分布式数据库、网络库等核心组件的基础软件栈，亟需构建多核协同的并发控制机制。本报告将介绍后摩尔时代下异构多核硬件中并发控制在各类基础软件中的应用。

嘉宾简介

王佳玮，科大1311级校友。博士期间研究聚焦于系统可扩展性、并行处理和并发数据结构等领域，结合形式化验证技术开展创新性研究并推动在实际工业场景中应用。曾在操作系统和数据库领域顶会（OSDI、ASPLOS、USENIX ATC、VLDB等）以第一作者身份发表论文多篇，成果多次在华为产品中商用。毕业后通过华为天才少年计划入职华为菲尔兹实验室，目前专注于为HarmonyOS研发高并发、低延迟、非阻塞系统组件。

CCF微信公众号，欢迎关注