薛建新
來源:沐鸣2平台
發布時間:2022年11月04日
教師介紹 | ||
| 教師姓名 | 薛建新 |
職務職稱 | 副教授 | |
研究方向 | 程序語言理論及應用💇🏽;程序分析;機器學習 | |
聯系電話 |
| |
jxxue@sspu.edu.cn | ||
通訊地址 | 上海浦東金海路2360號28號樓925 | |
個人簡介 | ||
2006年於國防科技大學取得軟件工程碩士學位,2013年於上海交通大學計算機科學與技術系取得工學博士學位🧝🏼♂️。 | ||
主要論文、專利及著作情況 | ||
1. Xue J, Long H, Fu Y. Remark on Some \pi, Variants[C]// International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Springer, Cham, 2017:183-199. 2. Xue J, Chang X. Race-driven active random testing of null-pointer dereferences[C]// Asia-Pacific Symposium on Internetware. ACM, 2016:63-70. 3. 常曦, 薛建新(通訊作者), 張卓,等. 面向收斂的並發程序執行軌跡靜態簡化方法[J]. 軟件學報, 2017, 28(5):1107-1117. 4. Java語言導學(原書第6版). 董笑菊♛,薛建新🏇,吳帆 等譯. 機械工業出版社, 2017年7月. | ||
主要科研項目 | ||
國家自然科學基金青年基金項目.編號🙆♀️:61502296 | ||
榮譽及獲獎 |