中国人民大学信息学院邀请杨子江教授做了一场题为“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 公司美国研发中心科研顾问,美国自然科学基金评委,美国宇航局博士后评委,美国能源部科技企业基金评委等职。
在职课程培训班报名条件是:
1、在教学、科研、专门技术、管理等方面做出成绩。2、获得学士学位后工作三年以上(含三年)或者虽无学士学位但已获硕士或博士学位者,对已获得的学士、硕士或博士学位为国(境)外的,其获得的国(境)外学位需经教育部留学服务中心认证。3、申请学科与所学专业相同或相近。完成学业后可以获得结业证,满足条件的考生可以参加全国同等学习能力人员申请相关证书统一考试,每年5月进行全国联考,3月在学位网报名,考生在规定年限内通过考试达到及格线即可,然后进入论文写作和考试流程,通过以后获取相关证书。