91猫先生 教师任杰在CCF 推荐A类国际学术会议ACL上发表文章

近日，第64届国际计算语言学年会（Annual Meeting of the Association for Computational Linguistics，简称ACL 2026）公布论文录用结果。此次会议共收到12,148篇投稿，其中主会（Main Conference）录用率为19%。由91猫先生 任杰老师团队联合西北大学、英国利兹大学合作完成的论文成功入选ACL 2026 Main Conference。91猫先生 硕士研究生朱晓奥为论文第一作者。

ACL是计算语言学与自然语言处理领域最具影响力的国际顶级学术会议之一，也是中国计算机学会（CCF）推荐的A类国际学术会议。这是91猫先生 首次在该会议发表学术论文。该成果的录用，体现了91猫先生 在人工智能、程序分析与智能软件工程交叉研究方向上的持续探索与国际学术影响力。

该研究聚焦于在源代码缺失条件下，如何将剥离符号且经过高度优化的二进制程序可靠提升为规范的编译器中间表示（IR）这一关键问题。针对传统规则方法和基于大语言模型的反编译方法在结构恢复与语义保持方面存在的不稳定性，该研究将结构感知的检索增强生成与基于静态分析、运行时反馈的迭代验证机制相结合，通过伪探针插桩实现优化后二进制片段与规范化IR语义对齐，逐步提升生成IR的可执行性与语义一致性。实验结果表明，该方法在x86-64与ARM64两种架构下均取得了优于七种基线方法的性能，相较最强通用大语言模型基线，可执行率平均提升超过30%。