返回首页

王啸吟

阅读量:1055 xiayu 收藏本文

2012CCF优秀博士学位论文奖获奖者

王啸吟 博士

培养单位:北京大学

导师:梅宏教授

博士论文《支持源代码回溯定位的字符串分析及其应用研究》首次提出了支持源代码回溯定位的字符串分析,包括字符串广义标记分析、序约束求解、动态字符串标记传播等一系列关键技术,能够为软件维护演化中与字符串相关的多种代码修改任务提供广泛的自动化支持。研究成果发表在IEEE Transactions on Software Engineering,、ICSE、FSE、ASE、ACL等顶级期刊会议上,他引200余次。

<<< 上一篇   王魏
<<< 下一篇 袁野