osdi '14 - ski: exposing kernel concurrency bugs through systematic schedule exploration
Published 2 years ago • 150 plays • Length 24:21Download video MP4
Download video MP3
Similar videos
-
10:49
sosp 2021: snowboard: finding kernel concurrency bugs through systematic inter-thread communicati...
-
23:44
osdi '14 - samc: semantic-aware model checking for fast discovery of deep bugs in cloud systems
-
22:50
osdi '14 - decoupling cores, kernels, and operating systems
-
27:54
osdi '14 - jitk: a trustworthy in-kernel interpreter infrastructure
-
14:37
osdi '23 - tailcheck: a lightweight heap overflow detection mechanism with page protection and...
-
1:03:39
fighting concurrency bugs
-
18:32
osdi '20 - agamotto: how persistent is your persistent memory application?
-
28:06
osdi '14 - arrakis: the operating system is the control plane
-
15:08
osdi '22 - application-informed kernel synchronization primitives
-
22:31
osdi '14 - pebbles: fine-grained data management abstractions for modern operating systems
-
2:47
osisoft: introduction to pi sdk buffering. v2010
-
0:20
wintertime submarine cable loading at the hexatronic plant in hudiksvall, sweden
-
13:52
osdi '24 - burstable cloud block storage with data processing units
-
17:32
osdi '22 - ksplit: automating device driver isolation
-
24:13
osdi '14 - pydron: semi-automatic parallelization for multi-core and the cloud
-
20:40
nsdi '17 - flexcore: massively parallel and flexible processing for large mimo access points
-
15:17
usenix atc '21 - skq: event scheduling for optimizing tail latency in a traditional os kernel
-
2:19
quick training: osd