55 citations · 81 across the 7 of their papers we have counts for
1 paper · 1 filter
Zhiqiang Yuan, Wenjun Mao, Zhuo Chen +4
Translating C code into safe Rust is an effective way to ensure memory safety. Compared to rule-based approaches, which often produce largely unsafe Rust code, LLM-based methods ge…