智能控制第四版程序代码_活动预告 | 智能化软件开发微访谈第十二期：智能化编程助手...-CSDN博客

CodeWisdom

智能化软件开发沙龙是复旦大学CodeWisdom团队参与组织的专注于代码大数据与智能化软件开发的学术和技术沙龙，面向相关领域的学术界研究者和工业界实践者，通过各种线上和线下交流活动促进学术研究与实践技术的发展。微访谈是智能化软件开发沙龙依托沙龙微信群开展的线上交流活动，其形式是围绕某一具体话题邀请嘉宾进行在线访谈并与微信群成员互动。

智能化编程助手

智能化软件开发微访谈·第十二期

背景介绍

深度学习等人工智能技术的发展为代码/API搜索与推荐、软件开发知识搜索、代码缺陷发现与修复推荐等传统软件工程任务提供了新的智能化能力支持，甚至有不少研究者在尝试自动代码生成等新的任务。伴随这股热潮产生了大量相关研究工作，并催生了一些智能化编程辅助相关的创业公司。本次微访谈针对智能化编程助手这一主题，邀请了来自学术界和工业界的多位专家围绕相关问题，从研究与实践进展、技术热点、问题与挑战、未来发展方向等多个角度进行研讨和交流。

时间与地点

2020年7月21日(周二)晚7:00-9:00

“智能化软件开发沙龙”微信群

主持人

彭鑫

复旦大学教授

复旦大学计算机科学技术学院

教授、博士生导师

Dr. Xin Peng Professor

School of Computer Science, Fudan University

个人主页：

http://www.se.fudan.edu.cn/pengxin

Email:

pengxin@fudan.edu.cn

访谈嘉宾

李戈

北京大学信息科学技术学院副教授

主要研究领域：程序分析与生成，深度学习与知识工程。博士毕业于北京大学计算机系，曾赴斯坦福大学计算机系人工智能实验室从事深度学习方面的合作研究，任职访问副教授，CCF软件工程专委会秘书长。所在研究团队聚焦于基于机器学习概率模型的程序语言处理、程序分析与生成等，是国际上最早从事相关研究的团队之一，在程序代码理解、代码自动生成、代码特征检测等方面一直保持着国际上领先的研究成果，在NIPS/AAAI/IJCAI/ACL/ICSE/ASE/ICPC等发表论文70余篇，曾获教育部高等学校科学研究优秀成果奖科技进步一等奖，CCF科学技术奖技术发明一等奖。科研转化成果aiXcoder正在为多家头部企业的开发者提供服务。

邢振昌

澳大利亚国立大学计算机学院副教授

他于2008年获得加拿大University of Alberta博士学位。博士毕业后，他先后于新加坡国立大学担任李光耀学者，和新加坡南洋理工大学担任助理教授。邢博士近年来专注于研究知识图谱方法，人机交互和行为分析技术来提升软件开发效率和软件质量。他多次担任重要软件工程会议的组织委员会成员，他是ICSME 2020程序委员会主席。邢教授的研究工作多次获得重要软件工程会议杰出论文奖，包括两次IEEE TCSE Distinguished Paper Award和两次ACM SIGSOFT Distinguished Paper Award。

张洪宇

Associate professor with The University of Newcastle, Australia

Hongyu Zhang is an associate professor with The University of Newcastle, Australia. Previously, he was a lead researcher at Microsoft Research Asia and an associate professor at Tsinghua University, China. He received his PhD degree from National University of Singapore in 2003. His research is in the area of software engineering, in particular, software analytics, software maintenance, software quality assurance, and programming tools. The main theme of his research is to improve software quality and developer productivity by mining software data. He has published more than 150 research papers in leading international journals and conferences. He received four ACM Distinguished Paper awards and three best paper awards. He has also served as a program committee member/track chair for many international conferences. He is general co-chair of ICSME 2020. More information about him can be found at: https://sites.google.com/site/hongyujohn.

董威

国防科技大学计算机学院教授

CCF高级会员、形式化方法专委会秘书长。主要研究领域为高可信软件技术，近年来关注基于群智的程序自动构造、高安全软件的自动综合、程序验证等方向。先后主持国家自然基金重大项目课题、国防重大基础研究课题、国家863项目等多项，发表论文60余篇，包括ICSE、ASE、TSE等会议和期刊，软件工具多次获得SV-COMP等国际和国内相关比赛第一名，部分成果应用于航空航天、装备控制、指控系统、自主操作系统等关键领域软件开发中。

楼建光

微软研究院首席研究员

多年来主要从事机器学习和人工智能技术在商业智能(Business Intelligence)数据分析、大规模在线软件系统分析(Software Analytics) 等方面的研究与应用工作。研究兴趣包括交互式数据分析机器人、自动数据理解、程序自动生成、大规模在系统智能诊断与运维等方面。多项成果在微软公司的大规模在线系统实践中得到广泛应用，典型案例有Azure中的自动诊断和故障预测系统、微软PowerBI Mobile及Excel产品中基于自然语言的交互式数据分析功能等。

张玉明

阿里巴巴高级技术专家

阿里代码平台技术负责人。专注于研发效能领域，在企业研发协作平台架构及建设方面有近十年的实践经验。

臧志

百度工程效能部负责人

多年基础技术领域经验，在运维、网络、基础架构、安全等多个方向都有大型场景的实践，曾经担任百度运维技术委员会主席，主导了百度运维自动化和智能化从0到1到行业标杆的完整过程，也曾负责京东集团网络、Devops工具体系等的升级换代，以及网络、安全、专有云等云产品的搭建和走向市场。

张昕毅

华为技术有限公司软件IDE实验室主任

张昕毅，本硕毕业于上海交通大学计算机系，在微软Visual Studio团队工作10多年，带领研发团队设计交付VS和VS Code相关产品，并多次在微软技术大会代表IDE产品部门做主题演讲。现任华为软件IDE实验室主任，聚焦下一代IDE技术的研发。

访谈问题

根据您的经验以及所了解的情况，程序员在日常开发过程中存在哪些普遍的智能化编程支持需求？

软件开发数据的积累以及人工智能技术的发展为智能化编程助手带来了哪些机会？智能化编程助手有可能在哪些方面为程序员提供智能化支持？有哪些任务有可能由智能化编程助手自动完成？