徐志伟，CCF会士、中国科学院计算技术研究所研究员、中国科学院大学教授。曾获国家杰出青年基金支持。历任中国科学院计算技术研究所副所长、总工程师、学位委员会主任、学术委员会主任、曙光信息产业股份有限公司总工程师等职务。主要研究领域为高性能计算机体系结构与分布式系统软件。曾担任中国科学院先导专项、科技部重点研发计划、国家基金委重点等多个重要科技项目负责人。提出了普惠计算、人机物三元计算等学术思想，向国际社区贡献了多个大数据云计算等领域开源软件，研究成果已在国内外企业广泛应用，并获得国家科技进步奖和中国计算机学会王选奖。曾任国家自然科学基金委信息科学部专家咨询委员会委员，IEEE TC，IEEE TSC等多个国际期刊的编委，以及IEEE HPDC、IEEE HPCA、IEEE SCC等多个国际会议的TPC成员，现任JCST和《计算机研究与发展》主编。

彭晓晖，中国科学院计算技术研究所副研究员，博士生导师。主要从事分布式系统、边缘计算等方向的研究工作，近年来聚焦信息高铁算力网端边云协同计算方面的研究。主持了国家基金委重点项目课题、面上等10余项纵向科研项目。在包括PIEEE、IEEE IoT-J、计算机学报、计算机研究与发展、IEEE/ACM SEC、IEEE TKDE等在内的领域相关刊物和会议上发表论文30余篇。兼任IEEE TMC和IEEE IC期刊Associate Editor，ACM/IEEE SEC TPC（2021-2023），中国计算机学会分布式计算与系统专委常务委员，中国通信学会第一届算力网络委员会委员。

陈海波，CCF系统软件专委副主任、上海交通大学特聘教授、OpenHarmony项目群技术指导委员会主席，国家杰出青年基金获得者、ACM Fellow、IEEE Fellow。主要研究领域为操作系统、分布式系统与系统安全，研究成果通过产学研深度结合被应用到数十亿设备，产生了广泛的学术与产业影响。曾获中国计算机学会科技进步特等奖、陈嘉庚青年科学奖（信息技术科学奖）、中国青年科技奖、教育部技术发明一等奖、全国优秀博士学位论文奖等。目前担任ACM SIGOPS首位非北美学者主席、ACM旗舰杂志Communications of the ACM首位中国学者编委与领域共同主席、ACM EuroSys 2025程序委员会共同主席。研究工作还获得了华为卓越贡献个人奖，SOSP、ASPLOS、EuroSys、VEE等最佳论文奖以及DSN“时间检验奖”、SIGMOD研究亮点奖等。按照csrankings.org的统计，其近5年（2019～2023）在操作系统领域顶会SOSP/OSDI上发表的论文数居世界第一。主持撰写的《现代操作系统：原理与实现》获得了2020年度“最受读者喜爱的IT图书奖”与2022年上海交通大学最佳本科生教材奖（新版更名为《操作系统：原理与实现》）、以及机工科技--2023年度计算机领域十大好书，被高校、科研机构与企业广泛采用。

报告题目：基于新操作系统原语的低时延服务器无感计算：特征、优化与反思

报告摘要：服务器无感计算有望实现高效软件开发与部署。为此，服务器无感知计算平台需要解决两个挑战：函数实例之间的强隔离和极低的启动延迟。在该报告中，我将首先介绍业界前沿的服务器无感知计算平台的特性描述，并得出一系列关键指标，这些指标共同构成了一种系统方法和一个名为 severlessbench（v1 和 v2）的基准测试集合。然后，我将展示如何使用新型操作系统原语使服务器无感知平台在CPU 和 CPU-XPU 平台上的普通和机密服务器无感知计算中变得更加高效。最后，我将反思服务器无感知计算研究与工业界系统之间的差距，并对未来的服务器无感知计算进行展望。

刘譞哲，北京大学博雅特聘教授，国家杰出青年科学基金获得者，ACM杰出科学家。主要研究方向为系统软件，云计算，服务计算等。在SOSP、OSDI、NSDI、ASPLOS、ICSE、WWW等会议和期刊发表论文80 余篇，获WWW最佳论文奖在内的优秀论文荣誉10余次。曾获国家技术发明一等奖、教育部“青年科学奖”、CCF-IEEE CS“青年科学家奖”、IEEE TCSC可扩展计算职业中期卓越研究奖、北京大学“十佳教师”、北京大学“教学卓越奖”等；主持多项国家和省部级科研项目；担任IEEE TMC、《中国科学·信息科学》等期刊的Associate Editor和多个国际会议程序委员会主席/委员等。

报告题目：大模型时代的系统软件：思考与实践

报告摘要：大模型及其应用推动了人工智能的新一波高潮。随着模型结构日益复杂和应用规模持续增长，从系统资源管理角度看，存在“不够用”、“不好用”和“用不好”的“三不”挑战，计算机软件技术正在面临新一轮变迁和发展机遇。本报告将从大模型系统软件栈为切入点，介绍团队在跨域资源混合服务编程、基于大规模（万卡级别）集群的训练/训推一体调度优化、多模型复杂任务协同调度等方面的研究进展。