Who goes first? detecting go concurrency bugs via message reordering.

Ziheng Liu, Shihao Xia, Yu Liang, Linhai Song, Hong Hu

Browse the full ASPLOS paper archive.