2024年3月23日(周六),學院將舉辦“開放原子春耕計劃”活動,來自統信軟件、華中科技大學、openEuler和437bwin必贏國際官網的專家學者,將圍繞開源主題,介紹先進思想和技術。歡迎老師同學們參加。
報告介紹:
報告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日 437bwin必贏國際官網8樓會議廳 |
09:30-09:40 | 開場 | 玄躋峰 437bwin必贏國際官網 | 趙小剛 437bwin必贏國際官網 437bwin必贏國際官網 |
09:40-10:20 | 不可變系統 & 玲瓏:Linux桌面發行版本技術趨勢 | 李鶴 統信軟件 |
10:20-11:00 | 面向基礎開源軟件的安全測試 | 文明 華中科技大學 網絡空間安全學院 | 辛奇 437bwin必贏國際官網 437bwin必贏國際官網 |
11:00-11:40 | 開源軟件倉庫挖掘 | 陳金富 437bwin必贏國際官網 |
11:40-14:30 | 午休 |
2024年3月23日 437bwin必贏國際官網B302實驗室 |
14:30-16:30 | 使用Docker鏡像體驗openEuler | 李萍 openEuler | 趙小剛 437bwin必贏國際官網 437bwin必贏國際官網 |
|
演講人 | 報告簡介 |
李鶴 統信軟件 | 介紹deepin的發展歷史以及Linux桌面發行版本的技術趨勢,以及deepin在其中的研究。包括不可變系統,容器化包格式等內容。 |
文明 華中科技大學 網絡空間安全學院 | 介紹一系列針對基礎開源軟件的安全測試工作,充分利用“開源”優勢,從開源數據以及歷史版本中挖掘缺陷漏洞相關信息,優化測試種子的生成與測試空間的探索,提升缺陷檢測能力以及測試效率。 |
陳金富 437bwin必贏國際官網 437bwin必贏國際官網 | 介紹軟件倉庫挖掘相關概念及技術,并利用軟件倉庫挖掘來解決開源軟件中遇到的一些經典問題,比如軟件開發過程代碼缺陷、性能退化檢測、移動應用需求分析等問題。 |
李萍 openEuler | Docker是PaaS提供商dotCloud開源的一個基于LXC的高級容器引擎,允許開發者將應用及依賴包打包至可移植的容器中,然后發布到安裝有主流操作系統的機器上。報告人將介紹如何使用Docker命令下載并創建一個openEuler容器實例。 |
