C2RustTV: An LLM-based Framework for C to Rust Translation and Validation.

Han Zhou, Yu Luo, Mengtao Zhang, Dianxiang Xu

Browse the full COMPSAC paper archive.