osdi '20 - automated reasoning and detection of specious configuration in large systems with...
Published 3 years ago • 226 plays • Length 18:44Download video MP4
Download video MP3
Similar videos
-
16:33
osdi '22 - duoai: fast, automated inference of inductive invariants for verifying distributed...
-
20:04
osdi '20 - tolerating slowdowns in replicated state machines using copilots
-
20:14
osdi '20 - efficiently mitigating transient execution attacks using the unmapped speculation...
-
0:39
automated layer stacking solution, courtesy of brenton engineering
-
16:30
osdi '20 - rammer: enabling holistic deep learning compiler optimizations with rtasks
-
19:15
osdi '20 - achieving 100gbps intrusion prevention on a single server
-
12:47
osdi '23 - sharding the state machine: automated modular reasoning for complex concurrent system
-
14:20
osdi '21 - pollux: co-adaptive cluster scheduling for goodput-optimized deep learning
-
19:28
osdi '20 - dory: an encrypted search system with distributed trust
-
18:28
osdi '22 - automatic reliability testing for cluster management controllers
-
4:34
disturbance injection under partial automation: robust imitation learning for long-horizon tasks
-
0:52
test sense function - artificial intelligence for robotics
-
20:07
osdi '20 - panic: a high-performance programmable nic for multi-tenant networks
-
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
-
1:06
automated safety module assembly, courtesy of steven douglas corp