学术论坛

软件工程研究与实践论坛

2022年11月25日(8:30-12:30,14:00-18:00)



论坛简介

本次论坛聚焦软件工程前沿理论突破和相关技术在行业中的实践应用。在这数字化和软件定义一切的时代,软件已经成为了重要的基础设施。软件工程的前沿理论和技术实践需要不断的突破,以提升软件工程能力和软件开发的效率,从而适应频繁变化的应用需求和动态多变的应用场景。当前华为公司拥有近千亿行代码量的海量软件资产,支撑了ICT产品、终端、云、车等诸多领域的软件产品。复杂多变的软件形态和海量的软件开发数据对华为软件工程能力提出了重大的挑战。本次论坛拟邀请华为软件工程技术专家和学术界软件工程领域的杰出学者,从软件供应链、开源软件、智能化软件工程、软件测试等多个研究方向探讨软件工程的前沿研究和业界实践。

上午场:
📢 【腾讯会议号】  652706722
📢 【直播链接】【点击观看视频直播】
📢 【B站直播】【点击观看B站直播】
下午场:
📢 【腾讯会议号】  652706722
📢 【直播链接】【点击观看视频直播】
📢 【B站直播】【点击观看B站直播】

论坛日程

时间 报告题目 嘉宾
8:30-9:15 复杂嵌入式软件系统需求投影和基于模式的规约 金芝(北京大学)
9:15-10:00 程序设计语言与软件生存期 徐宝文(南京大学)
10:00-10:45 软件资产管理:从无序到有序 夏鑫(华为)
10:45-11:00 休息
11:00-11:30 软件成长理论初探与技术进展 许畅(南京大学)
11:30-12:00 智能化开发者测试:现状以及挑战 王少华(华为)
12:00-12:30 开源软件供应链风险分析与治理 陈碧欢(复旦大学)
14:00-14:30 开源生态的挑战和建设 周明辉(北京大学)
14:30-15:00 软件设计工程初步探索 邱栋(华为)
15:00-15:30 智能化软件重构 刘辉(北京理工大学)
15:30-15:45 休息
15:45-16:15 程序分析:演进与融合 周迪之(华为)
16:15-16:45 静态程序分析框架“太阿”的设计之道 李樾(南京大学)
16:45-17:15 Clean Code 2.0: 进展与挑战 刘逵(华为)
17:15-17:45 软件开发中的代码智能 胡星(浙江大学)

论坛嘉宾




1.论坛嘉宾:金芝(北京大学)

报告题目:复杂嵌入式软件系统需求投影和基于模式的规约

摘要: 随着物联网技术的发展,嵌入式软件系统正变得越来越复杂,相比于一般软件系统,复杂嵌入式系统典型具有任务意图强相关、物理设备强依赖以及执行逻辑交织等特征,如何系统化地提取和表示系统设计意图,模式化地解耦和精化需求问题,最后通过分析获得可操作化的细粒度软件需求,是解决复杂嵌入式软件系统高效开发(自动生成)的瓶颈问题。本报告以基于环境建模的需求工程方法为指导,系统化构建嵌入式软件系统的需求模式,提出基于投影的嵌入式软件系统需求规约方法,实现从任务意图到嵌入式软件需求的变换,本报告还将介绍该方法在具体案例上的实践。

简介: 金芝,北京大学教授,高可信软件技术教育部重点实验室常务副主任,国家杰出青年科学基金获得者,中国计算机学会会士。兼任国务院学位委员会学科评议组成员(软件工程),中国计算机学会常务理事,中国计算机学会系统软件专业委员会主任,中国人工智能学会知识工程与分布智能专委会副主任。长期从事软件工程和知识工程的研究,先后担任973项目首席科学家,国家重点研发计划专项和国家自然科学基金委重点项目等的项目负责人。曾获教育部科技进步一等奖、CCF技术发明一等奖、北京市技术发明二等奖、CCF杰出成就(夏培肃)奖、IEEE TCSVC 杰出领导力奖、中创软件人才奖等。发表论文两百余篇,4次获得 ACM Distinguished Paper Awards,出版专著3部。任《软件学报》执行主编,《计算机学报》副主编,JCST领域编委,以及IEEE TSE、IEEE TR、ACM TAAS、EMSE及RE等的编委。





2.论坛嘉宾:徐宝文(南京大学)

报告题目:程序设计语言与软件生存期

摘要: 程序设计语言是软件开发的核心工具。本报告主要探讨程序设计语言对软件开发、测试与维护各阶段以及软件质量的作用、影响以及程序设计方法、软件开发、测试与维护各阶段对程序设计语言设计与演化的影响,讨论软件生存期各阶段之间的相互作用。

简介: 徐宝文,南京大学教授;国家杰出青年科学基金获得者,中国计算机学会会士、信息系统专委会名誉主任。1990年与1994年分别破格晋升副教授与教授。国内外三十多所大学的兼职教授与客座教授。1980年代开始并坚持从事程序设计语言及相关领域的研究,是我国程序分析、软件度量、软件测试领域研究的主要开拓者。发表论文400余篇,被50多个国家和地区学者引用与采用10000余次,作为第一完成人获得省部级科技进步(自然科学)一等奖四次、二等奖6次、三四等奖若干次。1990年开始指导硕士生,1995年评为博士生导师。已指导博士后15人、博士生60余人。所指导的学生10多人次获得全国百篇优秀博士论文(全国软件工程学科第一篇百优博士论文)、中国计算机学会青年科学家奖、微软学者奖、江苏省优秀博士论文、江苏省优秀硕士论文、江苏省优秀本科毕业论文一等奖等。





3.论坛嘉宾:夏鑫(华为)

报告题目:软件资产管理:从无序到有序

摘要: 现代软件工程累积了海量软件资产,例如代码、文档、模型、第三方库等。如何管理这些资产越来越成为一大挑战。但是纵观业界,当前缺少对软件资产的定义以及软件资产如何从无序迈向有序管理的理论、方法和技术。而对资产的有序管理是对资产的复用(例如智能化软件工程能力)起到关键的决定作用。本次报告总结我们在软件资产管理的一些初步思考和探索以及我们遇到的挑战。以开源软件资产管理为例,汇报当前我们在软件物料清单(SBOM)、软件过程元数据、漏洞工程能力和防投毒风控等方面的进展,并初步畅想软件资产管理的未来。

简介: 夏鑫,目前担任华为软件工程应用技术实验室主任,软件工程应用技术科学家和首席专家。 他的研究方向是智能化软件工程、软件仓库挖掘和经验软件工程。夏鑫至今发表了270多篇期刊和会议论文,其中包括98篇CCF A类期刊和会议长文, Google Scholar引用9700多次,H-index 55。夏鑫获得了2022年ACM SIGSOFT Early Career Researcher Award,部分论文获得国际会议最佳/杰出论文奖项,其中连续四年获得软工顶会ASE 2018-2021的杰出论文奖。此外他担任了MSR、SANER、PROMISE等会议的Steering Committee,多个国际会议的PC (ICSE,ESEC/FSE, ASE等),多个期刊的编委(EMSE、JSEP等),以及参与组织了多个国际会议(ICSE 2023和2024, ASE 2020-2021, SANER 2019-2020和2023等)。在华为,夏鑫主要主导软件工程前沿技术突破,构建下一代软件工程自主技术栈,致力于提升公司软件工程能力,提高开发人员研发效率,保证软件高可信,提高软件竞争力。更多信息在https://xin-xia.github.io/





4.论坛嘉宾:许畅(南京大学)

报告题目:软件成长理论初探与技术进展

摘要: 报告将汇报我们在软件可成长性理论与自成长技术方面的一些思考与进展,并结合软件成长过程中的泛在感知、适应合成、持续演化和生态保障等需求,介绍几项具体的挑战问题和相应的解决方案,例如,如何保障软件执行环境的一致性、如何合成跨场景程序的新代码、如何生成程序运行时状态的转换函数、以及如何保障软件生态的健康成长等,最后介绍更广阔范围内的软件自成长技术的最新进展。

简介: 许畅,南京大学计算机科学与技术系教授、博士生导师。从事开放环境软件质量保障理论、方法与技术研究,着重关注开放环境软件的环境感知一致性、开放运行确定性、以及质量保障持久性。国家级人才计划入选者,曾获科技部重点研发计划课题和基金委重点项目等资助;在TOSEM、TSE、ICSE、ESEC/FSE和《中国科学》等国内外重要期刊和会议上发表论文多篇,获ACM SIGSOFT杰出论文奖四次、ACM Europe Council最佳论文奖、国家科学进步二等奖、CCF青年科学家奖和中创软件人才奖等。





5.论坛嘉宾:王少华(华为)

报告题目:智能化开发者测试:现状以及挑战

摘要: 报告从开发者测试的演进切入,梳理了学术界、工业界在该领域前进脉络。基于热点领域展开开发者测试的所面临的技术挑战与未来有可能的发展趋势

简介: 王少华,华为软件教练,技术专家。他长期主要从事软件工程领域研究。他的研究重点主要通过结合软件工程,语言设计,人工智能等领域来研究如何有效的高效的帮助程序员开发出安全的,高性能的,高质量的软件. 具体研究课题例如代码补全/推荐/生成, AI-assisted program analysis, Representation Learning, Bug/Fault localization, Program Repair, Bug and Vulnerability Detection, Web API, 可解释AI等. 主要研究成果发表于软件工程和程序设计领域顶会,例如ICSE, FSE, ASE, OOPLSA等. 长期作为Top会议和期刊审稿人: FSE, ASE, MSR, TSE, TSC, TOSEM, JSS, EMSE, IST等。





6.论坛嘉宾:陈碧欢(复旦大学)

报告题目:开源软件供应链风险分析与治理

摘要: 每个软件产品几乎都有复杂的开源软件供应链。然而,开源软件供应链上的任何一个开源软件都有可能存在安全漏洞、许可证、兼容性等问题,严重提高了软件产品使用开源软件的风险。针对开源软件供应链风险问题,本报告将概述我们的供应链风险分析与治理框架,并具体介绍1)调用图构建优化,实现风险分析使能技术的增强;2)开源软件安全漏洞知识库构建,实现安全分析与治理的赋能;3)开源软件安全漏洞影响分析,量化开源软件安全漏洞对软件产品的风险及规避代价。

简介: 陈碧欢,复旦大学计算机科学技术学院副教授,博导。目前的主要研究方向是软件供应链分析、可信AI系统工程。作为课题负责人和技术骨干参加科技创新2030-“新一代人工智能”重大项目、国家自然科学基金项目;承担多项企业合作项目。至今已在ICSE、FSE、ASE、ISSTA、S&P、SEC、CCS、TSE、TIFS等顶级国际会议和期刊上发表研究论文30余篇,并获得了3次ACM SIGSOFT杰出论文奖(FSE2016、ASE2018、ASE2022)、以及1次IEEE TCSE杰出论文奖(ICSME2020)。





7.论坛嘉宾:周明辉(北京大学)

报告题目:开源生态的挑战和建设

摘要: 开源模式以理想主义为源起,以互联网为载体,有效汇聚用户创新和群体智慧,开发了无数优秀开源软件,进而以商业化为蓬勃助力,为产业和社会带来了巨大机会。中国从开源受益,也正在以开源为手段发展产业,但其最大的挑战是生态的形成和持续。报告介绍开源生态的现状和挑战,讨论生态建设的重要维度,以及产学研可以做的贡献。

简介: 周明辉,北京大学计算机学院教授,北大博雅特聘教授,国家杰出青年基金获得者,CCF开源发展委员会副主任。主要研究方向是软件工程、数据挖掘、智能推荐和开源开发。在国际顶级期刊和会议等发表80多篇论文,多次获国际会议优秀论文和ACM SIGSOFT杰出论文奖。入选2012年教育部新世纪优秀人才计划;获2015年中创软件人才奖。两次获国家技术发明二等奖。多次担任国际顶级会议ICSE、FSE和ASE的PC,是ASE 2024 PC Co-Chair等。是著名国际期刊EMSE、JSS、IST及JSME等的编委。主持制定了首个中英双语开源许可证“木兰宽松许可证”并获得OSI认证,被~10万个开源项目采纳。





8.论坛嘉宾:邱栋(华为)

报告题目:软件设计工程初步探索

摘要: 软件设计是华为公司当前比较活跃的话题,在变革中也面临着众多的挑战。软件设计的好坏,对于软件开发效率的提升、软件质量的看护及软件系统的可持续演进起到至关重要的作用。本报告旨在介绍软件设计工程的整体思路和研究进展,并结合产品实践分享我们在这个领域的初步探索。

简介: 邱栋,华为公司软件工程应用技术实验室技术专家,主要负责软件设计、架构分析等方向的研究和应用工作。博士毕业于东南大学,加州大学戴维斯分校访问学者,在ESEC/FSE, ICSME, ACM Computing Surveys等会议期刊上发表多篇论文,研究方向包括软件架构分析、缺陷自动修复、智能化软件工程等





9.论坛嘉宾:刘辉(北京理工大学)

报告题目:智能化软件重构

摘要: 软件重构(Software Refactoring)是提高软件质量,尤其是软件可维护性和可理解性的一个重要手段。最近二十年,软件重构的相关研究取得了一系列的重要突破,在工业界也获得了大范围的成功应用。自动化的软件重构支持已经成为IDEA、Eclipse、Visual Studio等主流IDE的标配功能。本报告重点介绍近年来智能化软件重构方面的研究工作,尤其是在code smell检测与重构方案推荐方面的研究进展。

简介: 刘辉,北京理工大学计算机学院教授,CCF 杰出会员,软件工程专委会常务委员。长期从事软件质量保障和智能软件开发方面的研究和教学工作。相关研究工作获得国家自然科学基金青年、面上及重点项目的资助。发表CCF A类论文二十余篇,曾获得2016 IET Premium Award、RE’2021 最佳论文奖以及ICSE 2022杰出论文奖。





10.论坛嘉宾:周迪之(华为)

报告题目:程序分析:演进与融合

摘要: 报告从程序分析技术的演进切入,梳理了学术界、工业界在该领域前进脉络。基于真实世界的应用场景,总结了程序分析技术在动静态结合、大规模代码、异构计算平台等热点领域所面临的技术挑战与未来发展趋势

简介: 周迪之,程序分析技术专家。加拿大University of New Brunswick计算机科学博士,曾荣获2014年加拿大博士毕业生最高荣誉Governor General's Gold Medal,UNB大学最佳博士论文奖,IEEE CCNC 2013最佳学生论文奖,国家自然科学基金委海外优秀留学生奖学金,南京航空航天大学2019年国际暑期课程受邀讲师,出版有《开源网络模拟器ns-3:架构与实践》一书





11.论坛嘉宾:李樾(南京大学)

报告题目:静态程序分析框架“太阿”的设计之道

摘要: 近年来,静态程序分析已成为保障软件安全可信以及高效性的关键技术之一。 该报告将简要介绍Java静态程序分析框架“太阿”的设计理念、基本方法以及核心组成。

简介: 李樾,南京大学计算机科学与技术系副教授,博士生导师,入选国家级青年人才计划、南京大学登峰人才计划,南京大学紫金学者。2016年博士毕业于澳大利亚新南威尔士大学, 之后先后在新南威尔士大学与丹麦奥胡斯大学从事博士后研究工作。 研究方向为程序设计语言与程序分析,在程序设计语言相关国际期刊与会议,TOPLAS、PLDI、OOPSLA、ECOOP等发表文章。 曾获ECOOP杰出论文奖,CGO最佳论文奖,曾担任APLAS、ISSTA等会议程序委员会成员,TOPLAS、PACMPL(POPL) 等期刊审稿人。





12.论坛嘉宾:刘逵(华为)

报告题目:Clean Code 2.0: 进展与挑战

摘要: 在华为,我们开发了一个完整的系统来支持开发人员编写Clean Code,包括编码指南和规约、Clean Code检查工具和Committer机制。我们还定义了一些严格的规则,例如,函数/方法的LOC应小于50,开发人员在发布版本之前遵循这些规则。然而,目前的Clean Code系统增加了开发人员在日常活动中的工作量,我们使用的自动化工具面临许多技术挑战,例如,我们的静态分析工具报告了许多误报,并存在漏报。为了激发开发人员编写Clean Code的热情,并使用先进的软件工程技术来赋能开发人员和Committer,我们提出了下一代Clean Code,即Clean Code 2.0。在这次报告中,我将介绍我们目前在开发Clean Code 2.0系统方面的进展和挑战。与Clean Code 1.0不同,Clean Code 2.0从代码规范性、代码正确性和代码可演进性(即确保代码与架构的一致性)三个方面评估代码质量。

简介: 刘逵,华为2012实验室软件工程应用技术实验室智能化软件工程技术专家,CCF会员。2019年毕业于卢森堡大学获得博士学位;2020年加入南京航空航天大学计算机科学与技术学院,聘为副教授;2021年12月加入华为2012实验室软件工程应用技术实验室,主要负责软件分析、软件测试、代码智能等智能化软件工程应用技术的研究。在软件工程领域累计发表30余篇高水平研究论文;担任国际权威期刊IEEE TSE, ACM TOSEM, EMSE的审稿人。





13.论坛嘉宾:胡星(浙江大学)

报告题目:软件开发中的代码智能

摘要: 近年来,智能化软件工程成为软件工程领域的热点问题,利用深度学习等技术可以有效的学习代码的语义和结构表示,从而提升机器理解代码和生成代码的能力。智能化软件工程技术研究极大的推动了开发人员的开发效率,同时提高了软件质量。报告从开发人员的日常软件开发视角为出发,介绍近年来在软件开发中的代码智能技术研究进展。

简介: 胡星,博士,浙江大学软件学院特聘研究员,硕士生导师,CCF软件工程专委会委员。主要研究方向为智能化软件工程,程序理解、软件仓库挖掘。在TOSEM、ICSE、ASE和EMSE等高水平会议和期刊上发表论文10多篇。主持国家自然科学基金专项培育项目,参与国家重点研发计划等多个科研项目。获得 ICPC 2018 ACM SIGSOFT Distinguished Paper Award。担任国际级顶级期刊(TSE、EMSE)审稿人,受邀担任国际会议MSR Data and Tool Showcase Track, ICSE Demo、SANER的程序委员会成员



论坛主席





1.论坛主席:夏鑫(华为)

简介: 夏鑫,目前担任华为软件工程应用技术实验室主任,软件工程应用技术科学家和首席专家。 他的研究方向是智能化软件工程、软件仓库挖掘和经验软件工程。夏鑫至今发表了270多篇期刊和会议论文,其中包括98篇CCF A类期刊和会议长文, Google Scholar引用9700多次,H-index 55。夏鑫获得了2022年ACM SIGSOFT Early Career Researcher Award,部分论文获得国际会议最佳/杰出论文奖项,其中连续四年获得软工顶会ASE 2018-2021的杰出论文奖。此外他担任了MSR、SANER、PROMISE等会议的Steering Committee,多个国际会议的PC (ICSE,ESEC/FSE, ASE等),多个期刊的编委(EMSE、JSEP等),以及参与组织了多个国际会议(ICSE 2023和2024, ASE 2020-2021, SANER 2019-2020和2023等)。在华为,夏鑫主要主导软件工程前沿技术突破,构建下一代软件工程自主技术栈,致力于提升公司软件工程能力,提高开发人员研发效率,保证软件高可信,提高软件竞争力。更多信息在https://xin-xia.github.io/






2.论坛主席:胡星(浙江大学)

简介: 胡星,博士,浙江大学软件学院特聘研究员,硕士生导师,CCF软件工程专委会委员。主要研究方向为智能化软件工程,程序理解、软件仓库挖掘。在TOSEM、ICSE、ASE和EMSE等高水平会议和期刊上发表论文10多篇。主持国家自然科学基金专项培育项目,参与国家重点研发计划等多个科研项目。获得 ICPC 2018 ACM SIGSOFT Distinguished Paper Award。担任国际级顶级期刊(TSE、EMSE)审稿人,受邀担任国际会议MSR Data and Tool Showcase Track, ICSE Demo、SANER的程序委员会成员






3.论坛主席:鲍凌峰(浙江大学)

简介: 鲍凌峰,浙江大学计算机科学与技术学院副教授。研究方向为软件工程,包括人因软件工程、软件仓库挖掘、经验软件工程等。已在软件工程高水平会议和期刊ICSE、FSE、ASE、TSE、TOSEM等发表论文近40篇。受邀担任ASE、ICSME、SCAM、QRS等国际学术会议程序委员,以及TSE、TOSEM、EMSE等国际期刊的审稿人。






4.论坛主席:王少华(华为)

简介: 王少华,长期主要从事软件工程领域研究。他的研究重点主要通过结合软件工程,语言设计,人工智能等领域来研究如何有效的高效的帮助程序员开发出安全的,高性能的,高质量的软件. 具体研究课题例如代码补全/推荐/生成, AI-assisted program analysis, Representation Learning, Bug/Fault localization, Program Repair, Bug and Vulnerability Detection, Web API, 可解释AI等. 主要研究成果发表于软件工程和程序设计领域顶会,例如ICSE, FSE, ASE, OOPLSA等. 长期作为Top会议和期刊审稿人: FSE, ASE, MSR, TSE, TSC, TOSEM, JSS, EMSE, IST等。