Modeling Go Concurrency: A Static Analysis Approach to Data Race Detection. - Fengjuan Gao; Mumu Zhang; Zixiao Zhao; Yu Wang 093; Xuandong Li (Internetware, 2025)