Race analysis of traces of asynchronous message-passing programs | IEEE Conference Publication | IEEE Xplore