NSDI '26 - Count-Based Abstractions for Performance Verification of Contention Points

From a channel Lumen includes in full: USENIX posts the paper presentations from its peer-reviewed systems and security conferences (OSDI, NSDI, USENIX Security, FAST, ATC): authors presenting their own research, the primary source for much of modern systems work.

A 17-minute video from USENIX's catalogue; the title names its topic.

Video by USENIX, played through YouTube's embedded player.