DARPA suggests turning old C code automatically into Rust – using AI, of course(theregister.com)

30 points by jdblair 2 years ago | 39 comments

Automatically Translating C to Rust(cacm.acm.org)

97 points by FromTheArchives 1 year ago | 66 comments

Compiling C to Safe Rust, Formalized(arxiv.org)

268 points by love2read 1 year ago | 118 comments

How memory safety CVEs differ between Rust and C/C++(kobzol.github.io)

120 points by nicoburns 4 months ago | 119 comments

Canonical Backs New Project to Translate Large C Codebases into Safe Rust(linuxiac.com)

27 points by datakan 2 months ago | 20 comments

Compiling Rust to readable C with Eurydice(lwn.net)

127 points by peter_d_sherman 16 days ago | 37 comments

LWN article describing Eurydice, a project that compiles Rust code into readable C for use with verification tools and platforms lacking a Rust compiler.