osdi '23 - bwos: formally verified block-based work stealing for parallel processing
Published 11 months ago • 349 plays • Length 15:00Download video MP4
Download video MP3
Similar videos
-
13:40
osdi '23 - verifying vmvcc, a high-performance transaction library using multi-version concurrency..
-
16:33
osdi '22 - duoai: fast, automated inference of inductive invariants for verifying distributed...
-
14:41
osdi '24 - massively parallel multi-versioned transaction processing
-
13:54
osdi '23 - honeycomb: secure and efficient gpu executions via static validation
-
15:38
osdi '23 - hydro: surrogate-based hyperparameter tuning service in datacenters
-
10:51
usenix security '23 - design of access control mechanisms in systems-on-chip with formal...
-
13:30
usenix security '23 - dubhe: succinct zero-knowledge proofs for standard aes and relate...
-
12:24
osdi '23 - security and performance in the delegated user-level virtualization
-
13:52
osdi '24 - burstable cloud block storage with data processing units
-
14:24
osdi '23 - encrypted databases made secure yet maintainable
-
14:38
osdi '23 - characterizing off-path smartnic for accelerating distributed systems
-
14:51
osdi '23 - lvmt: an efficient authenticated storage for blockchain
-
16:30
fast '23 - λ-io: a unified io stack for computational storage
-
11:35
usenix security '23 - beyond typosquatting: an in-depth look at package confusion
-
18:44
osdi '20 - automated reasoning and detection of specious configuration in large systems with...
-
14:43
osdi '22 - listdb: union of write-ahead logs and persistent skiplists for...
-
17:33
osdi '22 - operating system support for safe and efficient auxiliary execution