osdi '23 - sharding the state machine: automated modular reasoning for complex concurrent system
Published 1 year ago • 295 plays • Length 12:47Download video MP4
Download video MP3
Similar videos
-
13:30
osdi '23 - automated verification of idempotence for stateful serverless applications
-
14:35
osdi '23 - ship your critical section, not your data: enabling transparent delegation with tclocks
-
13:36
osdi '24 - motor: enabling multi-versioning for distributed transactions on disaggregated memory
-
15:31
osdi '23 - johnny cache: the end of dram cache conflicts (in tiered main memory systems)
-
13:54
osdi '23 - honeycomb: secure and efficient gpu executions via static validation
-
15:40
osdi '23 - scaledb: a scalable, asynchronous in-memory database
-
14:19
osdi '23 - shring: networking with shared receive rings
-
13:56
osdi '23 - nimble: rollback protection for confidential cloud services
-
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...
-
12:24
osdi '23 - security and performance in the delegated user-level virtualization
-
1:36
kdd 2023 - essa: explanation iterative supervision via saliency-guided data augmentation