@misc{indiciaefade1284575b,
  title = {SpeC2Rust: Specification-Driven Repository-Level C-to-Rust Translation},
  author = {Junjie Yao and Xiongzheng Guan and Jia Feng and Yujia Chen and Hongliang Tian and Cuiyun Gao},
  year = {2026},
  url = {https://arxiv.org/abs/2610.34141},
  note = {Source identifier: 2610.34141}
}