{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:22Z","timestamp":1750220482823,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,24]],"date-time":"2021-09-24T00:00:00Z","timestamp":1632441600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,9,24]]},"DOI":"10.1145\/3488933.3488998","type":"proceedings-article","created":{"date-parts":[[2022,2,25]],"date-time":"2022-02-25T11:36:59Z","timestamp":1645789019000},"page":"531-535","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An Efficient and Accurate Mixed Dynamic Data Race Detection Method"],"prefix":"10.1145","author":[{"given":"Jiaze","family":"Sun","sequence":"first","affiliation":[{"name":"Xi'an University of Posts&Telecommunications, China"}]},{"given":"Yanman","family":"Yang","sequence":"additional","affiliation":[{"name":"Xi'an University of Posts&Telecommunications, China"}]},{"given":"Xinfeng","family":"Shu","sequence":"additional","affiliation":[{"name":"Xi'an University of Posts&Telecommunications, China"}]}],"member":"320","published-online":{"date-parts":[[2022,2,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/130616.130623"},{"key":"e_1_3_2_1_2_1","first-page":"123","article-title":"A survey on methods of data race detection and verification on multithreaded program","author":"Yu Zhen","year":"2017","unstructured":"Zhen Yu , Zhen Yang Z, Xiaohong Su , and Tiantian Wang . 2017 . A survey on methods of data race detection and verification on multithreaded program . J. Intelligent Computer & Applications , 123 - 126 . Zhen Yu, Zhen Yang Z, Xiaohong Su, and Tiantian Wang. 2017. A survey on methods of data race detection and verification on multithreaded program. J. Intelligent Computer & Applications, 123-126.","journal-title":"J. Intelligent Computer & Applications"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2494444.2494476"},{"key":"e_1_3_2_1_4_1","first-page":"179","article-title":"Time, clocks, and the ordering of events in a distributed system","author":"Lamport Leslie","year":"2019","unstructured":"Leslie Lamport . 2019 . Time, clocks, and the ordering of events in a distributed system . In Concurrency , 179 - 176 . DOI: https:\/\/doi.org\/10.1145\/3335772.3335934. Leslie Lamport. 2019. Time, clocks, and the ordering of events in a distributed system. In Concurrency, 179-176. DOI: https:\/\/doi.org\/10.1145\/3335772.3335934.","journal-title":"Concurrency"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542490"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2011.12"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"issue":"11","key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/504311.504288","article-title":"Object race detection","volume":"36","author":"Christoph Von Praun","year":"2011","unstructured":"Von Praun Christoph , Gross Thomas R. 2011 . Object race detection . ACM Sigplan Notices , 36 , 11 , 70 - 82 . DOI: https:\/\/doi.org\/\/10.1145\/504311.504288 Von Praun Christoph, Gross Thomas R. 2011. Object race detection. ACM Sigplan Notices, 36, 11, 70-82. DOI: https:\/\/doi.org\/\/10.1145\/504311.504288","journal-title":"ACM Sigplan Notices"},{"key":"e_1_3_2_1_10_1","volume-title":"Goldilocks: Efficiently computing the Happens-before relation using locksets.In Formal Approaches to Software Testing and Runtime Verification","author":"Tayfun Elmas","year":"2006","unstructured":"Elmas Tayfun , Qadeer Shaz , and Tasiran Serdar . 2006 . Goldilocks: Efficiently computing the Happens-before relation using locksets.In Formal Approaches to Software Testing and Runtime Verification . Springer , Berlin, Heidelberg , 193-208. DOI: https:\/\/doi.org\/10.1007\/11940197-13 Elmas Tayfun, Qadeer Shaz, and Tasiran Serdar. 2006. Goldilocks: Efficiently computing the Happens-before relation using locksets.In Formal Approaches to Software Testing and Runtime Verification.Springer, Berlin, Heidelberg, 193-208. DOI: https:\/\/doi.org\/10.1007\/11940197-13"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-019-03031-0"},{"volume-title":"Freund.2017. The FastTrack2 race detection. Technical report","author":"Flanagan Cormac","key":"e_1_3_2_1_12_1","unstructured":"Cormac Flanagan , and Stephen N . Freund.2017. The FastTrack2 race detection. Technical report , Williams College . Cormac Flanagan, and Stephen N. Freund.2017. The FastTrack2 race detection. Technical report, Williams College."},{"key":"e_1_3_2_1_13_1","first-page":"1","article-title":"Correct program parallelisations","author":"Blom S.","year":"2011","unstructured":"S. Blom , S. Darabi , M. Huisman , and M. Safari . 2011 . Correct program parallelisations . International Journal on Software Tools for Technology Transfer , 1 - 23 . DOI: https:\/\/doi.org\/\/10.1007\/s10009-020-00601-z. S.Blom,S.Darabi, M.Huisman, and M.Safari. 2011. Correct program parallelisations. International Journal on Software Tools for Technology Transfer, 1-23. DOI: https:\/\/doi.org\/\/10.1007\/s10009-020-00601-z.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"volume-title":"Proceedings of the Workshop on Binary Instrumentation and Applications, 62-71","author":"Konstantin Serebryany","key":"e_1_3_2_1_14_1","unstructured":"Serebryany Konstantin , and Iskhodzhanov, Timur.2009. ThreadSanitizer : Data race detection in practice . In Proceedings of the Workshop on Binary Instrumentation and Applications, 62-71 . DOI: 10.1145\/1791194.1791203 10.1145\/1791194.1791203 Serebryany Konstantin, and Iskhodzhanov, Timur.2009. ThreadSanitizer: Data race detection in practice. In Proceedings of the Workshop on Binary Instrumentation and Applications, 62-71. DOI: 10.1145\/1791194.1791203"},{"issue":"3","key":"e_1_3_2_1_15_1","first-page":"213","article-title":"Multirace: Efficient on-the-fly data race detection in multithreaded C++ programs","volume":"19","author":"Pozniansky Eli","year":"2007","unstructured":"Eli Pozniansky , Assaf Schuster , A. 2007 . Multirace: Efficient on-the-fly data race detection in multithreaded C++ programs . J. Concurrency and Computation , 19 , 3 , 213 - 226 . DOI: https:\/\/doi.org\/10.1002\/cpe.1064 Eli Pozniansky, Assaf Schuster, A. 2007. Multirace: Efficient on-the-fly data race detection in multithreaded C++ programs. J. Concurrency and Computation, 19, 3, 213-226. DOI: https:\/\/doi.org\/10.1002\/cpe.1064","journal-title":"J. Concurrency and Computation"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxu119"},{"issue":"10","key":"e_1_3_2_1_17_1","first-page":"804","article-title":"Random forest instruction level detection model for data race in multithreaded programs","volume":"60","author":"Jiaze SUN","year":"2020","unstructured":"SUN Jiaze , YANG Jiawei , YANG Zijiang . 2020 . Random forest instruction level detection model for data race in multithreaded programs . J. Journal of Tsinghua University(Science and Technology) , 60 , 10 , 804 - 813 . DOI: https:\/\/doi.org\/10.16511\/j.cnki.qhdxxb.2020.22.002. SUN Jiaze, YANG Jiawei, YANG Zijiang. 2020. Random forest instruction level detection model for data race in multithreaded programs. J. Journal of Tsinghua University(Science and Technology), 60, 10, 804-813. DOI: https:\/\/doi.org\/10.16511\/j.cnki.qhdxxb.2020.22.002.","journal-title":"J. Journal of Tsinghua University(Science and Technology)"}],"event":{"name":"AIPR 2021: 2021 4th International Conference on Artificial Intelligence and Pattern Recognition","acronym":"AIPR 2021","location":"Xiamen China"},"container-title":["2021 4th International Conference on Artificial Intelligence and Pattern Recognition"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3488933.3488998","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3488933.3488998","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:00Z","timestamp":1750193340000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3488933.3488998"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,24]]},"references-count":17,"alternative-id":["10.1145\/3488933.3488998","10.1145\/3488933"],"URL":"https:\/\/doi.org\/10.1145\/3488933.3488998","relation":{},"subject":[],"published":{"date-parts":[[2021,9,24]]},"assertion":[{"value":"2022-02-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}