Automatically Detecting and Fixing Concurrency Bugs in Go Software Systems Ziheng Liu Pennsylvania State University USA Shuofei Zhu Pennsylvania State University USA Boqin Qin Beijing Univ. of Posts and Telecom. China Hao Chen University of California, Davis USA Linhai Song Pennsylvania State University USA ABSTRACT Go is a statically typed programming language designed for efficient and reliable