CCF学科前沿讲习班《软件自动化：从低代码到无代码开发》

菏泽炫佑科技

CCF学科前沿讲习班《软件自动化：从低代码到无代码开发》

本期CCF前沿主题研讨会《软件自动化：从低代码到无代码开发》系统介绍了软件自动化的*新研究进展以及支持低代码和无代码开发的技术，帮助学生了解软件自动化的基本概念、主要挑战和解决方案，掌握程序分析、程序综合、深度学习、自然语言理解、知识图谱等一系列该领域的前沿技术，理解软件自动化的作用通过实际案例，了解开发、测试、维护、运维、业务等方面智能的应用前景，拓宽科研视野，增强实践能力。

本次ADL研讨会邀请了该领域著名高校和企业研究机构的8位重量级专家学者做主题报告。 他们将深入讲解软件自动化在支持低代码和无代码开发方面的*新进展，并向观众展示基于程序分析、程序综合、深度学习、自然语言理解和知识图谱。 开发实际案例并介绍解决可信软件工程挑战和实施软件自动化的宝贵经验。

学术主任：谢涛 北京大学

主办单位：中国计算机学会

活动日程：

2021 年 7 月 23 日

9:00-9:15

开幕式

9:15-9:30

合影

9:30-11:00

专题讲座1：可靠性驱动的智能运维

陆荣丛 李卓敏 香港中文大学计算机科学与工程讲座教授，2018年中国计算机学会海外杰出贡献奖，AAAS/ACM/IEEE

11:00-12:30

特别讲座2：智能软件工程：趋势与挑战

谢涛，北京大学计算机科学与技术系讲座教授、高可信软件技术教育部重点实验室（北京大学）副主任、CCF软件工程委员会副主任、特聘委员CCF、AAAS/IEEE

12:30-14:00

午餐

14:00-17:00

专题讲座3：基于深度学习的程序分析与生成

李革CCF学科前沿讲习班《软件自动化：从低代码到无代码开发》，北京大学计算机科学与技术系副教授，CCF软件工程专业委员会秘书长。

2021 年 7 月 24 日

9:00-12:00

专题讲座4：基于知识图谱的智能辅助开发

彭欣 复旦大学计算机科学与技术学院副院长、软件学院副院长、CCF软件工程专业委员会副主任

12:00-14:00

午餐

14:00-17:00

专题讲座5：归纳程序合成技术

熊英飞，北京大学计算机科学与技术系新系统常任副教授

2021 年 7 月 25 日

9:00-12:00

专题讲座6：基于自然语言的程序生成

楼建光 微软研究院首席研究员、CCF系统软件委员会委员

12:00-13:30

午餐

13:30-15:00

专题讲座7：软件代码级动态更新技术

蒋艳艳，南京大学计算机科学与技术系副研究员。

15:00-15:15

休息

15:15-16:45

专题讲座8：智能可信软件工程：行业实践与趋势

王前祥 华为软件分析实验室主任、CCF软件工程专业委员会副主任

16:45-17:00

概括

特邀演讲嘉宾：

卢荣冲 香港中文大学

演讲者简介：卢荣聪，香港中文大学计算机科学与工程系李卓民讲座教授。 主要研究领域包括软件可靠性工程、分布式系统、服务计算、云计算、人工智能和机器学习。 他是国际知名的软件可靠性工程专家。 在软件可靠性建模、评估、分析和应用方面做出了重大的创造性和综合性贡献。 其科研理论和成果在电信设备、局域网、Web服务、云计算平台、智能手机等行业得到推广和应用。 针对软件可靠性“难以建模、检测、量化、分析”的关键问题，实施具体解决方案，取得突破性进展。 荣获2018年度中国计算机学会海外杰出贡献奖、第十三届光华工程科学奖。 出版学术专着7部，论文600篇，谷歌学术引用超过41,000次，H指数为100。他是全球唯一获得ACM、IEEE、AAAS和IEEE年度工程师奖的研究员可靠性协会四项重要国际荣誉奖项。 2020年入选《全球2000位人工智能领域*具影响力学者排行榜》，在三个领域排名。 他还是 CIKM 2019 Test of Time 奖和 SIGIR 2020 Test of Time 奖的共同获得者。

报告标题：可靠性驱动的智能运维

报告摘要：近年来，随着数字化应用和服务在各行各业的广泛应用，基础IT系统的容量和复杂度不断增长。 系统故障不可避免，导致服务性能下降甚至服务中断，带来严重的系统可靠性风险。 本报告将回顾我们构建可靠性驱动的智能运维框架的经验。 针对系统软硬件日志、测量数据、系统拓扑关系、系统告警、系统工单等原始运维数据，采用数据驱动的方式提出相应的智能解决方案，实现异常检测、故障诊断、根除定位、故障预测等目标*终增强系统的整体可靠性。

谢涛 北京大学

演讲嘉宾简介：谢涛自动化软件开发，北京大学计算机科学与技术系讲座教授、教育部高可信软件技术重点实验室（北京大学）副主任、美国进步协会会士美国科学促进会（AAAS）、电气与电子工程师学会（IEEE）院士、计算机学会（ACM）杰出科学家、中国计算机学会（CCF）杰出会员。 曾获得国家自然科学基金海外杰出青年科学基金及其继续资助、科学探索奖、美国NSF奖、ACM杰出服务奖、IEEE计算机学会软件工程技术委员会（TCSE）杰出服务奖曾任CCF软件工程专委会副主任、CCF-IEEE CS青年科学家奖分委会主席、中国计算机大会（CNCC 2020）程序委员会主席、中国计算机大会（CNCC 2020）程序委员会联席主席软件工程旗舰国际会议ICSE 2021，《软件测试与验证》和可靠性（STVR）》Wiley 等联合主编。主要研究领域包括软件工程、系统软件、软件安全。

报告标题：智能软件工程：趋势与挑战

报告摘要：作为人工智能与软件工程交叉融合的一个例子，智能软件工程和智能软件工程近年来取得了很大的进展。 在前者中，智能“软件工程”侧重于在解决各种软件工程任务的方法中注入智能。 后者即“智能软件”工程，重点解决智能软件应用领域的各种软件工程任务。 智能软件工程为实现软件自动化带来了新的机遇：不断积累的软件工程大数据蕴藏着丰富的软件开发知识，使得基于软件工程大数据利用智能手段构建可媲美人类程序员的软件自动化成为可能。 工具有了新的可能性。 然而，大数据在软件工程中的独特性意味着学术界和工业界仍需要长期艰苦的努力才能将这种“可能性”转化为现实。 本报告将讨论智能软件工程的*新研究进展、未来发展趋势以及需要解决的挑战。

李戈 北京大学

演讲人简介：李革，北京大学信息科学与技术学院计算机科学与技术系副教授。 主要研究领域为：程序分析与生成、深度学习和知识工程。 毕业于北京大学计算机系，前往斯坦福大学计算机系人工智能实验室从事深度学习方面的合作研究，并担任该实验室客座副教授、秘书长。 CCF软件工程委员会。 本人所在的研究团队专注于程序语言处理、基于机器学习概率模型的程序分析与生成，在程序代码理解、自动代码生成、代码特征检测等方面保持国际领先的研究成果，并荣获NIPS/AAAI/ IJCAI/ACL/ICSE/ASE/ICPC/TOSEM/EMSE已发表论文70余篇。 曾获教育部高等学校科研优秀成果奖科技进步一等奖、北京市科学技术发明奖二等奖、CCF科学技术奖技术发明一等奖。 科研转化成果正在为航天、互联网、银行等领域众多领先企业的开发者提供服务。

报告标题：基于深度学习的程序分析与生成

报告摘要：作为全球*早从事基于深度学习的程序分析与生成研究的团队之一，我们经历了程序分析与生成技术与深度学习技术的碰撞与融合。 在本报告中，我们将介绍基于深度学习的程序分析技术、程序生成和完成技术的发展过程，并介绍当前国际研究和应用现状。 报告内容将分为两部分：（1）基于深度学习的程序分析技术，介绍基于深度学习的程序分析模型，及其在程序算法识别、程序功能识别与分类、缺陷检测与分析等方面的应用。定位、克隆代码检测等方面的研究和应用成果； (2)基于深度学习的程序生成与补全技术，介绍了基于深度学习的程序生成技术的*新研究进展，以及北京大学在程序自动补全方面的*新应用成果。

彭欣复旦大学

演讲人简介：彭欣，复旦大学计算机科学与技术学院副院长、软件学院副院长，教授、博士生导师。 中国计算机学会软件工程委员会副主任、上海市计算机学会青年工作委员会主任、《of:and》联合主编、《ACM on and》编委、编委《 of 》理事会成员，《软件》编委会成员，国际维护与演进会议（ICSME）IEEE软件执行委员会成员（2017-2020）。 主要研究方向包括软件开发大数据分析、智能软件开发、云原生及智能运维、泛在计算软件系统等。在软件工程及相关领域高水平国际会议上发表论文80余篇。如 ICSE、FSE、ASE、CSCW、ICSME、SANER、RE 等，以及 IEEE/ACM 等国际期刊。 2016年荣获东软-NASAC青年软件创新奖。研究工作荣获ICSM 2011*佳论文奖、ACM杰出论文奖（ASE 2018）、IEEE TCSE杰出论文奖（ICSME 2018/2019/2020）、IEEE年度优秀论文奖*佳论文奖（2018）。 带领复旦大学研究团队开展软件开发大数据分析平台和智能软件开发平台的研究与实践。 研究成果已在多家大型企业得到应用。

报告标题：基于知识图谱的智能辅助开发

报告摘要：软件开发是一项知识密集型活动。 API、算法、业务知识以及相关的可复用库、示例代码、问答讨论等开发资源是软件开发任务的重要支撑。 然而，软件开发知识和资源分散在文档、代码库、问答网站等各种来源中，缺乏统一、规范的描述，难以轻松获取和复用。 为了充分利用这些知识和资源，我们提出以自动化的方式构建API知识图谱等软件开发知识图谱，并在此基础上实现示例代码、问答讨论等开发资源的语义标注，从而支持智能辅助开发。 。 本报告将介绍我们在API知识图谱构建、示例代码和问答讨论语义标注、知识型软件开发问答和开发资源推荐等方面的研究工作，并探讨知识型智能软件开发的未来发展方向。 分析与展望。

熊英飞 北京大学

演讲人简介：熊英飞2009年获得日本东京大学博士学位，2009年至2011年在加拿大滑铁卢大学工作，2012年加入北京大学，现为新体制下的常任副教授。 熊英飞的研究兴趣是编程语言和软件工程，特别是程序分析、综合和修复。 他提出了降低程序编写和缺陷修复成本的理论和方法。 例如，基于差异的双向变换框架是*广泛使用的双向变换框架之一。 ACS将程序修复技术在公共数据集上的准确率从不足40%提高到70%以上。 他的工作也被业界采用，如新一代Linux内核配置项目、燕云DaaS系统、华为等。他是程序委员会联合主席，同时担任ICSE、FSE、ASE、 ISSTA 和其他会议。

报告题目：归纳程序综合技术

报告摘要：程序合成技术自动合成满足一定目标的程序，被我国软件先驱徐家福先生称为“提高软件生产力的根本途径”。 程序综合在许多领域都有应用，例如*终用户编程、优化、缺陷修复等。本报告将介绍近二十年来蓬勃发展的归纳程序综合技术，包括枚举方法、基于表示的综合和概率引导综合等。本报告内容基于北京大学《软件分析技术》课程的程序综合部分。

楼建光 微软研究院

演讲人简介：楼建光现任微软研究院首席研究员、CCF系统软件专委会委员。 多年来主要从事机器学习和人工智能技术在商业智能（ ）数据分析、大型在线软件系统分析（ ）等方面的研究和应用。研究兴趣包括交互式数据分析机器人、自动数据理解、程序自动生成、大规模智能诊断和系统运维等，多项成果已广泛应用于微软大型在线系统实践中。 典型案例包括Azure中的自动诊断和故障预测系统，以及和Excel产品中基于自然语言的交互式数据分析功能。 部分工作发表在人工智能、自然语言处理、计算机软件、系统和数据挖掘相关的知名国际会议（ACL、AAAI、IJCAI、EMNLP、ICSE、FSE、ATC、ASE、KDD、ICDM、 ETC。）。

报告标题：基于自然语言的程序生成

报告摘要：基于自然语言描述自动生成计算机程序的能力一直是人工智能和计算机软件领域令人垂涎的目标。 近年来，深度学习和自然语言处理技术的一些突破，使得基于自然语言的自动程序生成技术取得了长足的进步。 本报告首先系统介绍基于自然语言的程序自动生成技术的主要问题、技术路线和方法，然后分享我们基于自己的研究和应用工作的一些发现和经验。

江艳艳南京大学

演讲人简介：姜艳艳，南京大学计算机科学与技术系副研究员。 主要研究方向为软件分析与测试、运行时系统和程序综合。 两次获得ACM论文奖和ICSE'21*佳论文奖。 姜艳艳参与了南京大学计算机系统教学实践课程体系的设计，并作为江苏省青少年信息学奥林匹克委员会委员积极参与科普工作。

报告标题：软件代码级动态更新技术

报告摘要：在不终止软件运行的情况下实现软件的动态更新和无缝演进是一项具有挑战性的研究任务。 本报告将介绍代码级动态更新技术发展过程中的多项重要研究工作，包括记者团队将程序合成技术应用于Java基础服务器程序状态转换的尝试。 演讲者团队的这项工作获得了软件工程旗舰会议 ICSE'21 的*佳论文奖。

王千祥华为

演讲人简介：王前祥，华为软件分析实验室主任，中国计算机学会（CCF）软件工程专业委员会副主任。 加入华为之前，他曾任北京大学计算机系教授、博士生导师。 在FSE、ASE等国际软件工程顶级会议上发表学术论文60余篇，出版专着1部。 目前我们主要进行智能软件开发方面的研究，包括代码缺陷检测、自动代码修复、智能代码合并等。

报告标题：智能可信软件工程：行业实践与趋势

报告摘要：智能软件工程近年来受到学术界和工业界的广泛关注，并产生了许多相关技术和原型。 本报告结合华为可信软件工程改革，重点介绍了利用AI技术提高代码可信性的多项实践和探索，如静态代码缺陷检测与修复、代码重构、代码合并、测试用例生成、测试结果等。 报告*后会简单介绍一些低代码相关的实践。

学术主任 谢涛 北京大学

演讲嘉宾简介：谢涛，北京大学计算机科学与技术系讲座教授、教育部高可信软件技术重点实验室（北京大学）副主任、美国进步协会会士美国科学促进会（AAAS）、电气与电子工程师学会（IEEE）院士、计算机学会（ACM）杰出科学家、中国计算机学会（CCF）杰出会员。 曾获得国家自然科学基金海外杰出青年科学基金及其继续资助、科学探索奖、美国NSF奖、ACM杰出服务奖、IEEE计算机学会软件工程技术委员会（TCSE）杰出服务奖曾任CCF软件工程专委会副主任、CCF-IEEE CS青年科学家奖分委会主席、中国计算机大会（CNCC 2020）程序委员会主席、中国计算机大会（CNCC 2020）程序委员会联席主席软件工程旗舰国际会议ICSE 2021，《软件测试与验证》与可靠性（STVR）》Wiley 等联合主编。主要研究领域包括软件工程、系统软件、软件安全。

时间：2021年7月23-25日

地点：北京中国科学院计算技术研究所一层报告厅（北京市海淀区中关村科学院南路6号）

注册说明：

1、注册费：CCF会员2800元，非会员3600元。 食、宿、交通费用需自理。 会员将按照先到先得的原则入场，直至名额满为止。

2、报名截止日期：2021年7月25日。报名时，请预留一个不会屏蔽外部邮件的邮箱地址，如QQ邮箱。

3、咨询电话： 邮箱：

付款方式：

在注册系统中在线支付或通过银行转账支付

银行转账（支持网银和支付宝）：

开户银行：招商银行北京海淀支行

帐号名称：中国计算机学会

帐号：0701

请务必注明：姓名+

注册并付款后，注册系统显示支付完成，即表示注册成功。

注册方式：请选择以下两种方式之一进行注册：

1.扫描（识别）以下二维码进行注册：

2.点击注册链接进行注册：8

炫佑科技专注互联网开发小程序开发-app开发-软件开发-网站制作等