Efficient race detection for message-passing programs with nonblocking sends and receives | IEEE Conference Publication | IEEE Xplore