13 citations · 13 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
Tianyu Li, Ruishi Li, Bo Wang +3
Translating C to memory-safe languages, like Rust, prevents critical memory safety vulnerabilities that are prevalent in legacy C software. Even with recent LLM-based and tool-augm…
cs.SE2024★ 13 cited
Translating C To Rust: Lessons from a User Study
Ruishi Li, Bo Wang, Tianyu Li +2
Rust aims to offer full memory safety for programs, a guarantee that untamed C programs do not enjoy. How difficult is it to translate existing C code to Rust? To get a complementa…