報(bào)告一題目：數(shù)據(jù)驅(qū)動(dòng)的數(shù)據(jù)治理
報(bào)告時(shí)間：2024年10月17日上午10:30-11:00
報(bào)告地點(diǎn)：437bwin必贏國際官網(wǎng)B404會(huì)議室
報(bào)告人：魏子恒
報(bào)告人單位：437bwin必贏國際官網(wǎng)437bwin必贏國際官網(wǎng)
報(bào)告人簡介：魏子恒，437bwin必贏國際官網(wǎng)教授、國家級高層次青年人才，博士畢業(yè)于新西蘭奧克蘭大學(xué)。曾在新西蘭奧克蘭大學(xué)擔(dān)任博士后研究員、在華為云擔(dān)任主任研究員，主要從事數(shù)據(jù)庫、數(shù)據(jù)智能以及數(shù)據(jù)挖掘技術(shù)的研究。在數(shù)據(jù)庫和數(shù)據(jù)挖掘領(lǐng)域發(fā)表學(xué)術(shù)論文30余篇，其中包括TODS、SIGMOD、VLDB、VLDB J.、ICDE等CCF-A類會(huì)議以及期刊17篇。
報(bào)告摘要：數(shù)據(jù)治理旨在設(shè)計(jì)、執(zhí)行并優(yōu)化數(shù)據(jù)“存”、“算”、“管”、“用”的流程，從而促進(jìn)數(shù)據(jù)從資源向資產(chǎn)高效的轉(zhuǎn)化。在大數(shù)據(jù)普及各行各業(yè)的當(dāng)下，數(shù)據(jù)的產(chǎn)生遠(yuǎn)遠(yuǎn)早于數(shù)據(jù)治理策略的設(shè)計(jì)，在缺乏對數(shù)據(jù)底層業(yè)務(wù)邏輯深入理解的情況下，如何高效地組織數(shù)據(jù)并識別數(shù)據(jù)質(zhì)量問題，成為了數(shù)據(jù)治理領(lǐng)域面臨的關(guān)鍵挑戰(zhàn)。本報(bào)告圍繞非完備的關(guān)系數(shù)據(jù)，主要介紹以數(shù)據(jù)為驅(qū)動(dòng)的方法，通過多種數(shù)據(jù)依賴挖掘算法，來發(fā)現(xiàn)數(shù)據(jù)中可以優(yōu)化的組織結(jié)構(gòu)，以及利用最新語義樣本來幫助用戶發(fā)現(xiàn)潛在的數(shù)據(jù)質(zhì)量規(guī)則。本報(bào)好還將對未來數(shù)據(jù)系統(tǒng)的發(fā)展方向進(jìn)行介紹并總結(jié)。
報(bào)告二題目：多缺陷環(huán)境下的軟件失效根因隔離
報(bào)告時(shí)間：2024年10月17日上午11:00-11:30
報(bào)告地點(diǎn)：437bwin必贏國際官網(wǎng)B404會(huì)議室
報(bào)告人：宋壹
報(bào)告人單位：437bwin必贏國際官網(wǎng)
報(bào)告人簡介：宋壹，437bwin必贏國際官網(wǎng)弘毅博士后，主要研究方向?yàn)橹悄芑浖こ獭④浖毕荻ㄎ弧?/span>以第一作者身份發(fā)表CCF A類論文4篇、CCF B類論文1篇，以共同一作身份錄用CCF A類論文1篇，獲授權(quán)國家發(fā)明專利4項(xiàng)。獲國家資助博士后研究人員計(jì)劃資助，獲ACM Wuhan & HBCS優(yōu)秀博士論文獎(jiǎng)，連續(xù)兩年獲“滴滴e鳴”優(yōu)秀博士生學(xué)術(shù)論壇一等獎(jiǎng)，連續(xù)兩年被評為437bwin必贏國際官網(wǎng)“年度優(yōu)秀博士研究生” (全院博士生每年評兩人)，獲騰訊獎(jiǎng)學(xué)金、學(xué)業(yè)獎(jiǎng)學(xué)金、出國境交流獎(jiǎng)學(xué)金、研究生國家獎(jiǎng)學(xué)金等榮譽(yù)十余次，擔(dān)任SANER、SAC等軟件工程領(lǐng)域國際知名會(huì)議的PC Member和國際軟件缺陷預(yù)測研討會(huì)SDPA的Co-Chair，擔(dān)任437bwin必贏國際官網(wǎng)2024級本科班級導(dǎo)師。
報(bào)告摘要：軟件調(diào)試是確保軟件質(zhì)量的重要手段，但其難以在多缺陷環(huán)境中發(fā)揮有效作用，失效根因隔離是緩解該挑戰(zhàn)的通用做法。圍繞該領(lǐng)域，報(bào)告人首先進(jìn)行大規(guī)模實(shí)證研究，發(fā)現(xiàn)當(dāng)前主流策略仍存在較大提升空間，然后采用遺傳編程技術(shù)構(gòu)建針對該問題實(shí)踐最優(yōu)解的自動(dòng)化生成方法，并進(jìn)一步提出采用程序運(yùn)行態(tài)內(nèi)存信息對軟件失效進(jìn)行建模，構(gòu)建人類可理解的新型失效根因隔離技術(shù)，有效提升了多缺陷軟件質(zhì)量保障任務(wù)的有效性。
