> For the complete documentation index, see [llms.txt](https://sliu583.gitbook.io/blog/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://sliu583.gitbook.io/blog/conference/index/sosp-21/consistency.md).

# Consistency

- [Efficient and Scalable Thread-Safety Violation Detection](https://sliu583.gitbook.io/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](https://sliu583.gitbook.io/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