ChinaSoft 论坛巡礼 | 软件缺陷的自动发现与修复

2022年CCF中国软件大会（CCF ChinaSoft 2022）将于2022年11月25-27日在上海国际会议中心举行。预期将有林惠民、陈左宁、邬江兴、何积丰、梅宏、吕建、柴洪峰、王怀民、郑纬民、蒋昌俊等10余位院士莅临。

本次大会主题是“聚焦产教研用协同创新，提升关键软件供给能力”，包括学术、工业、教育等论坛活动40余场，期待您的参与！

目前大会火热报名中！在2022年10月20日前注册付费，锁定优惠权益。

点击文末“阅读原文”进入官方注册通道(可预订住宿)：

https://conf.ccf.org.cn/chinasoft2022

✦  +

+

论坛巡礼

本文特别介绍将于11月25日举办的【软件缺陷的自动发现与修复】技术论坛。

论坛名称：软件缺陷的自动发现与修复

时间: 2022年11月25日上午8:30-12:30

论坛简介：

软件在现代计算机科学中发挥着越来越重要的作用，是支撑现代信息系统高速发展的基石。存在缺陷的软件可能对国民经济和人民生活造成重大威胁。然而，软件缺陷在软件开发过程中是不可避免的，尤其是随着软件系统的复杂性和规模的迅速增加，发现和调试软件缺陷给开发人员带来了巨大的负担。因此，研究和开发自动化技术来辅助开发人员完成这些任务以确保软件质量至关重要。在过去的几十年中，自动发现缺陷是一个长期存在且具有挑战性的研究课题。如何提高其有效性和效率是使其满足实际使用要求的根本挑战。最近十多年，自动故障定位和程序修复的研究兴趣也在迅速增长，这有望使开发人员从繁重的调试任务中解脱出来。然而，由于大型软件系统的复杂性和异构性，如何精确定位错误代码并生成有意义的补丁依然面临重大的挑战。

软件缺陷的自动发现与修复论坛旨在为国内相关领域的研究学者与从业人员提供展示最新尝试和研究成果的机会，探讨高效的软件质量保障技术、以及未来的研究方向。

日程安排

Schedule

论坛组织者

Forum Organizer

姜佳君

天津大学智能与计算学部副研究员、硕士生导师，CCF会员、CCF软件工程专委委员。

2015年毕业于西北工业大学计算机学院获得学士学位，2020年毕业于北京大学软件研究所获得博士学位。主要研究领域为软件测试与分析，包括软件缺陷自动定位、缺陷自动修复、深度学习系统调试和程序变换等。相关研究成果主要发表在软件工程领域高质量会议和期刊上，包括软件工程领域CCF-A旗舰会议ICSE、ESEC/FSE、ISSTA和ASE等。2021年获得IEEE TCSE杰出论文奖。多次受邀担任领域权威期刊的审稿人，包括TSE、TOSEM、EMSE和STVR等；受邀担任ICSE’24、SANER’23、ISSRE’22、ASE’21等多个国际学术会议的程序委员会成员和session主席。担任ISSTA 2019志愿者主席、2022年中国软件大会专刊编委。

王博

北京交通大学计算机学院讲师、硕士生导师、中国计算机学会(CCF)会员、CCF系统软件专委执行委员。

本科、硕士和博士分别毕业于中南大学、中国科学技术大学和北京大学，并于2019年访问新加坡国立大学计算机学院。主要研究方向为软件质量保障，具体兴趣主要利用软件分析、验证、调试、测试等手段来发现或修复缺陷，相关工作已发表在ASE、ISSTA、TOSEM、软件学报等国内外软件工程方向的CCF-A类会议期刊。并在ISSTA’17会议上获得ACM SIGSOFT Distinguished Paper Award。受邀担任IEEE TDSC、IET Software、JSME等期刊审稿人，以及ASE’21 Artifacts Evaluation、ICST’23等会议的程序委员会委员。

文明

华中科技大学网络空间安全学院副教授，硕士生导师/博士生导师，CCF会员，CCF系统软件专委通讯委员。

2014年从浙江大学计算机科学与技术学院获得本科学位，2019年6月在香港科技大学计算机科学与工程学院取得博士学位，师从张成志教授。2017年7月至2018年1月，在美国加州大学戴维斯分校苏振东教授课题组担任访问学者。2019年6月至2019年11月，在香港科技大学全职任职博士后研究员。2019年12月，加入华中科技大学网络空间安全学院，聘为副教授。主要研究领域为软件测试与分析，缺陷定位与修复，软件供应链安全等，在计算机软件工程领域累计发表30余篇高质量的论文。常年担任国际权威期刊IEEE TSE，ACM TOSEM，IEEE TDSC的审稿人，并被邀请担任CCF-A类会议IEEE/ACM ASE 2021，ACM ESEC/FSE 2022的程序委员会委员，并于2021年获批第七届中国科协青年人才托举工程计划。

刘逵

华为2012实验室软件工程应用技术实验室智能化软件工程技术专家，Clean Code首席架构师，CCF会员。

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

刘辉

北京理工大学计算机学院教授，CCF 杰出会员，软件工程专委会常务委员。

长期从事软件质量保障和智能软件开发方面的研究和教学工作。相关研究工作获得国家自然科学基金青年、面上及重点项目的资助。发表CCF A类论文二十余篇，曾获得2016 IET Premium Award、RE 2021 最佳论文奖以及ICSE 2022杰出论文奖。

论坛嘉宾

Forum Guest

熊英飞

北京大学计算机学院新体制长聘副教授，硕士生导师/博士生导师，CCF会员，CCF软件工程/形式化专委执行委员。

2009年从日本东京大学获得博士学位，2009-2011年在加拿大滑铁卢大学工作，2012年加入北京大学，现任新体制长聘副教授。熊英飞的研究兴趣是程序设计语言和软件工程，特别是程序合成、修复和分析。他提出了理论和方法降低程序编写和缺陷修复的代价。比如，基于差别的双向变换框架是最广泛使用的双向变换框架之一，概率和逻辑结合的程序合成框架玲珑框架将程序修复的正确率从此前不到40%提升到80%以上。他的工作也被工业界采用，比如新一代Linux内核配置项目、燕云DaaS系统、华为公司等。他获得CCF-IEEE CS青年科学家奖、MODELS十年最有影响力论文奖，5次获得ACM SIGSOFT/IEEE TCSE杰出论文奖。他是SATE18的程序委员会联合主席，也在ICSE、FSE、ASE、ISSTA等会议担任PC。

报告题目：

程序缺陷修复：历史与展望

报告摘要：

过去十五年是程序自动修复蓬勃发展的十五年。在学术界，程序缺陷修复从确定问题定义开始，逐步成为软件工程领域被研究得最多的问题之一。在工业界，程序缺陷修复技术走出实验室，在多家大型企业得到落地和应用。这十五年也是中国学术界从追随转变为并跑的十五年，在程序修复领域我们也能见证中国学者和企业发挥着越来越多的重要作用。在本报告中，我将回顾这一历程，包括从全球范围来看程序修复的发展历程，以及由中国学术界和工业界做出的多项重要贡献。最后，我将展望程序缺陷修复未来的发展方向。