中國人民大學信息學院邀請楊子江教授做了一場題為“Dependence Guided Symbolic Execution(依賴引導符號執(zhí)行)”的講座,信息產(chǎn)業(yè)是21世紀的朝陽產(chǎn)業(yè),也是21世紀我國國民經(jīng)濟的支柱產(chǎn)業(yè)。信息產(chǎn)業(yè)需要計算機科學與技術(shù)、信息系統(tǒng)與信息管理、數(shù)學基礎(chǔ)與理論等各方面的專業(yè)人才和復合人才。中國人民大學信息學院正是培養(yǎng)信息領(lǐng)域高素質(zhì)專業(yè)人才的基地。講座的主要內(nèi)容是:
符號執(zhí)行為系統(tǒng)地探索的程序的路徑,并產(chǎn)生相應(yīng)的測試輸入的強大技術(shù)。然而,它的實際使用量通常是由路徑爆炸問題的限制,也就是說,探索路徑的數(shù)目通常呈指數(shù)程序大小的增加生長。在這次談話中,我們認為,對故障檢測的目的,這是沒有必要系統(tǒng)地探索的路徑。我們提出了一個新的符號執(zhí)行方法,通過預測和消除基于象征價值的冗余路徑,以減輕路徑爆炸問題。我們的方法能達到同等的故障檢測能力,因為沒有詳盡的路徑探索傳統(tǒng)符號執(zhí)行。此外,我們開發(fā)了一個名為依賴實際執(zhí)行引導符號執(zhí)行(DGSE)酣然地逼近我們的方法。通過利用程序依賴,DGSE可以預測和消除在一個合理的計算成本的冗余路徑。我們的實證研究表明,冗余路徑是豐富和廣泛的計劃。與傳統(tǒng)的符號執(zhí)行相比,只有DGSE探討6.96%,至的路徑96.57%,實現(xiàn)了1.02X至49.56X的加速。
楊子江博士現(xiàn)任西密西根大學計算機科學系教授。他1996年于中國科技大學計算機系獲得學士學位,1999年于美國賴斯大學計算機科學系獲得碩士學位,2003年于美國賓夕法尼亞大學計算機與信息科學系獲得博士學位。楊博士目前主要從事軟件測試及驗證領(lǐng)域的研究。迄今為止發(fā)表了六十余篇論文(包括CCF推薦A類論文十一篇和B類論文二十篇)及十項美國專利。他獲得2008年度ACM TODAES 最佳期刊論文獎, 2008年西密西根大學工學院青年學者獎,2010 PADTAD最佳會議論文獎,2015年谷歌計算機 Engagement獎,和2015年西密西根大學工學院研究成就獎。楊子江博士是國際電子電氣工程師協(xié)會(IEEE)資深會員,并擔任過密西根大學電子與計算機科學系訪問教授,NEC 公司美國研發(fā)中心科研顧問,美國自然科學基金評委,美國宇航局博士后評委,美國能源部科技企業(yè)基金評委等職。
近年來,越來越多的職場人士選項攻讀在職研究生提升自己,進而在職場中獲得更多升職加薪的機會。上海財經(jīng)大學人力資源管理在職研究生主要有面授班/網(wǎng)絡(luò)班兩種授課方式可選,其中面授班均在學校上課,雙休日其中一天授課,法定節(jié)假日和寒暑假不上課;網(wǎng)絡(luò)班即網(wǎng)絡(luò)遠程學習,學員通過直播課堂、錄播回放、在線答疑等方式實現(xiàn),學員可自由安排學習時間,不受地域限制。
上海財經(jīng)大學在職研究生采取資格審核方式入學,無需入學資格考試,免試入學。在職研究生報名條件是:本科學歷、并獲得學士學位后滿三年(原專業(yè)不限);雖無學士學位但已獲得碩士或博士學位者。滿足條件的學員全年均可向院校提交報名申請材料進行報名,完成全部課程學習并通過考核可獲得結(jié)業(yè)證書;后期結(jié)業(yè)后可報名參加申碩考試,只考外國語和學科綜合2門,滿分均為100分,學員達到60分及格即可通過考試,學員通過考試并完成論文答辯后即可獲得碩士學位證書。
詳情>