12K subscribers • 8 videos on Hallway
Advanced. Deep dive for people who know the field.
38K views3 months ago3 recommendations
Systems programmingSecurityCCompilers and interpretersMemory management
Filip Pizlo explains Fil-C, an implementation of C and C++ that achieves memory safety through a specialized compiler and runtime.
Abstract: Conventional wisdom has it that C and C++ are not memory safe programming languages. A simple bug in one part of a C program can be used to achieve remote code execution even in the presence of sophisticated mitigations. The problem is severe enough to create great pressure on programmers to rewrite their code from C and C++ to other languages that are safer. This talk challenges the conventional wisdom by describing an implementation of C and C++ that achieves the same level of protection against memory safety exploits as even the safest languages. I will go into the details of Fil-C's compiler, language runtime, and some of the corpus of software that has been ported to it. Fil-C: fil-c.org/ Filip Pizlo: filpizlo.com/ Software Should Work: softwareshould.work Thank you to our Software Should Work 2026 sponsors: Antithesis: antithesis.com/ RWX: rwx.com/ Paytient: paytient.com/ Redbud VC: redbud.vc/ ParadeDB: paradedb.com/What people say. Recommended for its impressive live demo and insights into achieving memory safety in C and C++.
u/isaacvandoin r/Zig • Recommends
u/isaacvandoin r/Compilers • Recommends
u/cdb_11in r/C_Programming • Recommends