osdi '23 - sharding the state machine: automated modular reasoning for complex concurrent system
Published 10 months ago • 277 plays • Length 12:47Download video MP4
Download video MP3
Similar videos
-
13:30
osdi '23 - automated verification of idempotence for stateful serverless applications
-
13:56
osdi '23 - nimble: rollback protection for confidential cloud services
-
15:38
osdi '23 - hydro: surrogate-based hyperparameter tuning service in datacenters
-
10:25
nsdi '23 - dish: dynamic shell-script distribution
-
10:32
osdi '23 - detecting transactional bugs in database engines via graph-based oracle construction
-
15:17
osdi '23 - kerveros: efficient and scalable cloud admission control
-
18:44
osdi '20 - automated reasoning and detection of specious configuration in large systems with...
-
15:19
osdi '23 - mgg: accelerating graph neural networks with fine-grained intra-kernel communication...
-
14:35
osdi '23 - ship your critical section, not your data: enabling transparent delegation with tclocks
-
17:05
nsdi '24 - multitenant in-network acceleration with switchvm
-
12:24
osdi '23 - security and performance in the delegated user-level virtualization
-
18:36
nsdi '23 - exoplane: an operating system for on-rack switch resource augmentation
-
14:19
osdi '23 - shring: networking with shared receive rings