Static Race Detection and Mutex Safety and Liveness for Go Programs.

Julia Gabet, Nobuko Yoshida

Browse the full ECOOP paper archive.