collaborators

1 paper

cs.SE2026

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart

Brent Pappas, Joseph Zalusky, Zachary Burkett +1

Modern critical software infrastructure is largely written in C. Since C lacks memory safety, researchers are investigating automatic translation of C to safer languages like Rust.…