Debug Concurrent Programs with Visualization and Inference of Event Structure | IEEE Conference Publication | IEEE Xplore