11月10日下午，窦全胜教授为学院教师作题为“PSR-SQUARES —— 基于程序空间约简器的SQL逆向合成系统”的学术报告，报告会由李丙春院长主持。

窦教授的报告介绍了近期在SQL逆向合成系统方面开展的主要工作，包括基于程序空间约简器的SQL逆向合成系统的组成、框架、构建以及具体实验及实验结果。其系统在SQUARES基础上增加了以深度神经网络为核心的程序空间约简器，通过训练后的神经网络可以对与目标程序相关的产生式规则进行预测，在预测结果基础上，约简器采用了末N位淘汰策略，删除与目标程序无关的合成规则，减少无关程序的生成和验证，提升了SQUARES系统合成效率。

最后，各位老师针对窦教授的报告提出了感兴趣的问题，比如通过合成系统生成的SQL语句是否能够达到最优，其执行效率如何等。窦教授对大家的问题进行了一一解答，并指出该系统目前的主要任务是确保生成语句的正确性，下一步工作重点是对其进行优化。

本次报告取得了良好的学习效果，学院教师获得了极大的启发，比如在传统问题中引入机器学习、深度学习等先进技术，可以产生新的研究点。

撰稿人：王娅妮

审稿人：李丙春