Debug Concurrent Programs with Visualization and Inference of Event Structure.

Xiaoquan Wu, Jun Wei, Xu Wang

Browse the full APSEC paper archive.