Demystifying and Checking Silent Semantic Violations in Large Distributed Systems.

Chang Lou, Yuzhuo Jing, Peng Huang

Browse the full OSDI paper archive.