# Consistency

- [Efficient and Scalable Thread-Safety Violation Detection](/blog/conference/index/sosp-21/consistency/efficient-and-scalable-thread-safety-violation-detection.md): SOSP 19: https://dl.acm.org/doi/pdf/10.1145/3341301.3359638?casa\_token=tJoAJXALN4MAAAAA:JUd0XcAhj-AXAA8ORPeHmOS2xaLGSI-vwBGVMjVsixOq2KIXpuypu0V9ENOzpswb39bFZoXJs2n-
- [Understanding and Detecting Software Upgrade Failures in Distributed Systems](/blog/conference/index/sosp-21/consistency/understanding-and-detecting-software-upgrade-failures-in-distributed-systems.md): https://www.cs.purdue.edu/homes/yonglezh/pub/upgrade-sosp21.pdf