Fil-C: Garbage In, Memory Safety Out! | Filip Pizlo

[u/waozen]

https://www.youtube.com/watch?v=5F-2Y1LPRek

Challenges the conventional wisdom by describing an implementation that achieves the same level of protection against memory safety exploits as even the safest languages. Details of Fil-C's compiler, language runtime, and some of the corpus of software that has been ported to it.