应中科院计算技术研究所的计算机体系结构国家重点实验室（筹）的张兆庆研究员的邀请，梁振凯教授于7月3日到计算所交流，并作了题为Error Detection and Debugging through Software Binary Analysis and Comparison的学术报告。

在这次报告中，梁振凯博士展示了他在BitBlaze工具平台上开发的自动错误检测的工具：通过建立符号公式来表示程序是如何接受输入的，从而进行程序模型的对比得到差异，即程序可能错误点。首先，工具会找到不同程序间的差异；然后，使用混合符号执行生成特定输入使得对于同一规范的不同实现产生实质的差异。正是不同实现间的差异和这个特定的输入提供了关于错误原因最直接的信息。

报告会上，现场气氛活跃。

梁振凯博士是新加坡国立大学的一名助理教授，2006年从Stony Brook University获得博士学位，1999年从北京大学获得经济和计算机的双学士学位。他的主要研究方向是系统、软件和网络的安全、和软件调试。具体的工作包括恶意软件分析和防护、在浏览器环境中对恶意JavaScript的防护、软件错误检测和调试工具。梁振凯博士与他人合写的论文曾获多个会议的大奖，其中包括：2009年ESEC/FSE获得ACM SIGSOFT突出论文奖、2007年USENIX Security Symposium的最佳论文奖、2003年Annual Computer Security Applications Conference (ACSAC) 的突出论文奖。他本人也于2008年获得新加坡国立大的年轻研究人员奖。