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

2022年CCF中国软件大会（CCF ChinaSoft 2022）将于2022年11月25-27日在上海国际会议中心举行。预期将有林惠民、陈左宁、邬江兴、何积丰、梅宏、吕建、柴洪峰、王怀民、郑纬民、蒋昌俊等10余位院士莅临。

本次大会主题是“聚焦产教研用协同创新，提升关键软件供给能力”，包括学术、工业、教育等论坛活动40余场，期待您的参与！

目前大会火热报名中！

点击链接进入官方注册通道(可预订住宿)：

https://conf.ccf.org.cn/chinasoft2022

论坛巡礼

本文特别介绍将于11月25日举办的【泛在操作系统理论、技术与开源生态构建】技术论坛。

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

时间: 2022年11月25日上午8:30-12:30

论坛简介：

论坛瞄准国家在操作系统及其生态上的重大战略需求，探索面向泛在计算场景的操作系统新理论及其软件定义新方法，力争形成泛在操作系统基础理论、方法技术与开源生态构建的有机体系。论坛针对人机物融合的泛在计算环境带来的资源异构多样性和交互开放不确定性，探索泛在操作系统的结构模型与行为机理，构建包括泛在资源管理、轻量级虚拟化、感联知控共性框架、泛在应用支撑、全栈性能优化等在内的关键技术体系，进一步探究泛在操作系统开源生态的构建、治理与安全评估理论与方法，并在工业互联网等典型场景中进行应用验证。

  论坛组织过程包括如下几个阶段：

1） 论文征集与评审：论坛共收集到多篇学术论文，每篇论文至少经过3位评审人进行2论评审并打分，选出了7篇优秀论文，论文名单见日程安排表。

2） 论文汇报交流：编委会选出7篇优秀论文到CCF ChinaSoft 2022的泛在操作系统理论、技术与开源生态构建论坛进行汇报交流。

3） 论文修改与发表：根据现场专家提问和评审意见，对论文进行修改后，论文修改达标后将推荐投稿到中国科学或软件学报。这7篇论文涉及泛在操作系统的内核，结构化存储，架构设计等研究成果。

日程安排

论坛组织者

郭耀

北京大学计算机学院副院长，教授、博士生导师。

在北京大学计算机系获本科和硕士学位、美国马萨诸塞大学（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年度北京市教学成果一等奖、北京大学教学优秀奖等。

孙海龙

北京航空航天大学教授，博士生导师。

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

郑炜

西北工业大学软件学院副教授、博士生导师。

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