2024年3月23日(周六),学院将举办“开放原子春耕计划”活动,来自统信软件、华中科技大学、openEuler和bet356亚洲版体育官网的专家学者,将围绕开源主题,介绍先进思想和技术。欢迎老师同学们参加。
报告介绍:
报告1:不可变系统 & 玲珑:Linux桌面发行版本技术趋势
报告人简介:李鹤,统信软件终端操作系统产线架构师。参与开源操作系统deepin以及统信UOS的开发工作,先后负责DTK、安装工具、应用商店、玲珑等多个项目,目前负责桌面操作系统整体架构设计工作。
报告摘要:介绍deepin的发展历史以及Linux桌面发行版本的技术趋势,以及deepin在其中的研究。包括不可变系统,容器化包格式等内容。
报告2:面向基础开源软件的安全测试
报告人简介:文明,华中科技大学网络空间安全学院副教授,,硕士生/博士生导师。文明博士于2014年从浙江大学计算机科学与技术学院获得本科学位,2019年6月在香港科技大学计算机科学与工程学院取得博士学位。主要聚焦开源软件安全、软件测试与分析、以及代码大模型安全等研究,在软件工程领域累计发表了CCF-A类推荐会议或期刊40余篇,包括EuroSys、OOPSLA、ICSE、ESEC/FSE、ISSTA等。主持国家自然科学基金青年项目、面上项目、以及包括华为胡杨林基金系统软件专项在内的多项企业合作项目。文明博士担任了中国计算机学会系统软件、软件工程专委会委员、以及多项CCF-A类国际会议的程序委员会委员,并获得了ACM 新星奖 2023(武汉分会),以及入选了第七届中国科协青年人才托举工程计划。
报告摘要:介绍一系列针对基础开源软件的安全测试工作,充分利用“开源”优势,从开源数据以及历史版本中挖掘缺陷漏洞相关信息,优化测试种子的生成与测试空间的探索,提升缺陷检测能力以及测试效率。
会议议程:
时间 | 主题 | 讲者 | 主持人 |
2024年3月23日 bet356亚洲版体育官网8楼会议厅 |
09:30-09:40 | 开场 | 玄跻峰 bet356亚洲版体育官网 | 赵小刚 bet356亚洲版体育官网 bet356亚洲版体育官网 |
09:40-10:20 | 不可变系统 & 玲珑:Linux桌面发行版本技术趋势 | 李鹤 统信软件 |
10:20-11:00 | 面向基础开源软件的安全测试 | 文明 华中科技大学 网络空间安全学院 | 辛奇 bet356亚洲版体育官网 bet356亚洲版体育官网 |
11:00-11:40 | 开源软件仓库挖掘 | 陈金富 bet356亚洲版体育官网 |
11:40-14:30 | 午休 |
2024年3月23日 bet356亚洲版体育官网B302实验室 |
14:30-16:30 | 使用Docker镜像体验openEuler | 李萍 openEuler | 赵小刚 bet356亚洲版体育官网 bet356亚洲版体育官网 |
|
演讲人 | 报告简介 |
李鹤 统信软件 | 介绍deepin的发展历史以及Linux桌面发行版本的技术趋势,以及deepin在其中的研究。包括不可变系统,容器化包格式等内容。 |
文明 华中科技大学 网络空间安全学院 | 介绍一系列针对基础开源软件的安全测试工作,充分利用“开源”优势,从开源数据以及历史版本中挖掘缺陷漏洞相关信息,优化测试种子的生成与测试空间的探索,提升缺陷检测能力以及测试效率。 |
陈金富 bet356亚洲版体育官网 bet356亚洲版体育官网 | 介绍软件仓库挖掘相关概念及技术,并利用软件仓库挖掘来解决开源软件中遇到的一些经典问题,比如软件开发过程代码缺陷、性能退化检测、移动应用需求分析等问题。 |
李萍 openEuler | Docker是PaaS提供商dotCloud开源的一个基于LXC的高级容器引擎,允许开发者将应用及依赖包打包至可移植的容器中,然后发布到安装有主流操作系统的机器上。报告人将介绍如何使用Docker命令下载并创建一个openEuler容器实例。 |