报告题目：数据驱动的软件自动化：成就与挑战
报告时间：2019年12月4日（周三）下午3：00
报告地点：逸夫楼二楼会议室
报告人：谢涛（北京大学）
报告简介：
软件自动化通常是指根据形式或非形式规范自动生成软件的过程。软件自动化是学术界研究人员数十年的梦想。 软件自动化把软件开发人员从为了构建软件初始版本进行的繁琐编程任务中解放出来，并从为了演化软件到将来版本进行的繁琐软件维护任务中解放出来。软件自动化技术的例子包括程序合成、代码补全、程序转换、代码推荐、程序修复、软件自演化。在过去的十年中，软件开发、维护、部署产生了大量的软件工程数据，例如源代码，版本历史，功能规格，错误报告，测试案例，执行跟踪/日志以及真实的用户反馈。这些数据为软件自动化技术提供了宝贵的输入。这些数据提供了巨大的潜力来极大地提高这些技术的有效性和效率，从而不仅可以在学术环境中，而且可以在工业环境中实现软件自动化。本报告讨论数据驱动软件自动化的最新研究和未来方向以及要解决的挑战。
报告人简介：
谢涛，北京大学计算机科学技术系讲席教授。他曾获得美国NSF Faculty Career Award、海外杰出青年科学基金及其延续资助，当选美国计算机协会杰出科学家（ACM Distinguished Scientist）（2015年）、电气电子工程师学会会士（IEEE Fellow）（2018年）、中国计算机学会杰出会员（2019年）、美国科学促进会会士（AAAS Fellow）（2019年）。他是软件工程旗帜会议ICSE 2021、ISSTA 2015的大会程序委员会（共同）主席、ACM多元化（diversity）旗帜会议 Tapia 2017/2018的程序委员会主席和大会主席。他担任《Software Testing, Verification and Reliability (STVR)》期刊的联合主编、ACM SIGSOFT执行委员会委员、北美计算机华人学者协会软件工程专业委员会联合主席、中国计算机学会软件工程专业委员会候任副主任。
欢迎各位同仁前来听讲！