1 citations · 2 across the 3 of their papers we have counts for
4 papers · 1 filter
Rust's Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc
Yusung Sim, Sukyoung Ryu, Jaemin Hong
Rust is claimed to be a type-sound language capable of preventing various undesirable behaviors, including memory bugs. However, rustc, the official Rust compiler, is not immune to…
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…
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…
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
Jaemin Hong, Sukyoung Ryu
Concurrent programs suffer from data races. To prevent data races, programmers use locks. However, programs can eliminate data races only when they acquire and release correct lock…