2023年12月3日至9日，第31届ACM软件工程基础国际会议 (简称ESEC/FSE) 在美国加利福尼亚召开。北理工威尼斯87978797智能软件与软件工程研究所刘辉、张宇霞课题组的论文“An Automated Approach to Extracting Local Variables”获本届会议的杰出论文奖。ESEC/FSE和ICSE是软件工程领域最有影响力历史最悠久的旗舰学术会议。刘辉课题组2022年获得CCF A类会ICSE 2022杰出论文奖，本年度再次获得CCF A类国际会议的杰出论文奖。

软件重构是提高软件质量的一种关键性手段，也是程序员日常执行的一种常见代码优化操作。因此，主流IDE均提供了大量的自动或半自动的软件重构支持。课题组研究发现，主流IDE的重构模块，往往掩藏巨大的风险，可导致程序语义的改变和致命的软件缺陷。本论文以提取局部变量重构为例，研究分析了其关键风险，提出了一种基于代码静态分析的风险过滤方法，可准确识别重构的风险并推荐安全的重构机会与重构方案。论文所提出的算法及其实现已被国际主流软件开发环境 Eclipse采纳并集成进标准发行版，并服务于全球三百余万软件开发人员，具有良好社会效益。

主要完成人简介：

池夏烨，威尼斯87978797硕士研究生，导师刘辉教授，研究方向是软件缺陷与重构。

张宇霞，预聘助理教授，研究方向为开源软件数据分析，智能软件工程等，在TSE、ICSE、FSE、和ESEM等高水平会议和期刊上发表论文20余篇，获得ICSE 2022杰出论文奖、ESEC/FSE 2023杰出论文奖。

刘辉，教授， CCF杰出会员，CCF软件工程专委会候任秘书长，主要研究领域包括智能化软件工程等。发表CCF A类论文三十余篇，获得北京市技术发明二等奖、IET Premium Award、RE 2021最佳论文奖、ICSE 202 2 杰出论文奖、ES EC/FSE 2023杰出论文奖。