- GoBench - Yuan et. al CGO'21: [PDF] [Video] [GitHub]
- GCatch/GFix - Liu et. al ASPLOS'21: [PDF] [GitHub]
- Zooid - Castro-Perez et. al PLDI'21 [PDF] [Github] - "a domain specific language for certified multiparty communication, embedded in Coq and implemented atop our mechanisation framework of asynchronous multiparty session types"
- Gobra - Wolf et. al CAV'21 [PDF] [Video] [GitHub] - a verifier for Go programs based on the Viper.
T. Yuan, G. Li, J. Lu, C. Liu, L. Li and J. Xue, "GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs," 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2021, pp. 187-199, doi: 10.1109/CGO51591.2021.9370317.
Ziheng Liu, Shuofei Zhu, Boqin Qin, Hao Chen, and Linhai Song. 2021. Automatically detecting and fixing concurrency bugs in go software systems. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2021). Association for Computing Machinery, New York, NY, USA, 616–629. DOI:https://doi.org/10.1145/3445814.3446756
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, and Nobuko Yoshida. 2021. Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021). Association for Computing Machinery, New York, NY, USA, 237–251. DOI:https://doi.org/10.1145/3453483.3454041
F. A. Wolf and L. Arquint and M. Clochard and W. Oortwijn and J. C. Pereira and P. Müller: Gobra: Modular Specification and Verification of Go Programs In Computer Aided Verification (CAV), 2021.