2 papers
cs.SE2025
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
Jaemin Hong, Sukyoung Ryu
Translating C to Rust is a promising way to enhance the reliability of legacy system programs. Although the industry has developed an automatic C-to-Rust translator, C2Rust, its tr…
cs.SE2024
To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
Jaemin Hong, Sukyoung Ryu
Automatic C-to-Rust translation is a promising way to enhance the reliability of legacy system software. However, C2Rust, an industrially developed translator, generates Rust code…