osdi '21 - gojournal: a verified, concurrent, crash-safe journaling system
Published 3 years ago • 390 plays • Length 14:22Download video MP4
Download video MP3
Similar videos
-
15:35
osdi '22 - verifying the daisynfs concurrent and crash-safe file system with sequential reasoning
-
15:11
osdi '21 - polyjuice: high-performance transactions via learned concurrency control
-
19:48
osdi '20 - determinizing crash behavior with a verified snapshot-consistent flash translation layer
-
13:02
osdi '21 - marius: learning massive graph embeddings on a single machine
-
15:07
usenix atc '21 - z-journal: scalable per-core journaling
-
1:05:56
junk journal / deutsch / eure einsendungen für spember teil 2 / #memodexparty
-
16:09
guided journaling 7: honest journaling
-
15:15
osdi '21 - the nanopu: a nanosecond network stack for datacenters
-
15:15
osdi '21 - mage: nearly zero-cost virtual memory for secure computation
-
15:06
osdi '21 - clp: efficient and scalable search on compressed text logs
-
3:38
osisoft: using activex controls in processbook.. v1.3
-
2:34
osisoft: configure the alarm tab in the pi sqc trend object in processbook. v3.0
-
21:26
usenix atc '15 - waldio: eliminating the filesystem journaling in resolving the journaling