返回首页
您的位置:首页 > 新闻 > CCF新闻 > CNCC

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

阅读量:0 2024-10-20 收藏本文


图片

CNCC2024



论坛简介:

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

举办时间:10月26日13:30-17:30

地点:夏苑-英国馆一楼教室3

注:如有变动,请以官网(https://ccf.org.cn/cncc2024)最终信息为准



OpenHarmony是面向万物智联的开源智能终端操作系统。随着谷歌AI Core、苹果Apple Intelligence以及华为Harmony Intelligence的陆续推出,智能终端的AI能力得到前所未有的增强;全新的应用与多样的异构算力对操作系统提出了前所未有的新需求。本分论坛将聚焦智能终端操作系统的发展前沿,讨论以OpenHarmony为代表的终端操作系统的最新研究课题,尤其是目前尚未解决的重大问题,并介绍研究相关的平台与工具,共同探讨智能终端操作系统面临的全新机遇与挑战。


为促进OpenHarmony的发展,大会将举办“智能终端操作系统OpenHarmony前沿研究”专题论坛,邀请操作系统领域专家学者进行相关学术报告的演讲,为大家分享在OpenHarmony平台的最新研究成果。








论坛日程


顺序

主题

主讲嘉宾

单位

1

万物智联时代基础软件如何驯服碎片化

武延军

中国科学院软件研究所

2

基于仓颉编程语言的嵌入式DSL开发

冯新宇

南京大学

3

基于商用存内计算硬件的向量存储检索系统

柴云鹏

中国人民大学

4

基于方舟分析器的OpenHarmony应用程序分析实践

黎立

北京航空航天大学

5

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

杜冬冬

上海交通大学

6

Panel环节

武延军

中国科学院软件研究所

冯新宇

南京大学

柴云鹏

中国人民大学

黎立

北京航空航天大学

杜冬冬

上海交通大学

贾宁

华为




论坛主席及嘉宾介绍


 论坛主席

图片


图片

夏虞斌

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等社区工作。

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


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


 Panel嘉宾

图片


图片

贾宁

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


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





关于CNCC2024




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

图片