薛建新
来源：计算机与信息工程学院
发布时间：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 | ||
荣誉及获奖 | ||
