Xiaofan Xu, Wei Song, Jeff Huang. GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go. In Mike Papadakis, Myra B. Cohen, Paolo Tonella, editors, Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025. pages 36-40, ACM, 2025. [doi]
Abstract is missing.