DFix: automatically fixing timing bugs in distributed systems.

Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu

Browse the full PLDI paper archive.