Demystifying and Checking Silent Semantic Violations in Large Distributed Systems

TitleDemystifying and Checking Silent Semantic Violations in Large Distributed Systems
Publication TypeConference Paper
Year of Publication2022
AuthorsLou C, Jing Y, Huang P
Conference Name16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)
Date Published07/2022
PublisherUSENIX Association
Conference LocationCarlsbad, CA
ISBN Number978-1-939133-28-1
URLhttps://www.usenix.org/conference/osdi22/presentation/lou-demystifying