Validated Code Translation for Projects with External Libraries

Hanliang Zhang, Arindam Sharma, Cristina David +5

Large Language Models (LLMs) have shown promise for program translation, particularly for migrating systems code to memory-safe languages such as Rust. However, existing approaches…