CNCC | 智能终端操作系统OpenHarmony前沿研究

夏虞斌

CCF杰出会员，上海交通大学教授，国家级青年人才计划入选者

简介：主要研究领域是计算机操作系统与系统结构，曾获教育部技术发明一等奖、上海市技术发明一等奖、CCF“NASAC青年软件创新奖”、VEE“最佳论文奖”、DSN“十年时间验证奖”、国家教学成果二等奖、上海交通大学卓越教学奖等。担任VEE、IDCDS（Track）国际会议的程序委员会主席，以及OSDI、EuroSys等国际会议的程序委员会委员。主持承担了包括科技创新2030重大项目课题、自然科学基金面上/青年项目、联合基金重点项目课题等在内的多项国家级科研任务。曾获上海市优秀学术带头人，“挑战杯”全国特等奖优秀指导老师，《麻省理工科技评论》中国“隐私计算科技创新人物”（全国10人）。目前担任CCF系统软件专委常务委员、CCF教育工委主任助理、上海交通大学-OpenHarmony技术俱乐部主任。

武延军

CCF杰出会员，中国科学院软件研究所副所长、总工程师，研究员、博士生导师

简介：CCF开源发展委员会执行委员。担任OpenHarmony社区TSC委员、openEuler社区常务委员，开放原子基金会开源安全委员会主席，中电标协RISC-V工委会轮值会长，中国开放指令集（RISC-V）联盟开源软件工作组组长。主持多项基础软件领域国家级重大任务。当前主要研究方向是开源软件供应链与RISC-V基础软件。

报告题目：万物智联时代基础软件如何驯服碎片化

摘要：万物智联时代，软硬件多样化不可避免，从指令集到处理器，从操作系统、编译器、基础库到上层软件栈，都会有多种选择，很容易陷入“昆虫纲悖论”式的生态碎片化。为此，我们希望通过“五个一”来驯服碎片化，即一套指令集、一套开源社区代码、一套构建基础设施、一套质量标准、一套统一软件包镜像，从而为生态快速健康发展，以及多样场景个性化定制提供统一底座，为万物智联的新生态打下基础软件的新地基。报告将分享我们在国内主流开源社区RISC-V SIG组的理念和实践。

冯新宇

南京大学教授，华为编程语言首席专家，仓颉编程语言首席架构师

简介：主要研究方向为程序设计语言理论和形式化程序验证。在POPL、PLDI等程序设计语言领域国际会议发表论文多篇，并多次担任相关会议的程序委员会委员。获PLDI'19优秀论文奖、中创软件人才奖、CCF NASAC-东软青年软件创新奖等。

报告题目：基于仓颉编程语言的嵌入式DSL开发

摘要：仓颉编程语言是面向HarmonyOS应用开发的新一代编程语言，具有全场景、智慧化、高性能、强安全等特性。面向全场景应用开发的需求，仓颉语言希望提供敏捷构建领域抽象、低成本开发领域专用语言（DSL）的能力，针对不同场景提供声明式开发范式。本报告将介绍仓颉语言中相关语言特性的设计，以及开发DSL的实践。

柴云鹏

中国人民大学教授

中国人民大学信息学院计算机系教授、博士生导师、受聘中国人民大学“吴玉章学者”特聘教授岗位，目前担任信息学院党委副书记、计算机系主任。主要研究方向为数据库系统、存储系统、云计算。研究成果发表在 SIGMOD、VLDB、ASPLOS、DAC、ICDE、TOS、TPDS 等国际顶级会议期刊。获得深圳市科技进步一等奖、北京市教学成果一等奖、中国产学研创新与促进奖产学研合作创新成果奖一等奖、中国计算机学会科技进步二等奖等奖励。担任CCF教育工委委员，VLDB Sponsor Chair，SIGKDD、Middleware、DASFAA 等国际会议程序委员会委员。

报告题目：基于商用存内计算硬件的向量存储检索系统

摘要：向量是人工智能模型表达非结构化数据的重要形式，随着以大模型为代表的新一代人工智能成为全球科技竞争的新高地，如何存储、检索、管理向量已成为大模型落地的重要挑战之一。本次报告首先回顾基于CPU与GPU的向量存储检索系统的发展历程，并分析现有系统的问题；其次，介绍新型存内计算硬件技术的发展，以及其为向量存储检索带来的新机遇；最后，汇报本团队计划在OpenHarmony生态进行向量数据管理创新探索的展望。

黎立

北京航空航天大学教授

荣获2024年IEEE TCSE新星奖，2023年ACM北京新星奖，2023年MSR Ric Holt青年研究成就奖，2020年澳大利亚研究理事会优秀青年研究奖。曾被评为全球前三最具影响力的青年软件工程研究人员。研究兴趣为智能软件分析，累计发表高水平期刊和会议论文150余篇，谷歌学术引用超8000次（H-index为46），获得最佳/杰出论文奖励近10项，包括2项ACM SIGSOFT杰出论文奖、2项IEEE TCSE杰出论文奖、1项ACM SIGPLAN杰出论文奖等。受邀担任中科院一区期刊（ACM Computing Survey）编委以及包括TOSEM、TSE、ICSE、ESEC/FSE、ASE、ISSTA在内的CCF A类期刊和国际会议的审稿人，多次受邀在国际会议上作特邀报告。

报告题目：基于方舟分析器的OpenHarmony应用程序分析实践

摘要：作为移动生态的重要一员，移动应用中曾出现过的软件工程问题（比如安全问题、性能缺陷、功能缺陷、兼容性等）在OpenHarmony应用中同样存在。但是，OpenHarmony所采用的技术栈（基于全新的ArkTS语言）与Android和iOS均不相同，针对当前移动生态构建的程序分析工具（比如针对Android世界的Soot）并不能直接用于OpenHarmony应用分析。为此，我们自研方舟分析器(ArkAnalyzer)，对标安卓世界的Soot，为鸿蒙应用开发者和研究人员提供面向ArkTS语言的通用静态代码分析能力。本次报告将聚焦方舟分析器，介绍其设计理念与实现细节，并讨论其在助力OpenHarmony应用高效开发以及质量确保等方面的应用实践。

杜冬冬

上海交通大学助理研究员

研究方向为操作系统与体系结构协同设计。近年来围绕操作系统与体系结构、Serverless计算、系统安全等方向，在ASPLOS、ISCA、OSDI、SOSP、MICRO、TOCS等国际知名会议和期刊发表/录用多篇学术论文。担任上海交通大学OpenHarmony技术俱乐部指导老师、OpenHarmony并发与协同TSC和openEuler Maintainer等社区工作。

报告题目：面向下一代智能终端操作系统的渲染服务研究与挑战

摘要：渲染服务是智能移动终端（如智能手机）操作系统中的关键组件，直接决定着最终的用户体验。然而，随着近年来终端设备场景对于高端精致渲染能力的需求增强（如大量的特效），传统的渲染服务和框架难以满足应用需求，导致丢帧等问题。本次报告介绍渲染服务在下一代终端操作系统（鸿蒙等）场景下的挑战，并且分享团队如何基于分离式渲染的架构和方法，以极低的开销满足应用渲染需求。

贾宁

华为操作系统内核实验室主任及首席架构师，OpenHarmony技术指导委员会委员

简介：主要研究方向为操作系统、计算机系统结构等。

CNCC2024将于10月24-26日在浙江省东阳市横店镇举办，大会主题为“发展新质生产力，计算引领未来”。大会为期三天，包括18个特邀报告、3个大会论坛、138个专题论坛及34场专题活动和100余个展览。图灵奖获得者、两院院士、国内外顶尖学者、知名企业家在内的超过800位讲者在会上展望前沿趋势，分享创新成果。预计参会者超过万人。