WuKong: effective diagnosis of bugs at large system scales.

Bowen Zhou, Milind Kulkarni, Saurabh Bagchi

Browse the full PPoPP paper archive.