亚英体育-亚英体育(中国)官网

开放原子春耕计划活动

亚英体育开放原子开源俱乐部

发布时间:2024-03-20     浏览量:


2024323日(周六),学院举办“开放原子春耕计划”活动,来自统信软件、华中科技大学、openEuler和亚英体育的专家学者围绕开源主题,介绍先进思想和技术。欢迎老师同学参加。


报告介绍:

报告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(武汉分会),以及入选了第七届中国科协青年人才托举工程计划。

报告摘要介绍一系列针对基础开源软件的安全测试工作,充分利用“开源”优势,从开源数据以及历史版本中挖掘缺陷漏洞相关信息,优化测试种子的生成与测试空间的探索,提升缺陷检测能力以及测试效率。



会议议程:

时间

主题

讲者

主持人

2024323日 亚英体育8楼会议厅

09:30-09:40

开场

玄跻峰

亚英体育

赵小刚

武汉大学
亚英体育

09:40-10:20

不可变系统 & 玲珑:Linux桌面发行版本技术趋势

李鹤

统信软件

10:20-11:00

面向基础开源软件的安全测试

文明

华中科技大学
网络空间安全学院

辛奇

武汉大学
亚英体育

11:00-11:40

开源软件仓库挖掘

陈金富

亚英体育

11:40-14:30

午休

2024323日 亚英体育B302实验室

14:30-16:30

使用Docker镜像体验openEuler

李萍

openEuler

赵小刚

武汉大学
亚英体育


演讲人

报告简介

李鹤

统信软件

介绍deepin的发展历史以及Linux桌面发行版本的技术趋势,以及deepin在其中的研究。包括不可变系统,容器化包格式等内容。

文明

华中科技大学
网络空间安全学院

介绍一系列针对基础开源软件的安全测试工作,充分利用“开源”优势,从开源数据以及历史版本中挖掘缺陷漏洞相关信息,优化测试种子的生成与测试空间的探索,提升缺陷检测能力以及测试效率。

陈金富

武汉大学

亚英体育

介绍软件仓库挖掘相关概念及技术,并利用软件仓库挖掘来解决开源软件中遇到的一些经典问题,比如软件开发过程代码缺陷、性能退化检测、移动应用需求分析等问题。

李萍

openEuler

Docker是PaaS提供商dotCloud开源的一个基于LXC的高级容器引擎,允许开发者将应用及依赖包打包至可移植的容器中,然后发布到安装有主流操作系统的机器上。报告人将介绍如何使用Docker命令下载并创建一个openEuler容器实例。