Automatically Translating C to Rust. - Hong, Jaemin; Ryu, Sukyoung (Communications of the ACM, 2025)