［本站讯］11月21日下午， 新加坡国立大学计算机学院Abhik Roychoudhury教授访问山东大学软件园校区。作为ACM杰出演讲者计划（ACM Distinguished Speakers Program）的一部分，Roychoudhury教授为校区师生作了题为“Functionality and Performance Debugging via Symbolic Execution”的学术报告，报告会由计算机学院鞠雷主持。
　　Roychoudhury教授在报告中介绍，程序调试是一个极其耗费时间的过程，占用了软件开发很大部分的时间，目前，基于符号执行的嵌入式软件功能和性能调试方向的研究有了新的学术进展，符号执行可以有效地应用在自动化的软件调试中。依据该研究成果，Roychoudhury教授及其团队对嵌入式Linux操作系统进行了调试，发现并报告了大量的程序漏洞。此外，Roychoudhury教授以高速缓存为研究对象介绍了如何使用软件调试技术提升系统性能。作为分管研究生教学的副院长，Roychoudhury教授还介绍了新加坡国立大学计算机学院博士研究生的招生政策，鼓励有兴趣的同学申报新加坡国立大学博士。Roychoudhury教授的精彩演讲博得了老师和同学们的热烈掌声。报告结束后，Roychoudhury教授耐心回答了现场师生的提问。
 　　Abhik Roychoudhury教授现任新加坡国立大学计算机学院副院长。2000年获得纽约州立大学石溪分校计算机科学博士学位并加入新加坡国立大学。他的研究领域包括软件测试、程序分析、可信软件，并特别专注于实时嵌入式系统。Roychoudhury教授获得过ACM SIGSOFT Distinguished Paper Award，IBM Faculty Award，ACM Distinguished Speaker等荣誉，担任至少35个软件工程和嵌入式系统会议的委员，包括RTSS，ICSE和SIGSOFT FSE等多个实时系统与软件工程领域国际顶级会议的组织工作。