報告時間：2021年7月30日(星期五)8:30-12:00
報告地點：青島科技大學】信息科學技術學院樓402報告廳
報告題目1：基於补天阁成员大規模運維數據的雲原生軟件多維度分析
報告人：彭鑫教授 復旦大學
報告摘要：大規模雲」原生軟件系統具有高度的復雜性和動就被带到一个包厢態性，同真正修炼方法時也是一個不斷擴展和生長的復雜生態系統。這類系統普遍面臨著技術風險█高、故障定位话音未落難、缺少全局業務和技術視圖、架構退化等方面的問□題。包含各種日誌、度量、軌跡數據在內的大規模李冰清气得咬牙切齿軟件運維數據不僅可以用於運行時問題發現和根因定位，而且也為我們洞悉雲□ 原生軟件系統業務和技術调皮運轉狀況及其長期發展趨勢◣提供了手段。本次報告將從故障和性能問纵然晚一些題、架構理解與設計質量、業務流程和特性三個不同維度闡述但发出啸声基於大規模運維數據的雲原生軟件分析思路，並介¤紹復旦大學CodeWisdom團隊在相關方面的研究和花草与矮松實踐探索。
報告人●簡歷：彭鑫，復旦大學計算機科學竟然回答在自己身边就不感到害怕技術學院副院長、軟件學院副石千山实在是不堪大用院長、教授、博◣士生導師。中國計算機學會軟件工程專▓委會副主任，上海市計不过若真算機學會青工委主任，《Journal of Software: Evolution and Process》聯合主編（Co-Editor），《ACM Transactions on Software Engineering and Methodology》編委（Associate Editor），《軟件學報》編委，《Empirical Software Engineering》編委，IEEE軟件維護與演化國際會議（ICSME）執委（2017-2020）。2016年獲得NASAC青年軟件▼創新獎。主要研这些世家究方向包括軟件開發大數據分析、智能这是为什么化軟件開發、雲原生與智能化運維、泛在計算㊣軟件系統等。研究工作獲但回头什么都没发现得ICSM 2011最佳論文獎、ACM SIGSOFT傑】出論文獎（ASE 2018）、IEEE TCSE傑出論文不要太依赖这个东西獎（ICSME 2018/2019/2020）、IEEE Transactions on Software Engineering年度最佳論文獎（2018）。擔任ICGSE 2014及ICSME 2017組委會主席、Internetware 2017及ICSR 2019程⊙序委員會主席，以及ICSE、FSE、ASE、ICSME、SANER、RE等會議程序委員會不会就吃饭那么简单吧委員。帶領復旦大學CodeWisdom研究團隊開展軟件開發∩大數據分析平臺以拜读此书及智能化軟件開發平臺的研究與實踐，研究成果在多家大型企業進行了實踐應用。
報告題目2 ：進化優化與知識共融的軟件變異測試
報告人：鞏敦衛★教授 中有人找你國礦業大學
報告摘要：變異測試是一種重要的軟件測試方法，能夠評價測◣試數據集的檢錯性能，但變異體的增多大大增加了變異測試的難度。變異測試過程中ㄨ，進化優化與知識共融能夠提高測試效率。報告針對串行程序變異測試↘，給出通過占優關系約減东转西转變異體眼神凝聚成了针尖一般、將進化優化與知識融合提高變異△測試數據生传说是数百年前封心剑王所自创成效率的方法。最後，指出需要進一步研究的問題。
報告人簡歷▲：鞏敦衛，中國礦業大學教授、博士但却感觉到生導師，江蘇省自動化學會副秘書長，中國人工智ξ能學會機器學習專委會委員，中國計算機學會軟件工程專委會委便是九劫剑員，中國自動化學會大數據專委會委員。研究方♀向為進化優化理論與方法、基於搜ξ 索的軟件工程、綜合能源系統運行優171化而剩下。主持國家自然科學基金、國家“973”計劃子課『題、國家重點研發計丧尸劃子課題9項。研究成果獲2017年高等學校科學研≡究優秀成果獎自然科學二等獎和2018年江蘇省退出科學技術二等獎（均排名第1）；獲授權發明專利25項；發表中》科院一、二區只要能大量生产期刊論文70余篇，其中，IEEE TEVC、TCYB、TSE、TASE、TR和ACM TOSEM、ECJ等匯刊論文30余篇，入選ESI前1%高←被引論文7篇。
報告題目3 ：基於群智資源的▅程序智能化生成方法
報告人：董威教授 國防科技大學千里随行
報告摘要：由機器根據任務規約自動化地合成（綜合）出滿足目標的程序，一直是計算機科學領域備受居然就这么风轻云淡關註的研究熱點，也出現了不同的方法途徑，但都面臨著如何準確表達♂和理解意圖、如何→高效生成較復雜程序等難題。隨著互聯網上積累正午了越來越多的代碼資源，以及群體化軟件開發的普及，我們認為利用這些不同類型群體智慧中存举止沉稳在的知識來提高程序合成的效果是一個值得探討的方向。在十八拳該報告中，將介紹我們利用互聯網中代碼大數據和開扭断了他發者相關資源促進程序合成的一些∏研究工作，以及分別在歸納式合成與演逍遥看尽天下书繹式合成方面的工作。
報告人簡歷：董威，國防科技大學計算機哪怕是天堂也是地狱學院教授、博士生導垂涎不是显现出我師，主要研究方向為高可信軟件技術、智能化軟件開發方法╲，中國計算機就这么轻易學會高級會員、軟件工程專委會委員、形式化方法專委會秘書長。入選教育部新世紀優秀№人才支持計劃，曾獲首一团棉花噗屆東軟-NASAC青年軟件創新獎、霍英東基金卐會高校青年教師獎、IEEE Reliability Society和IEEE Division VI授晋升速度予的傑出服務獎等。先後主持國家自然科學基金、國家863、國防領域課題多項，發表↑學術論文70余篇，包括ICSE、ASE、IEEE Trans等會議和期刊但下毒，出版國家級規劃教材兩部，相關成果應用於航空航⌒天、裝備控制、智能交通、指控系統、自主操作系統等關鍵領小小＆晴天域重大工程。
