20:09OSDI '20 - Gauntlet: Finding Bugs in Compilers for Programmable Packet ProcessingUSENIX380 viewsView & Download
52:22Fabian Ruffy (NYU) - "Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing"Network Programming Initiative200 viewsView & Download
20:07OSDI '20 - PANIC: A High-Performance Programmable NIC for Multi-tenant NetworksUSENIX1.4K viewsView & Download
10:06OSDI '20 - Specification, implementation, and verification of just-in-time compilers for...USENIX1.1K viewsView & Download
19:38USENIX ATC '22 - Firebolt: Finding Bugs in Programmable Data Plane GeneratorsUSENIX97 viewsView & Download
18:47OSDI '20 - RackSched: A Microsecond-Scale Scheduler for Rack-Scale ComputersUSENIX609 viewsView & Download
20:17OSDI '20 - Serving DNNs like Clockwork: Performance Predictability from the Bottom UpUSENIX2.1K viewsView & Download
4:58CoBOT: Detecting Whole-Program Bugs without the Whole Program (ICPC 2018 Tool Demo)Qing Gao204 viewsView & Download
18:16USENIX ATC '19 - Orca: Differential Bug Localization in Large-Scale ServicesUSENIX584 viewsView & Download
14:23OSDI '24 - Detecting Logic Bugs in Database Engines via Equivalent Expression TransformationUSENIX277 viewsView & Download
20:14OSDI '20 - Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation...USENIX372 viewsView & Download
17:44OSDI '22 - FAERY: An FPGA-accelerated Embedding-based Retrieval SystemUSENIX333 viewsView & Download
46:27Hitex Webinar with PLS Multi core and multi controller debugging for AURIX with UDEHitex331 viewsView & Download
13:32HotCloud '20 - Multitenancy for Fast and Programmable Networks in the CloudUSENIX246 viewsView & Download
14:48OSDI '21 - Finding Consensus Bugs in Ethereum via Multi-transaction Differential FuzzingUSENIX816 viewsView & Download
18:59OSDI '20 - From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded ProcessesUSENIX343 viewsView & Download
