Clight2Rust: Translating a Subset of C into Safe Rust with a Small Trusted Runtime.

Dongwen Yao, Jinhua Wu, Yuting Wang

Browse the full TASE paper archive.