专刊论坛

泛在操作系统理论、技术与开源生态构建论坛

2022年11月25日(8:30-12:30)



论坛简介

论坛瞄准国家在操作系统及其生态上的重大战略需求,探索面向泛在计算场景的操作系统新理论及其软件定义新方法,力争形成泛在操作系统基础理论、方法技术与开源生态构建的有机体系。论坛针对人机物融合的泛在计算环境带来的资源异构多样性和交互开放不确定性,探索泛在操作系统的结构模型与行为机理,构建包括泛在资源管理、轻量级虚拟化、感联知控共性框架、泛在应用支撑、全栈性能优化等在内的关键技术体系,进一步探究泛在操作系统开源生态的构建、治理与安全评估理论与方法,并在工业互联网等典型场景中进行应用验证。 论坛组织过程包括如下几个阶段: 1)论文征集与评审,论坛共收集到多篇学术论文,每篇论文至少经过3位评审人进行2论评审并打分,选出了7篇优秀论文,论文名单见日程安排表。 2)论文汇报交流:编委会选出7篇优秀论文到CCF ChinaSoft 2022的泛在操作系统理论、技术与开源生态构建论坛进行汇报交流。 3)论文修改与发表:根据现场专家提问和评审意见,对论文进行修改后,论文修改达标后将推荐投稿到中国科学或软件学报。这7篇论文涉及泛在操作系统的内核,结构化存储,架构设计等研究成果。

📢 【腾讯会议号】  983106946
📢 【直播链接】【点击观看视频直播】
📢 【B站直播】【点击观看B站直播】

论坛日程

时间 报告题目 讲者/嘉宾
08:30-08:55 BrickOS:面向异构硬件资源的积木式内核 李浩, 古金宇, 夏虞斌, 陈海波, 管海兵
08:55-09:20 面向泛在操作系统的结构化存储 范晓鹏, 阎松, 翁楚良
09:20-09:45 基于数据湖技术的大数据泛在操作系统基础架构设计 刘昊, 陈巍, 郁晨熹, 张涛, 王秋烨, 陈志凌, 刘荫隆, 刘哲峰, 王朋
09:45-10:10 面向泛在计算的开源RISC-V可信执行环境 杜东, 杨璧丞, 夏虞斌, 陈海波, 臧斌宇
10:10-10:35 开源软件漏洞感知技术综述 詹奇, 潘圣益, 胡星, 鲍凌峰, 夏鑫
10:35-11:00 Yggdrasil:一种基于分层软总线的新型通用操作系统结构模型 杨攀, 董攀, 江哲, 丁滟
11:00-11:25 开源软件供应链治理技术研究综述:二十年进展 王莹, 伍盈欣, 高天, 许畅, 于海, 张成志
11:25-12:15 panel:泛在操作系统研究与实践


论坛主席





1.论坛主席:郭耀(北京大学)

简介: 北京大学计算机学院副院长,教授、博士生导师。在北京大学计算机系获本科和硕士学位、美国马萨诸塞大学(University of Massachusetts Amherst)计算机工程博士。主要研究方向包括移动计算、程序分析、隐私保护与系统安全等。主持和承担了国家重点研发计划、国家自然科学基金项目、核高基、863等多项国家级科研项目。在UbiComp、WWW、FSE、ASE、ICSE、ISLPED、IEEE Computer、ACM Transactions on Information Systems、IEEE Transactions on Dependable and Secure Computing等重要国际学术会议和期刊发表论文100余篇,担任10多个重要国际学术会议的组织委员会和程序委员会委员。曾获WWW 2020最佳学生论文奖、UbiComp 2016最佳论文提名奖、2018年度国家技术发明一等奖、2017年度电子学会技术发明特等奖、2016年度教育部科技进步一等奖、2017年度北京市教学成果一等奖、北京大学教学优秀奖等。






2.论坛主席:孙海龙(北京航空航天大学)

简介: 北京航空航天大学软件学院教授、博士生导师。目前担任软件开发环境国家重点实验室副主任、CCF协同计算专委副秘书长和CCF开源发展委员会执行委员,入选国家级青年人才计划。主要研究群体智能、智能化软件方法、开源软件和分布式系统等。主持了国家重点研发计划项目、国家自然科学基金重点项目及面上项目等。在OSDI、IJCAI、AAAI和ICSE等发表论文130余篇,获得中国发明专利授权40余项、美国发明专利授权2项。获国家技术发明二等奖2项、教育部科技进步一等奖3项。






3.论坛主席:郑炜(西北工业大学)

简介: 西北工业大学软件学院副教授、博士生导师。CCF高级会员,软件工程、系统软件、形式化方法专委会执行委员。主持、参与国家863、973、国家自然重大仪器项目,国家自然重点基金、国家重点研发项目等项目8项。主持多项航空、航天、中电、兵器研究所合作项目,经费超过2千万。在TOSEM,TSE,ICSE,FSE,软件学报等软件工程领域的顶会顶刊上发表论文80余篇,专利申请授权12项。主讲的《软件测试》课程在学堂在线、爱课程上选为精品课程,选课人数超过四万人。软件测试课程获得陕西省精品在线课程,获得国家教学成果奖二等奖1项。编写教材7本,专著2本。其中主编的《软件测试》教材获得工业信息化部十四五规划教材,并且被五十多所学校指定为教材,销售超过1.6万册。指导学生获得多项国家一等奖,包括挑战杯、软件杯、服务外包大赛、数模竞赛、软件测试大赛等。