Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models

HoHyun Sim, Hyeonjoong Cho, Yeonghyeon Go +4

The C programming language has been foundational in building system-level software. However, its manual memory management model frequently leads to memory safety issues. In respons…