WiDS Checker: Combating Bugs in Distributed Systems.

Xuezheng Liu, Wei Lin, Aimin Pan, Zheng Zhang

Browse the full NSDI paper archive.