ChinaOSC 2022 以“开源翻新,引领将来”为主题,将汇聚国内外顶级开源专家和开源组织,为参会者呈上一场精彩巨大的业余盛宴。别缺席,等你来,欢送参会报名!
数据驱动的软件智能化开发技术论坛
开源软件社区积攒了大量代码、文档、开发历史等软件开发数据,同时在线软件开发论坛也积攒了大量的软件开发问答信息,这些都为数据驱动的软件智能化开发提供了根底。近些年来,基于开源软件开发大数据的代码举荐与生成、软件开发问答、软件缺陷剖析与修复、开发人员举荐等方面的软件智能化开发技术钻研曾经成为学术界的一个钻研热点,同时也失去了企业的宽泛关注。围绕这一主题,本论坛邀请了多位来自学术界和工业界的专家进行技术报告,同时围绕相干问题发展互动探讨,心愿为数据驱动的软件智能化开发方面的研究者和实践者提供一个交换钻研与实际成绩、理解技术发展趋势的平台。
论坛主席:
彭鑫 复旦大学
彭鑫,复旦大学计算机科学技术学院副院长、软件学院副院长、传授、博士生导师。CCF 卓越会员、软件工程专委会副主任、开源倒退委员会常务委员,《Journal of Software: Evolution and Process》联结主编,《ACM Transactions on Software Engineering and Methodology》编委,《软件学报》编委,《Empirical Software Engineering》编委,IEEE 软件维护与演变国内会议(ICSME)执委(2017-2020)。2016 年取得 NASAC 青年软件创新奖。次要钻研方向包含软件开发大数据分析、软件智能化开发、云原生与智能化运维、人机物交融泛在计算零碎、机器人软件工程等。钻研工作取得 ICSM 2011 最佳论文奖、ACM SIGSOFT 卓越论文奖(ASE 2018/2021)、IEEE TCSE 卓越论文奖(ICSME 2018/2019/2020)、IEEE Transactions on Software Engineering 年度最佳论文奖(2018)。率领复旦大学 CodeWisdom 钻研团队发展软件开发大数据分析以及软件智能化开发与运维方面的钻研与实际,研究成果在多家大型企业进行了实际利用。
论坛日程安排
主题报告 1:
主讲嘉宾:
李戈,北京大学计算机学院长聘传授,CCF 软件工程专委会秘书长
报告人简介:
李戈,北京大学长聘传授,博士生导师,教育部长江学者,CCF 软件工程专委会秘书长。长期聚焦于“基于深度学习的程序了解与程序生成”的钻研,是国内上最早从事该钻研并获得代表性成绩的研究者,在 NIPS, AAAI, IJCAI, ACL, ICSE, ASE, ICPC, TOSEM, TSE, EMSE 等多个会议与期刊发表论文 50 余篇,多篇论文被国内学者认为是“独创成绩”并被宽泛援用。在软件与人工智能畛域的多个国内会议负责程序委员会独特主席与 PC。曾获教育部科技进步一等奖,CCF 科技创造一等奖,北京市科技创造二等奖,中创软件人才奖,并屡次获 ACM 卓越论文奖。科研转化成绩 aiXcoder 为航天畛域的重大工程、金融与 IT 畛域的多家大型企业及数十万国内开发者提供服务。
报告题目:
基于深度学习的程序了解与生成
报告摘要:
程序了解与程序生成是一对相互依存的经典钻研工作。近年来,基于深度学习等人工智能技术的办法,与传统的程序剖析与程序综合办法相结合,针对上述两项工作倒退出了一系列新的解决方案。这也使程序了解与生成问题成为逾越“软件工程”和“人工智能”两个畛域的钻研热点。讲者所在钻研团队是基于深度学习的程序了解与生成畛域的晚期开辟和继续奉献团队。讲者以本身钻研经验为背景,对基于深度学习的程序了解与生成办法的倒退历程和倒退状态进行简要论述,并着重对以后钻研和产业化中存在的问题进行探讨。
主题报告 2:
主讲嘉宾:
周宇,南京航空航天大学传授,CCF 系统软件专委会、软件工程专委会执行委员
报告人简介:
周宇,南京航空航天大学传授,博导。钻研方向为软件工程、分布式计算技术,次要包含智能化软件开发、软件演变剖析和验证、云计算和大数据技术等。CCF 系统软件专委会、软件工程专委会执行委员,江苏省信息技术利用学会常务理事、江苏省计算机学会软件专委会副主任, 江苏省软件工程标准化技术委员会委员。近年来主持国家及省部级我的项目多项, 在国内外重要学术杂志和学术会议, 如 TSE,TOSEM,ICSE,FSE, 中国迷信, 软件学报等发表论文 100 余篇,受权发明专利 10 余项。
报告题目:
基于开源软件的代码正文生成初探
报告摘要:
代码正文生成旨在为代码段主动生成简洁的自然语言形容,从而促成程序了解和软件维护,深度神经网络技术(DNN)是以后代码正文生成的重要途径。报告次要介绍咱们近期在基于开源软件,利用 DNN 技术生成代码正文的一些初步工作进展,次要包含上下文构造信息和代码语义信息的建模、正文品质评估指标的抉择、基于反抗样本的正文生成模型的鲁棒性晋升等方面。
主题报告 3:
主讲嘉宾:
李青山,西安电子科技大学计算机科学与技术学院(国家示范性软件学院)传授、党委书记,CCF 卓越会员、软件工程专委会常务委员、系统软件专委会执行委员、开源倒退委员会执行委员、大数据专委会执行委员。
报告人简介:
李青山,传授,博导,CCF 卓越会员。西安电子科技大学计算机科学与技术学院(国家示范性软件学院)党委书记、智能软件与零碎新技术研究所所长、陕西省智能软件工程科技翻新团队负责人、西安市智能软件工程重点实验室主任、西电软件工程一级学科负责人、教育部省级重点学科“软件工程”学术带头人。曾任学校倒退布局处副处长 / 一流建设工作办公室副主任(主持工作)、研究生院副院长、软件学院副院长。CCF 软件工程专委会常务委员,系统软件专委会执行委员,开源倒退委员会执行委员,大数据专委会执行委员,陕西省计算机学会软件工程专委会副主任。次要从事国产开源软件、软件体系结构、自适应软件演变、智能软件工程、大数据智能化剖析技术等方向钻研工作,主持国家科技部重大研发打算课题、国家 863 重大项目课题、国家自然科学基金重点项目课题、面上我的项目等国家和省部级我的项目五十余项,在 ICSE、ESEC/FSE、《中国迷信》、《软件学报》、《计算机学报》等 CCF A 类会议和软件工程顶级会议期刊发表论文 100 余篇,受权 / 公开国家发明专利 30 余项,获省部级及以上科研 / 教学处分 3 项。
报告题目:
开源环境下的航空航天软件供应链可靠性剖析
报告摘要:
近年来,以航空航天为代表的外围工业畛域高度重视开源软件的继续倒退,踊跃推动国产开源软件的自主建设。开源环境下航空航天软件系统,通过多重依赖关系交错,已造成了盘根错节的软件供应链。然而,航空航天畛域的开源建设倒退刚刚起步,仍面临诸多挑战,例如航空航天畛域对于软件系统可靠性要求极高,在引入开源生态之后,如何进一步保障畛域软件的可靠性。因而,本报告旨在介绍一种基于软件组成成分的开源航空航天软件供应链分析方法,通过探讨航空航天开源软件的依赖形成和组件之间的供给关系,探寻高效精确的可靠性评估伎俩,以确保航空航天要害畛域开源软件的牢靠利用。
主题报告 4:
主讲嘉宾:
彭鑫,复旦大学计算机科学技术学院传授、副院长,CCF 卓越会员、软件工程专委会副主任、开源倒退委员会常务委员,获 2016 年 CCF NASAC 青年软件创新奖
报告人简介:
彭鑫,复旦大学计算机科学技术学院副院长、软件学院副院长、传授、博士生导师。CCF 卓越会员、软件工程专委会副主任、开源倒退委员会常务委员,《Journal of Software: Evolution and Process》联结主编,《ACM Transactions on Software Engineering and Methodology》编委,《软件学报》编委,《Empirical Software Engineering》编委,IEEE 软件维护与演变国内会议(ICSME)执委(2017-2020)。2016 年取得 CCF NASAC 青年软件创新奖。次要钻研方向包含软件开发大数据分析、软件智能化开发、云原生与智能化运维、人机物交融泛在计算零碎、机器人软件工程等。钻研工作取得 ICSM 2011 最佳论文奖、ACM SIGSOFT 卓越论文奖(ASE 2018/2021)、IEEE TCSE 卓越论文奖(ICSME 2018/2019/2020)、IEEE Transactions on Software Engineering 年度最佳论文奖(2018)。率领复旦大学 CodeWisdom 钻研团队发展软件开发大数据分析以及软件智能化开发与运维方面的钻研与实际,研究成果在多家大型企业进行了实际利用。
报告题目:
基于常识图谱的可解释代码举荐
报告摘要:
软件开发人员常常须要通过各种代码搜寻与举荐工具取得可复用的代码单元。现有的钻研工作次要关注于如何进步搜寻与举荐的准确性。然而,为了实现无效的代码复用,开发人员常常须要了解代码背地所蕴含的背景常识和技术决策以及代码本身所暗藏的问题,从而更好地抉择适宜的代码片段并对其进行适应性批改。针对这一问题,咱们尝试对基于常识图谱的可解释代码举荐办法进行了钻研,心愿通过代码中的概念辨认和链接为可复用代码片段提供必要的解释,帮助开发人员了解代码并更高效地进行代码适应性批改。本次报告将在剖析问题背景的根底上介绍咱们以后正在发展的一些钻研工作,并对将来的倒退方向进行瞻望。
主题报告 5:
主讲嘉宾:
董威,国防科技大学计算机学院传授,CCF 形式化办法专委会秘书长,曾获 CCF 首届 NASAC 青年软件创新奖
报告人简介:
董威,国防科技大学计算机学院传授、博士生导师,次要钻研方向为高可信软件、智能化软件开发办法,CCF 形式化办法专委会秘书长。入选教育部新世纪优秀人才反对打算,曾获 CCF 首届 NASAC 青年软件创新奖、霍英东基金会高校青年教师奖等。先后主持国家自然科学基金重大项目课题、国家 863 和 973 课题、国防畛域课题十余项,发表学术论文 70 余篇,出版国家级布局教材两部,相干成绩利用于航空航天、配备管制、自主根底软件等要害畛域。
报告题目:
基于多样化开源资源晋升软件开发智能化
报告摘要:
互联网上已存在包含开源社区在内的各种各样软件相干资源和数据。开源一方面为汇聚群体智慧、协同构建各类软件系统提供便当,另一方面所含大量资源可为进一步提高软件开发智能化水平提供无力反对。互联网和开源社区能够提供代码、文档等累积资源,也可能提供不同技术原理的开源工具、不同畛域背景开发人员等常识起源;可能为软件开发提供历史遗留数据,也能提供无效的即时反馈数据。此外,因为软件开发是教训常识和逻辑推理严密交融的过程,智能化开发还应将数据驱动办法和演绎推导办法有机联合。本报告联合咱们近年来的钻研工作,对如何将多样化资源进行汇聚与交融,以晋升软件开发过程中代码生成、剖析验证等流动的智能化水平进行一些探讨。
主题报告 6:
主讲嘉宾:
楼建光,微软研究院首席研究员
报告人简介:
楼建光,博士,微软研究院首席研究员。多年来次要从事机器学习和人工智能技术在交互式数据分析机器人、程序主动生成、大规模在零碎智能诊断与运维等方面。多项成绩在微软公司的产品中失去广泛应用。局部工作发表在人工智能、自然语言解决、计算机软件、零碎及数据挖掘相干的出名国内会议(NeurIPS,ACL,AAAI,IJCAI,EMNLP,ICSE,FSE,ATC,ASE,KDD,ICDM 等)。
报告题目:
可信赖的程序生成
报告摘要:
随着深度学习技术的飞速发展,借助 CodeX 和 InCoder 等大型模型的弱小性能,主动程序生成技术近年来失去了极大的改良,实现了越来越高的准确性。主动程序生成技术获得了长足进步。然而,对于一个可能在理论编程实际中利用的主动程序生成框架来说,仅仅准确性是不够的。在理论利用中,用户真正须要的是值得信赖的 AI 合作伙伴。对于一个主动程序生成零碎,要取得用户的信赖,它须要具体有健壮性,安全性,公平性,和肯定水平的可解释性,等等。显然,黑盒神经模型不能轻易实现这一点。在这个报告中,我将零碎的介绍一下在基于神经网络大模型的程序生成中的可信赖问题,钻研现状,以及可能的钻研方向。
2022 CCF 中国开源大会(CCF ChinaOSC)拟于 2022 年 8 月 20 日至 21 日在陕西省西安高新国际会议中心召开。大会由中国计算机学会(CCF)和凋谢原子开源基金会主办,CCF 开源倒退委员会、西安电子科技大学承办,本届大会的主题为“开源翻新,引领将来”。
作为第一届 CCF 中国开源大会,本届大会将组织特邀报告、开源高峰论坛、开源倒退委员会路演、社区论坛、技术论坛、教育论坛、开源翻新大赛培训等 20 余个不同类型的流动。大会将邀请 10 余位开源及相干畛域中国科学院院士、中国工程院院士与出名专家,为大会带来特邀报告并加入开源高峰论坛等流动。目前已邀请参会的两院院士与出名嘉宾包含中国科学院院士梅宏,中国工程院院士廖湘科,中国科学院院士王怀民,中国工程院院士孙凝晖,中国科学院院士钱德沛,工信部科技司司长谢少锋,国家卓越自然科学基金获得者、清华大学传授胡事民等。本届大会预计将吸引参会单位超过 100 家,作为中国开源畛域的年度盛会,诚挚地邀请开源畛域学术界、企业界、教育界的学者、从业者、师生等前来参会