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