RUSTY: Effective C to Rust Conversion via Unstructured Control Specialization | IEEE Conference Publication | IEEE Xplore