21:39 Read-log-update: a lightweight synchronization mechanism for concurrent programming Association for Computing…
27:14 SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Association for Computing…
29:21 Failure sketching: a technique for automated root cause diagnosis of in-production failures Association for Computing…
27:57 Cross-checking semantic correctness: the case of finding file system bugs Association for Computing…
32:28 No compromises: distributed transactions with consistency, availability, and performance Association for Computing…
30:48 Existential consistency: measuring and understanding consistency at Facebook Association for Computing…
