{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T13:00:05Z","timestamp":1761570005603,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["No. 62032010, No. 62232001 and No. 62202220"],"award-info":[{"award-number":["No. 62032010, No. 62232001 and No. 62202220"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Collaborative Innovation Center of Novel Software Technology and Industrialization","award":["#"],"award-info":[{"award-number":["#"]}]},{"name":"Fundamental Research Funds for the Central Universities","award":["No. 2024300364"],"award-info":[{"award-number":["No. 2024300364"]}]},{"name":"China Postdoctoral Science Foundation","award":["No. 2024M761397"],"award-info":[{"award-number":["No. 2024M761397"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,20]]},"DOI":"10.1145\/3755881.3755914","type":"proceedings-article","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T11:46:17Z","timestamp":1761565577000},"page":"209-219","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Modeling Go Concurrency: A Static Analysis Approach to Data Race Detection"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8185-0573","authenticated-orcid":false,"given":"Fengjuan","family":"Gao","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing, China and State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5681-6434","authenticated-orcid":false,"given":"Mumu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-2973-5127","authenticated-orcid":false,"given":"Zixiao","family":"Zhao","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7216-6929","authenticated-orcid":false,"given":"Yu","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3090-9568","authenticated-orcid":false,"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}]}],"member":"320","published-online":{"date-parts":[[2025,10,27]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"crossref","unstructured":"Sam Blackshear Nikos Gorogiannis Peter\u00a0W O\u2019Hearn and Ilya Sergey. 2018. RacerD: compositional static race detection. Proceedings of the ACM on Programming Languages 2 OOPSLA (2018) 1\u201328.","DOI":"10.1145\/3276514"},{"key":"e_1_3_3_2_3_2","first-page":"211","volume-title":"Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"Boyapati Chandrasekhar","year":"2002","unstructured":"Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. 2002. Ownership types for safe programming: Preventing data races and deadlocks. In Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. 211\u2013230."},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504287"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523720"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"e_1_3_3_2_7_2","unstructured":"Amit Davidson. 2025. Chronos. https:\/\/github.com\/amit-davidson\/Chronos."},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3177153"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"crossref","unstructured":"Dawson Engler and Ken Ashcraft. 2003. RacerX: Effective static detection of race conditions and deadlocks. ACM SIGOPS operating systems review 37 5 (2003) 237\u2013252.","DOI":"10.1145\/1165389.945468"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"crossref","unstructured":"Daniel\u00a0Schnetzer Fava and Martin Steffen. 2020. Ready set Go!: Data-race detection and the Go language. Science of Computer Programming 195 (2020) 102473.","DOI":"10.1016\/j.scico.2020.102473"},{"key":"e_1_3_3_2_11_2","unstructured":"Colin\u00a0J Fidge. 1987. Timestamps in message-passing systems that preserve the partial ordering. (1987)."},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","unstructured":"Cormac Flanagan and Stephen\u00a0N Freund. 2009. FastTrack: efficient and precise dynamic race detection. ACM Sigplan Notices 44 6 (2009) 121\u2013133.","DOI":"10.1145\/1543135.1542490"},{"key":"e_1_3_3_2_14_2","volume-title":"34th European Conference on Object-Oriented Programming (ECOOP 2020)","author":"Gabet Julia","year":"2020","unstructured":"Julia Gabet and Nobuko Yoshida. 2020. Static race detection and mutex safety and liveness for go programs. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Schloss-Dagstuhl-Leibniz Zentrum f\u00fcr Informatik."},{"key":"e_1_3_3_2_15_2","unstructured":"Ginuerzh. 2025. Gost - A Secure Tunnel Proxy. https:\/\/github.com\/ginuerzh\/gost."},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996844"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001438"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00017"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522736"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3335772.3335934"},{"key":"e_1_3_3_2_21_2","first-page":"75","volume-title":"2019 IEEE\/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","author":"Li Yanze","year":"2019","unstructured":"Yanze Li, Bozhen Liu, and Jeff Huang. 2019. Sword: A scalable whole program race detector for java. In 2019 IEEE\/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 75\u201378."},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/1542476.1542491","volume-title":"Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Marino Daniel","year":"2009","unstructured":"Daniel Marino, Madanlal Musuvathi, and Satish Narayanasamy. 2009. LiteRace: Effective sampling for lightweight data-race detection. In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation. 134\u2013143."},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"crossref","first-page":"516","DOI":"10.1007\/978-3-319-02444-8_45","volume-title":"Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings","author":"Mund Jakob","year":"2013","unstructured":"Jakob Mund, Ralf Huuck, Ansgar Fehnker, and Cyrille Artho. 2013. The quest for precision: a layered approach for data race detection in static analysis. In Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Springer, 516\u2013525."},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"crossref","unstructured":"Polyvios Pratikakis Jeffrey\u00a0S Foster and Michael Hicks. 2006. Locksmith: context-sensitive correlation analysis for race detection. Acm Sigplan Notices 41 6 (2006) 320\u2013331.","DOI":"10.1145\/1133255.1134019"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"crossref","unstructured":"Shaz Qadeer and Dinghao Wu. 2004. KISS: keep it simple and sequential. ACM sigplan notices 39 6 (2004) 14\u201324.","DOI":"10.1145\/996893.996845"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"crossref","unstructured":"Dustin Rhodes Cormac Flanagan and Stephen\u00a0N Freund. 2017. Bigfoot: Static check placement for dynamic race detection. ACM SIGPLAN Notices 52 6 (2017) 141\u2013156.","DOI":"10.1145\/3140587.3062350"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"crossref","unstructured":"Stefan Savage Michael Burrows Greg Nelson Patrick Sobalvarro and Thomas Anderson. 1997. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems (TOCS) 15 4 (1997) 391\u2013411.","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/APSEC53868.2021.00011","volume-title":"2021 28th Asia-Pacific Software Engineering Conference (APSEC)","author":"Schulz Stefan","year":"2021","unstructured":"Stefan Schulz, Emanuel Herrendorf, and Christoph Bockisch. 2021. Thread-Sensitive Data Race Detection for Java. In 2021 28th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 32\u201342."},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_3_2_32_2","volume-title":"USENIX Winter 1993 Conference (USENIX Winter 1993 Conference)","author":"Sterling Nicholas","year":"1993","unstructured":"Nicholas Sterling. 1993. { WARLOCK} -a static data race analysis tool. In USENIX Winter 1993 Conference (USENIX Winter 1993 Conference)."},{"key":"e_1_3_3_2_33_2","unstructured":"Go Team. 2025. Defer Statements. https:\/\/go.dev\/ref\/spec#Defer_statements."},{"key":"e_1_3_3_2_34_2","unstructured":"Go Team. 2025. Go Data Race Detector. https:\/\/go.dev\/blog\/race-detector."},{"key":"e_1_3_3_2_35_2","unstructured":"Go Team. 2025. Go Documentation. https:\/\/pkg.go.dev\/."},{"key":"e_1_3_3_2_36_2","unstructured":"Go Team. 2025. Golang Pointers. https:\/\/pkg.go.dev\/golang.org\/x\/tools\/go\/pointer."},{"key":"e_1_3_3_2_37_2","unstructured":"Go Team. 2025. Method Expressions. https:\/\/go.dev\/ref\/spec#Method_expressions."},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970337"},{"key":"e_1_3_3_2_39_2","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/1287624.1287654","volume-title":"Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering","author":"Voung Jan\u00a0Wen","year":"2007","unstructured":"Jan\u00a0Wen Voung, Ranjit Jhala, and Sorin Lerner. 2007. RELAY: static race detection on millions of lines of code. In Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. 205\u2013214."},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"crossref","unstructured":"Yu Wang Fengjuan Gao Linzhang Wang Tingting Yu Jianhua Zhao and Xuandong Li. 2022. Automatic Detection Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. IEEE Transactions on Software Engineering 48 1 (2022) 346\u2013363.","DOI":"10.1109\/TSE.2020.2989171"},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"crossref","unstructured":"Zhendong Wu Kai Lu and Xiaoping Wang. 2017. Surveying concurrency bug detectors based on types of detected bugs. Science China. Information Sciences 60 3 (2017) 031101.","DOI":"10.1007\/s11432-015-0203-2"},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"crossref","unstructured":"Zhendong Wu Kai Lu Xiaoping Wang and Xu Zhou. 2015. Collaborative technique for concurrency bug detection. International Journal of Parallel Programming 43 2 (2015) 260\u2013285.","DOI":"10.1007\/s10766-014-0304-y"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/3168813"}],"event":{"name":"Internetware 2025: the 16th International Conference on Internetware","sponsor":["SIGSOFT ACM Special Interest Group on Artificial Intelligence"],"location":"Trondheim Norway","acronym":"Internetware 2025"},"container-title":["Proceedings of the 16th International Conference on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3755881.3755914","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T11:49:30Z","timestamp":1761565770000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3755881.3755914"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,20]]},"references-count":42,"alternative-id":["10.1145\/3755881.3755914","10.1145\/3755881"],"URL":"https:\/\/doi.org\/10.1145\/3755881.3755914","relation":{},"subject":[],"published":{"date-parts":[[2025,6,20]]},"assertion":[{"value":"2025-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}