TY - RPRT TI - SpeC2Rust: Specification-Driven Repository-Level C-to-Rust Translation AU - Junjie Yao AU - Xiongzheng Guan AU - Jia Feng AU - Yujia Chen AU - Hongliang Tian AU - Cuiyun Gao PY - 2026 UR - https://arxiv.org/abs/2610.34141 ID - 2610.34141 ER -