中国人民大学

　　中国人民大学信息学院邀请杨子江教授做了一场题为“Dependence Guided Symbolic Execution(依赖引导符号执行)”的讲座，信息产业是21世纪的朝阳产业，也是21世纪我国国民经济的支柱产业。信息产业需要计算机科学与技术、信息系统与信息管理、数学基础与理论等各方面的专业人才和复合人才。中国人民大学信息学院正是培养信息领域高素质专业人才的基地。讲座的主要内容是：

　　符号执行为系统地探索的程序的路径，并产生相应的测试输入的强大技术。然而，它的实际使用量通常是由路径爆炸问题的限制，也就是说，探索路径的数目通常呈指数程序大小的增加生长。在这次谈话中，我们认为，对故障检测的目的，这是没有必要系统地探索的路径。我们提出了一个新的符号执行方法，通过预测和消除基于象征价值的冗余路径，以减轻路径爆炸问题。我们的方法能达到同等的故障检测能力，因为没有详尽的路径探索传统符号执行。此外，我们开发了一个名为依赖实际执行引导符号执行(DGSE)酣然地逼近我们的方法。通过利用程序依赖，DGSE可以预测和消除在一个合理的计算成本的冗余路径。我们的实证研究表明，冗余路径是丰富和广泛的计划。与传统的符号执行相比，只有DGSE探讨6.96%，至的路径96.57%，实现了1.02X至49.56X的加速。

　　杨子江博士现任西密西根大学计算机科学系教授。他1996年于中国科技大学计算机系获得学士学位，1999年于美国赖斯大学计算机科学系获得相关证书，2003年于美国宾夕法尼亚大学计算机与信息科学系获得博士学位。杨博士目前主要从事软件测试及验证领域的研究。迄今为止发表了六十余篇论文(包括CCF推荐A类论文十一篇和B类论文二十篇)及十项美国专利。他获得2008年度ACM TODAES 最佳期刊论文奖, 2008年西密西根大学工学院青年学者奖，2010 PADTAD最佳会议论文奖，2015年谷歌计算机 Engagement奖，和2015年西密西根大学工学院研究成就奖。杨子江博士是国际电子电气工程师协会(IEEE)资深会员，并担任过密西根大学电子与计算机科学系访问教授，NEC 公司美国研发中心科研顾问，美国自然科学基金评委，美国宇航局博士后评委，美国能源部科技企业基金评委等职。