{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T21:03:41Z","timestamp":1773522221932,"version":"3.50.1"},"reference-count":60,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key R&D Program of China","doi-asserted-by":"publisher","award":["2016YFB1000201"],"award-info":[{"award-number":["2016YFB1000201"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012556","name":"Foundation for Innovative Research Groups","doi-asserted-by":"publisher","award":["61521092"],"award-info":[{"award-number":["61521092"]}],"id":[{"id":"10.13039\/501100012556","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61802368,61872043"],"award-info":[{"award-number":["61802368,61872043"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","award":["DP170103956,DP180104069"],"award-info":[{"award-number":["DP170103956,DP180104069"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,2,27]]},"DOI":"10.1109\/cgo51591.2021.9370317","type":"proceedings-article","created":{"date-parts":[[2021,3,11]],"date-time":"2021-03-11T21:33:26Z","timestamp":1615498406000},"page":"187-199","source":"Crossref","is-referenced-by-count":25,"title":["GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs"],"prefix":"10.1109","author":[{"given":"Ting","family":"Yuan","sequence":"first","affiliation":[]},{"given":"Guangwei","family":"Li","sequence":"additional","affiliation":[]},{"given":"Jie","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Chen","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Lian","family":"Li","sequence":"additional","affiliation":[]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","year":"2020","journal-title":"etcd"},{"key":"ref38","year":"2020","journal-title":"Knative Serving"},{"key":"ref33","year":"2020","journal-title":"Data race detector"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1168917.1168864"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2103621.2103702"},{"key":"ref37","year":"2020","journal-title":"Syncthing"},{"key":"ref36","year":"2020","journal-title":"HUGO"},{"key":"ref35","year":"2015","journal-title":"Istio"},{"key":"ref34","author":"labs","year":"2020","journal-title":"CockroachDB"},{"key":"ref60","author":"inc","year":"2020"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755945"},{"key":"ref27","first-page":"1","article-title":"Effective data-race detection for the kernel","volume":"10","author":"erickson","year":"2010","journal-title":"OSDI"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3168813"},{"key":"ref2","year":"2020","journal-title":"Fastest growing languages"},{"key":"ref1","year":"2020","journal-title":"The Go Language"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542489"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555262"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970309"},{"key":"ref24","year":"2015","journal-title":"Fix kubeletdeadlock"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2537335"},{"key":"ref26","year":"2018","journal-title":"[galley] fix data race"},{"key":"ref25","year":"2019","journal-title":"sql fix data race in validatechecks"},{"key":"ref50","first-page":"2","article-title":"Radbench: A concurrency bug benchmark suite","volume":"11","author":"jalbert","year":"2011","journal-title":"HotPar"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359645"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236071"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3093337.3037735"},{"key":"ref56","article-title":"Time, clocks, and the ordering of events in a distributed system","author":"lamport","year":"1978","journal-title":"Communications"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2011.5764688"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1996.508012"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/77606.77611"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/322374.322380"},{"key":"ref10","year":"2016","journal-title":"Online deadlock detection in go (golang)"},{"key":"ref11","year":"2017","journal-title":"Goroutine leak detector"},{"key":"ref40","year":"2020","journal-title":"gRPC"},{"key":"ref12","year":"2017","journal-title":"Goroutine leak detector"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892232"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3093333.3009847"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.87"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/356586.356588"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/2.43525"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882339"},{"key":"ref19","first-page":"386","article-title":"Effective static deadlock detection","author":"sen","year":"2009","journal-title":"2009 31 st International Conference on Software Engineering (ICSE 2009)"},{"key":"ref4","year":"2020","journal-title":"Kubernetes"},{"key":"ref3","year":"2020","journal-title":"ET Docker"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref5","year":"2020","journal-title":"The Go Programming Language Specification"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668036"},{"key":"ref7","year":"0","journal-title":"Communicating sequential processes - Wikipedia the free encyclopedia"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness49594.2019.00007"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1145\/3297858.3304069","article-title":"Understanding real-world concurrency bugs in go","author":"tu","year":"2019","journal-title":"Proceedings of the fourth international conference on Architectural support for programming languages and operating systems - AS"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180157"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47958-3_7"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/3196398.3196451"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3371074","article-title":"Actris: Session-type based reasoning in separation logic","volume":"4","author":"hinrichsen","year":"2019","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2784771"},{"key":"ref41","year":"2020","journal-title":"failure with limit on … simultaneously alive goroutines is exceeded"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99725-4_18"},{"key":"ref43","first-page":"20","article-title":"Flymc: Highly scalable testing of complex interleavings in distributed systems","author":"lukrnan","year":"2019","journal-title":"Proceedings of the Fourteenth EuroSys Conference 2019"}],"event":{"name":"2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","location":"Seoul, Korea (South)","start":{"date-parts":[[2021,2,27]]},"end":{"date-parts":[[2021,3,3]]}},"container-title":["2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9370300\/9370301\/09370317.pdf?arnumber=9370317","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:42:21Z","timestamp":1652197341000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9370317\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,27]]},"references-count":60,"URL":"https:\/\/doi.org\/10.1109\/cgo51591.2021.9370317","relation":{},"subject":[],"published":{"date-parts":[[2021,2,27]]}}}