osdi '20 - automated reasoning and detection of specious configuration in large systems with...
Published 4 years ago • 236 plays • Length 18:44Download video MP4
Download video MP3
Similar videos
-
20:04
osdi '20 - tolerating slowdowns in replicated state machines using copilots
-
19:15
osdi '20 - achieving 100gbps intrusion prevention on a single server
-
15:35
osdi '22 - verifying the daisynfs concurrent and crash-safe file system with sequential reasoning
-
12:47
osdi '23 - sharding the state machine: automated modular reasoning for complex concurrent system
-
20:14
osdi '20 - efficiently mitigating transient execution attacks using the unmapped speculation...
-
19:08
osdi '20 - pacemaker: avoiding heart attacks in storage clusters with disk-adaptive redundancy
-
18:27
osdi '20 - safetypin: encrypted backups with human-memorable secrets
-
20:07
osdi '20 - panic: a high-performance programmable nic for multi-tenant networks
-
16:30
osdi '20 - rammer: enabling holistic deep learning compiler optimizations with rtasks
-
15:03
nsdi '20 - comb decoding towards collision free wifi
-
14:01
osdi '24 - fast and scalable in-network lock management using lock fission
-
16:01
osdi '22 - tiger: disk-adaptive redundancy without placement restrictions
-
16:33
osdi '22 - duoai: fast, automated inference of inductive invariants for verifying distributed...
-
18:29
17. trapdoor ddh groups from pairings and isogenies
-
14:14
osdi '24 - nnscaler: constraint-guided parallelization plan generation for deep learning training
-
1:48
long range reading in logistics automation with hw 198x hand-held scanners: from sick | sick ag
-
19:28
osdi '20 - dory: an encrypted search system with distributed trust