Demystifying and Checking Silent Semantic Violations in Large Distributed Systems
.
2022. Demystifying and Checking Silent Semantic Violations in Large Distributed Systems. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :91--107.