报告题目：程序合成
报告时间：2021年4月15日（星期四）下午15：00
报告地点：北校区主楼二区319会议室
报告专家：刘烃教授
报告主持人：李青山教授
报告专家介绍
刘烃，博士，教授，国家级青年人才，西安交通大学网络空间安全学院副经理。主要研究方向包括软件工程和信息物理融合系统。2003年和2010年分别获西安交通大学学士和博士学位；2016-2017年美国康奈尔大学访问教授。获得2017年国家科技进步二等奖、2015年教育部科技进步一等奖等科技奖励5项。在ICSE、FSE、ASE、ISSTA、TSE等CCF A类会议期刊上发表论文30余篇，获得2019 INFOCOM、2016 ISSRE等会议最佳论文奖。
专家内容简介
程序合成是软件工程领域历史最悠久和最受关注的方向之一。近年来，快速发展的人工智能技术使得机器对代码和人类需求的理解能力得到显著提升，为代码生成、测试、安全分析等提供了新的思路。本报告介绍西安交通大学研究团队在数据与智能驱动的软件工程相关成果，包括自然语言驱动的SQL生成、用户评论驱动的APP测试、程序隐私保护与合规性分析等。
