蚂蚁集团与南京大学合作论文被软件工程领域旗舰顶会 ICSE 2025 接收

主要观点总结

本文主要介绍了2025年IEEE/ACM国际软件工程会议的内容，包括会议的时间、地点以及被收录的论文情况。文章还介绍了蚂蚁集团程序分析团队与南京大学合作的关于数据驱动且跨语言程序分析的论文，该论文提出采用数据驱动方式，使用Datalog表示方法统一表征基于不同程序语言所编写的软件服务。此外，文章还介绍了CodeFuse-Query系统的设计理念、技术特点和在生产环境中解决的具体问题。

关键观点总结

关键观点1: IEEE/ACM国际软件工程会议（ICSE）

介绍会议的时间、地点以及被收录的论文情况。

关键观点2: 数据驱动且跨语言程序分析的论文

蚂蚁集团程序分析团队与南京大学合作的论文提出采用数据驱动方式，使用Datalog技术实现跨语言程序分析，解决软件故障的主要原因之一——代码变更影响分析的问题。

关键观点3: CodeFuse-Query系统

该系统通过融合领域优化系统设计和逻辑导向计算设计，支持每天扫描超过 100亿行代码，并执行 300多种不同任务。它解决了多语言支持、增量数据模型生成、简化程序分析任务定义等问题，并在蚂蚁集团多个场景中得到应用。

免责声明