Static Race Detection and Mutex Safety and Liveness for Go Programs. - Julia Gabet; Nobuko Yoshida (ECOOP, 2020)

Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version). - Julia Gabet; Nobuko Yoshida (CoRR, 2020)

Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact). - Julia Gabet; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2020)