paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A Joint Learning Model with Variational Interaction for Multilingual Program Translation

基于变分交互的多语言程序翻译联合学习模型
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 2/10 · 论文研究的是基于变分推断的多语言程序翻译,属于机器学习与程序语言的宽泛交叉,但并未涉及用户核心关注的静态分析、Agentic/LLM 程序分析、LLM/Agent 改进静态分析与形式化验证、浮点程序分析或贝叶斯程序分析。其变分推断虽与贝叶斯方法有关,但应用目标是代码翻译而非程序分析,因此匹配度较低。引用 11 inbox
Yali Du, Hui Sun, Ming Li
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出 VIM-PT,利用变分推断和交互信息解耦语言共享与特有特征,联合训练多语言程序翻译统一模型。

程序常以多种编程语言实现,跨语言程序翻译能降低迁移与开发成本。现有方法多采用双语句对平行数据学习两两翻译,但部分语言对平行数据稀缺,且程序语义跨语言存在分布偏移。本文提出 VIM-PT,一种基于解耦的生成式方法,联合训练面向多语言的统一翻译模型。它将代码表示解耦为语言共享特征和语言特有特征,借助变分推断与交互信息,并推导新的下界,最终通过条件生成完成程序翻译。该方法声称具有四项优势:更准确捕获跨语言共享信息并提升翻译质量,挖掘和利用非平行数据,缓解跨语言程序语义分布偏移,并以统一模型降低部署复杂度。

问题
现有程序翻译方法主要依赖双语句对平行数据学习两两翻译,但部分语言对平行数据难以收集,且程序语义跨语言存在分布偏移,难以扩展到多语言场景。
方法
提出 VIM-PT:一种基于解耦的生成式方法,将代码分离为语言共享和语言特有特征,利用变分推断、交互信息及新下界进行联合训练,并通过条件生成实现多语言程序翻译。
评估
摘要未给出具体数据集与指标,仅报告 VIM-PT 在捕获共享信息、利用非平行数据、缓解语义分布偏移和统一模型部署方面展现出四项优势。
原文摘要(Abstract)

Programs implemented in various programming languages form the foundation of software applications. To alleviate the burden of program migration and facilitate the development of software systems, automated program translation across languages has garnered significant attention. Previous approaches primarily focus on pairwise translation paradigms, learning translation between pairs of languages using bilingual parallel data. However, parallel data is difficult to collect for some language pairs, and the distribution of program semantics across languages can shift, posing challenges for pairwise program translation. In this paper, we argue that jointly learning a unified model to translate code across multiple programming languages is superior to separately learning from bilingual parallel data. We propose Variational Interaction for Multilingual Program Translation (VIM-PT), a disentanglement-based generative approach that jointly trains a unified model for multilingual program translation across multiple languages. VIM-PT disentangles code into language-shared and language-specific features, using variational inference and interaction information with a novel lower bound, then achieves program translation through conditional generation. VIM-PT demonstrates four advantages: 1) captures language-shared information more accurately from various implementations and improves the quality of multilingual program translation, 2) mines and leverages the capability of non-parallel data, 3) addresses the distribution shift of program semantics across languages, 4) and serves as a unified model, reducing deployment complexity.CCS CONCEPTS• Software and its engineering → Automatic programming.

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@inproceedings{abs-2408-14515,
  title = {A Joint Learning Model with Variational Interaction for Multilingual Program Translation},
  author = {Yali Du and Hui Sun and Ming Li},
  booktitle = {ASE},
  year = {2024},
  doi = {10.1145/3691620.3695553}
}