【NASAC 2017】青年學者論壇

原標題：【NASAC 2017】青年學者論壇

報告題目：面向智能軟體工程的演算法研究

簡介：智能軟體工程作為軟體工程與人工智慧的交叉領域，是當前軟體工程的研究熱點和國際前沿。在本報告中，報告人首先通過文獻分析方法，介紹目前智能軟體工程主要分支的文獻發表分布、高引用論文、合作者網路等，以此揭示智能軟體工程領域的研究熱點。在此基礎上，報告人將介紹智能軟體工程中演算法研究的三個方面進展，包括大規模軟體工程問題的求解及驗證實例構造、自由文本與代碼文本的適配、冗餘軟體數據的去噪處理。

報告人：

江賀，教授、博導，目前擔任大連理工大學軟體學院副院長兼軟體工程理論與技術研究所所長。1999年本科畢業於中國科學技術大學少年班。2004年博士畢業於中國科學技術大學，師從陳國良院士。目前主要研究興趣為基於搜索的軟體工程、軟體倉庫挖掘。作為項目負責人，先後承擔教育部新世紀優秀人才計劃1項、國家自然科學基金3項、國家重點實驗室開放課題2項等，同時將科研成果用於華為、國家電網等企業。先後在IEEE系列彙刊（TSE, TKDE, TSMCB, TCYB,TSC）, ECJ,中國科學等期刊及ICSE,SANER,GECCO 等國際會議發表論文70餘篇，在科學出版社出版專著一部，在人民郵電出版社出版著作及譯著各1部。2013年獲得大連市特等五一獎章。2013年入選教育部新世紀優秀人才計劃。2014年指導博士生獲得中國計算機學會優秀博士學位論文獎（CCF優博）。2015年被評為九三學社遼寧省十大傑出青中年科技人才。2016年獲得全國東軟-NASAC青年軟體創新獎。

報告題目：基於精化的並發操作系統內核驗證

簡介：操作系統內核的可靠性和安全性是構造可信軟體的重要前提。近年來，在操作系統驗證方面的研究取得重要進展。本報告將介紹近年來我們對搶佔式實時操作系統內核的驗證工作，包括基本精化驗證理論和框架，應用該理論和框架對實時嵌入式操作系統μC/OS-II在Coq中的驗證、以及目前所面臨的關鍵挑戰等。

報告人：

馮新宇，2007年於耶魯大學獲博士學位。2007年至2010年於芝加哥豐田理工學院（Toyota Technological Institute at Chicago）任助理研究員。2010年加入中國科學技術大學，任教授、博士生導師。主要研究方向為程序驗證和程序設計語言理論。入選教育部新世紀優秀人才支持計劃，獲2015年度中創軟體人才獎和2016年度東軟－NASAC青年軟體創新獎。擔任《Formal Aspects of Computing》和《軟體學報》編委。CCF會員、CCF系統軟體專委會委員。

報告題目：面向智能化軟體開發的代碼大數據分析

簡介：開源軟體社區、軟體開發問答網站、在線開發手冊等網路化資源所構成的代碼大數據為數據驅動的智能化軟體開發打下了基礎。為了有效地支持代碼檢索、推薦和生成等智能化開發要求，我們需要開發能夠深入理解代碼片段、API 等代碼製品含義以及開發者問題描述和軟體開發上下文的代碼大數據分析技術。然而，問題描述、上下文和代碼製品三者之間的語義和辭彙鴻溝使得這一過程充滿了挑戰。本報告將分析面向智能化軟體開發的代碼大數據分析的主要問題和挑戰，提出一個基於程序分析、統計學習和知識推理的代碼大數據分析技術框架，並介紹當前的研究進展。

報告人：

彭鑫，復旦大學軟體學院副院長、博士、教授、博士生導師。中國計算機學會（CCF）高級會員及軟體工程專委會委員、CCF YOCSEF上海2016-2017主席、CCF上海分部執委、上海市計算機學會青工委副主任、《軟體學報》編委、《計算機工程與應用》編委。2001年和2006年分別獲得復旦大學計算機科學與技術專業學士和博士學位，博士畢業後留校任教。2013年入選復旦大學卓學計劃，2016年獲得東軟-NASAC青年軟體創新獎。主要研究方向包括軟體維護與演化、智能化軟體開發、自適應軟體、移動計算與雲計算等。作為負責人承擔自然科學基金項目3項、863項目子課題2項、重點研發計劃項目子課題1項。至今已在ICSE、FSE、ASE、CSCW、RE、ICSME、SANER等國際會議以及ACM Transactions on Internet Technology、IEEE Transactions on Service Computing、IEEE Software、計算機學報、軟體學報、中國科學等國內外期刊上發表論文60餘篇，擔任了ICSME、RE、COMPSAC等國際會議的程序委員會委員。研究工作獲得第27屆軟體維護國際會議（ICSM 2011）最佳論文獎，所開發的軟體工具多次獲得中國計算機學會舉辦的軟體研究成果原型競賽一、二、三等獎。

喜歡這篇文章嗎？立刻分享出去讓更多人知道吧！