Automatically detecting and fixing concurrency bugs in go software systems.

Ziheng Liu, Shuofei Zhu, Boqin Qin, Hao Chen, Linhai Song

Browse the full ASPLOS paper archive.