GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go.

Xiaofan Xu, Wei Song, Jeff Huang

Browse the full ISSTA paper archive.