collaborators

1 paper

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…