This was featured at PLDI 26 [1].

I'm not yet convinced that the issue of C's unsafety is better solved by translating it to Rust rather than using Fil-C [2].

https://pldi26.sigplan.org/program/program-pldi-2026/

https://fil-c.org/