返回首页
您的位置:首页 > 新闻 > CCF新闻 > ADL

ADL118期《软件自动化:从低代码到无代码开发》开始报名

阅读量:1260 2021-07-05 收藏本文

本期CCF学科前沿讲习班《软件自动化:从低代码到无代码开发》,对软件自动化最新研究进展及支撑低代码、无代码开发的技术进行系统性介绍,帮助学员理解软件自动化的基本概念、主要挑战和解决方法,掌握该领域包括程序分析、程序综合、深度学习、自然语言理解、以及知识图谱的一系列前沿技术,并通过实际案例了解软件自动化在开发、测试、维护、运维以及商业智能的应用前景,开阔科研视野,增强实践能力。

本期ADL讲习班邀请到了本领域
8位来自于著名高校与企业科研机构的重量级专家学者做主题报告。他们将对软件自动化在支撑低代码、无代码开发方面的最新进展进行深入浅出的讲解,为听众展示基于程序分析、程序综合、深度学习、自然语言理解、以及知识图谱等技术的低代码、无代码开发实践案例, 并介绍解决可信软件工程挑战和软件自动化落地的宝贵经验。


学术主任:谢涛 北京大学

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

活动日程

2021723

9:00-9:15

开班仪式

9:15-9:30

全体合影

9:30-11:00

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

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

11:00-12:30

专题讲座2智能化软件工程:趋势和挑战

谢涛 北京大学计算机科学技术系讲席教授,高可信软件技术教育部重点实验室(北京大学)副主任,CCF软件工程专委会副主任,CCF杰出会员,AAAS/IEEE Fellow

12:30-14:00

午餐

14:00-17:00

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

李戈 北京大学计算机科学技术系副教授,CCF软件工程专委会秘书长

2021724

9:00-12:00

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

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

12:00-14:00

午餐

14:00-17:00

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

熊英飞 北京大学计算机科学技术系新体制长聘副教授

2021725

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

小结


特邀讲者

吕荣聪 香港中文大学

吕荣聪ADL118

讲者简介:吕荣聪,香港中文大学李卓敏计算机科学与工程讲座教授,主要研究领域包括软件可靠性工程、分布式系统、服务计算、云计算,人工智能,以及机器学习等。为软件可靠性工程国际知名专家。在软件可靠性建模,评量、分析与应用上,做出了创造性和全面性的重大贡献。其科研理论和成果在工业界推广应用,包括电信设备、局域网络、Web服务,云计算平台,智能手机。针对软件可靠性“难建模、难探测、难定量、难分析”的关键问题,实现具体解决方案,达成突破性进展。获2018年中国计算机学会海外杰出贡献奖,及第十三届光华工程科学奖。出版学术专著7部,发表论文600篇,谷歌学术引用超过41000次,H-index 100。是全球唯一同时取得ACM Fellow, IEEE Fellow, AAAS FellowIEEE可靠性学会年度工程师,四项重要国际荣誉奖项的研究人员。并于2020年入选「人工智能全球2000位最具影响力学者榜」,在三个领域上榜。同时是CIKM 2019 Test of Time Award and SIGIR 2020 Test of Time Award的共同获奖者。

报告题目:可靠性驱动的智能化运维

报告摘要:近年来,伴随着数字化的应用与服务在各行各业得到广泛的应用,基础的IT系统在容量和复杂性方面不断增长。系统故障变得不可避免,导致服务性能下降甚至服务中断,由此带来严重的系统可靠性隐患。本次报告将回顾我们在构建可靠性驱动的智能化运维框架的经验。针对系统软硬件日志、度量数据、系统拓扑关系、系统告警以及系统工单等原始运维数据,我们通过数据驱动的方式,提出相应的智能化解决方案,以达到异常检测、故障诊断、根因定位以及故障预测等目标,最终增强系统整体可靠性。

谢涛 北京大学

谢涛

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

报告题目:智能化软件工程:趋势和挑战

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


李戈
北京大学

李戈

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

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

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


彭鑫
复旦大学

彭鑫

讲者简介:彭鑫,复旦大学计算机科学技术学院副院长、软件学院副院长、教授、博士生导师。中国计算机学会软件工程专委会副主任,上海市计算机学会青工委主任,《Journal of Software: Evolution and Process》联合主编,《ACM Transactions on Software Engineering and Methodology》编委,《软件学报》编委,《Empirical Software Engineering》编委IEEE软件维护与演化国际会议(ICSME)执委(2017-2020)。主要研究方向包括软件开发大数据分析、智能化软件开发、云原生与智能化运维、泛在计算软件系统等。在ICSEFSEASECSCWICSMESANERRE等软件工程及相关领域高水平国际会议及IEEE/ACM Transactions等国际期刊发表论文80余篇。2016年获得东软-NASAC青年软件创新奖。研究工作获得ICSM 2011最佳论文奖、ACM SIGSOFT杰出论文奖(ASE 2018)、IEEE TCSE杰出论文奖(ICSME 2018/2019/2020)、IEEE Transactions on Software Engineering年度最佳论文奖(2018)。带领复旦大学CodeWisdom研究团队开展软件开发大数据分析平台以及智能化软件开发平台的研究与实践,研究成果在多家大型企业进行了实践应用。

报告题目:基于知识图谱的智能化辅助开发

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


熊英飞
北京大学

熊

讲者简介:熊英飞于2009年从日本东京大学获得博士学位,2009-2011年在加拿大滑铁卢大学工作,2012年加入北京大学,现任新体制长聘副教授。熊英飞的研究兴趣是程序设计语言和软件工程,特别是程序分析、综合和修复。他提出了理论和方法降低程序编写和缺陷修复的代价。比如,基于差别的双向变换框架是最广泛使用的双向变换框架之一,ACS将程序修复技术在公共数据集上的正确率从此前不到40%提升到70%以上。他的工作也被工业界采用,比如新一代Linux内核配置项目、燕云DaaS系统、华为公司等。他是SATE18的程序委员会联合主席,也在ICSEFSEASEISSTA等会议担任PC

报告题目:归纳程序合成技术

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


楼建光
微软研究院

楼

讲者简介:楼建光,现为微软研究院首席研究员,CCF系统软件专委委员。多年来主要从事机器学习和人工智能技术在商业智能(Business Intelligence)数据分析、大规模在线软件系统分析(Software Analytics)等方面的研究与应用工作。研究兴趣包括交互式数据分析机器人、自动数据理解、程序自动生成、大规模在系统智能诊断与运维等方面。多项成果在微软公司的大规模在线系统实践中得到广泛应用,典型案例有Azure中的自动诊断和故障预测系统、微软PowerBI MobileExcel产品中基于自然语言的交互式数据分析功能。部分工作发表在人工智能、自然语言处理、计算机软件、系统及数据挖掘相关的知名国际会议(ACLAAAIIJCAI, EMNLPICSEFSEATCASEKDDICDM等)。

报告题目:基于自然语言的程序生成

报告摘要:能够根据自然语言描述自动生成计算机程序一直是人工智能和计算机软件领域梦寐以求的目标。近年来,深度学习和自然语言处理技术的一些突破,使得基于自然语言的程序自动生成技术取得了长足进步。本报告将先系统地介绍基于自然语言的程序自动生成技术的主要问题、技术路线和方法,然后结合我们自己研究和应用工作分享我们的一些发现和心得。


蒋炎岩
南京大学

蒋

讲者简介:蒋炎岩,南京大学计算机科学与技术系副研究员。主要关注软件分析测试、运行时系统和程序合成方面的研究,曾两次获得ACM SIGSOFT Distinguished Paper Award以及ICSE21的最佳论文奖。蒋炎岩参与了南京大学计算机系统方向教学的实践课程体系设计,并作为江苏省青少年信息学奥林匹克竞赛委员会委员积极参与到科普工作中。

报告题目:软件代码级动态更新技术

报告摘要:实现软件不终止运行的动态更新和无缝演化是一项具有挑战性的研究工作。本报告将介绍代码级动态更新技术发展历程中的多份重要研究工作,包括报告人团队将程序合成技术应用在Java基础服务器程序状态转换中的尝试。报告人团队的这一工作获得了软件工程旗舰会议ICSE21的最佳论文奖。


王千祥
华为公司

王

讲者简介:王千祥,华为公司软件分析实验室主任,中国计算机学会(CCF)软件工程专业委员会副主任。加入华为之前,他是北京大学计算机系教授,博士生导师,在国际软件工程顶级会议FSE, ASE等上面发表学术论文 60余篇,出版专著一部。目前主要开展智能化软件研发的研究,包括代码缺陷检测、代码自动修复、代码智能合并等。

报告题目:智能化的可信软件工程:产业实践和趋势

报告摘要:智能化软件工程近年来得到学术界与产业界的广泛关注,陆续产生了许多相关的技术、原型。本报告结合华为公司的可信软件工程变革,重点介绍利用AI技术提升代码可信性的若干实践与探索,例如静态的代码缺陷检测与修复、代码重构、代码合并、测试用例生成、测试结果分析,等等。报告的最后,还将简单介绍一下与低代码相关的一些实践。


学术主任
谢涛 北京大学

谢涛

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

时间:2021723-25

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

计算所地图

报名须知:

1、报名费:CCF会员2800元,非会员3600元。食宿交通费用自理。根据交费先后顺序,会员优先的原则录取,额满为止。
2、报名截止日期:2021年725日。报名请预留不会拦截外部邮件的邮箱qq邮箱
3、咨询电话:18810669757   邮箱 : adl@ccf.org.cn  

缴费方式:

在报名系统中在线缴费或者通过银行转账

银行转账(支持网银、支付宝):

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

户名:中国计算机学会

账号:110943026510701

请务必注明:姓名+ADL118

报名缴费后,报名系统中显示缴费完成,即为报名成功。

报名方式:请选择以下两种方式之一报名:

1、扫描(识别)以下二维码报名:

ADL118报名二维码

2、点击报名链接报名:https://conf.ccf.org.cn/ADL118