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].

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://pldi26.sigplan.org/program/program-pldi-2026/ https://fil-c.org/ https://fil-c.org/