報告簡介:
Software systems become more and more complex and ubiquitous, integrating into many aspects of human life. Program analysis has been recognized as an important kind of techniques to improve software usability and reliability with increased developer productivity. However, we realize that program code does not exist by itself. There are many "contexts" that shape the structure and functionality of a piece of code. Such contexts include but are not limited to surrounding relevant pieces of code for a given piece of code, the logs of developer actions that create and change the piece of code, the traces and feedbacks of users that record the uses of the code, and environment conditions under which the code is deployed. The diverse "contexts" imply that program analysis on code itself may not be enough; often, we need to broaden our view and take various kinds of contexts as input to enable a more encompassing multimodal software analysis.
This talk will give a broad overview of our work in software analysis using various kinds of data besides code, in particular sample applications in code search, and call for further exploration and collaborations on the rich opportunities in this direction. The first example utilizes developer feedbacks to improve the accuracy of code search that can return better code fragments for developers to reuse. The second example utilizes data available in the context of increasingly popular "social programming" on various project hosting websites to identify similar applications for the purpose of quick prototyping and code reuse for developers. The third example discusses a software project search engine with a domain specific language supporting the search of diverse software artifacts. Further examples and potentials of using multimodal software analysis will be introduced, and interested researchers and students are more than welcome to discuss and work together further.
報告人簡介:
蔣淩霄,生于浙江,現任新加坡管理大學信息系統學院助理教授。分别于2000年和2003年獲取北京大學數學學科學院信息科 學學士學 位和應用數學碩士學位。2009年獲取加利福尼亞大學戴維斯分校計算機科學博士學位。2009年曾任美國英偉達公司軟件測試策略師。曾在各類國際 相關領域 會議上發表四十多篇論文,包括多篇軟件工程領域頂級會議(ICSE和FSE)論文。主要從事程序分析技術的研究和應用,包括軟件測試、維護、安 全、重用、 軟件庫挖掘等,開發了多種快速、高效的重複代碼探測、軟件自動測試、檢錯算法和工具,緻力于研究開發有助于保證軟件質量、提高開發效率、降低維護 成本的方 法和技術。更多相關研究信息可聯系 lxjiang@smu.edu.sg,或浏覽: http://www.mysmu.edu/faculty/lxjiang/
新加坡管理大學信息系統學院成立于2003年,近幾年飛速發展。作為世界iSchools組織的50多個成員學院之一,我們注重信息和信息技術在 實際商務 環境中的用戶、使用和影響。我們從事很多技術領域的研究和應用,例如軟件工程、移動和普适系統、數據挖掘、人工智能、計算機安全等等。我們也從事 信息管理 領域的研究和應用,以及技術和管理的交叉領域。我們的博士課程每年招收10到20名全職或者交換研究生,給予全額獎學金,優秀者有機會赴本學院的 合作大學 卡内基梅隆大學參加為期10個月的培訓。2015秋季入學申請已開始,截止日期2015年1月31日。更多相關信息可聯系 lxjiang@smu.edu.sg,或浏覽: http://sis.smu.edu.sg/programmes/PhD/online-application