RUSTY: Effective C to Rust Conversion via Unstructured Control Specialization. - Xiangjun Han; Baojian Hua; Yang Wang; Ziyao Zhang (QRS Companion, 2022)