Abstract:Code translation tools (transpilers) are developed for automatic source-to-source translation. Although learning-based transpilers have shown impressive enhancement against rule-based counterparts, owing to their task-specific pre-training on extensive monolingual corpora. Their current performance still remains unsatisfactory for practical deployment, and the associated training resources are also prohibitively expensive. LLMs pre-trained on huge amounts of human-written code/text have shown remarkable performance in many code intelligence tasks due to their powerful generality, even without task-specific training. Thus, LLMs can potentially circumvent the above limitations, but they have not been exhaustively explored yet. This paper investigates diverse LLMs and learning-based transpilers for automated code translation tasks, finding that: although certain LLMs have outperformed current transpilers, they still have some accuracy issues, where most of the failures are induced by a lack of comprehension of source programs, missing clear instructions on I/O types in translation, and ignoring discrepancies between source and target programs. Enlightened by the above findings, we further propose UniTrans, a Unified code Translation framework, applicable to various LLMs, for unleashing their power in this field. Specifically, UniTrans first crafts a series of test cases for target programs with the assistance of source programs. Next, it harnesses the above auto-generated test cases to augment the code translation and then evaluate their correctness via execution. Afterward, UniTrans further (iteratively) repairs incorrectly translated programs prompted by test case execution results. Extensive experiments are conducted on six settings of translation datasets between Python, Java, and C++. Three recent LLMs of diverse sizes are tested with UniTrans, and all achieve substantial improvements.

Context-aware Code Segmentation for C-to-Rust Translation using Large Language Models

Scalable, Validated Code Translation of Entire Projects using Large Language Models

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust

Repository-level Code Translation Benchmark Targeting Rust

Translating C To Rust: Lessons from a User Study

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Compiling C to Safe Rust, Formalized

Leveraging Large Language Model to Assist Detecting Rust Code Comment Inconsistency

Code Translation with Compiler Representations

Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code

CRUST: Towards a Unified Cross-Language Program Analysis Framework for Rust

To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions

Program Decomposition and Translation with Static Analysis

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Exploring and Unleashing the Power of Large Language Models in Automated Code Translation

Towards a Transpiler for C/C++ to Safer Rust

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Rectifier: Code Translation with Corrector via LLMs

Multilingual Code Co-Evolution Using Large Language Models

Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs