“DARPA program for automatically translating C to idiomatic Rust.”

“DARPA project to convert C code to Rust.”

“DARPA project for automated C to Rust conversion.”

“DARPA program aimed at automating the translation of C code to Rust using AI.”