A proof-carrying approach to building correct and flexible BPF verifiers - Luke Nelson/Xi W/Emina T

Whole-channel inclusion: Linux Plumbers Conference is an honest teaching channel (title sample + 3 transcripts read: The one sample with a transcript is a substantive technical kernel-engineering talk consistent with the channel's teaching focus.); this title passed a strict title check (sonnet) after a labelling pass.