{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T21:04:24Z","timestamp":1773522264132,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T00:00:00Z","timestamp":1688947200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2021YFB2701000"],"award-info":[{"award-number":["2021YFB2701000"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100017582","name":"Beijing National Research Center For Information Science And Technology","doi-asserted-by":"publisher","award":["BNR2022RC01006"],"award-info":[{"award-number":["BNR2022RC01006"]}],"id":[{"id":"10.13039\/501100017582","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61972224"],"award-info":[{"award-number":["61972224"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,10]]},"DOI":"10.1145\/3579856.3595787","type":"proceedings-article","created":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T14:52:13Z","timestamp":1688568733000},"page":"415-428","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["RaceBench: A Triggerable and Observable Concurrency Bug Benchmark"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0410-5515","authenticated-orcid":false,"given":"Jiashuo","family":"Liang","sequence":"first","affiliation":[{"name":"Peking University, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3786-8016","authenticated-orcid":false,"given":"Ming","family":"Yuan","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-7828-4449","authenticated-orcid":false,"given":"Zhanzhao","family":"Ding","sequence":"additional","affiliation":[{"name":"Peking University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3479-5713","authenticated-orcid":false,"given":"Siqi","family":"Ma","sequence":"additional","affiliation":[{"name":"The University of New South Wales, Australia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4481-1641","authenticated-orcid":false,"given":"Xinhui","family":"Han","sequence":"additional","affiliation":[{"name":"Peking University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7894-8828","authenticated-orcid":false,"given":"Chao","family":"Zhang","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}]}],"member":"320","published-online":{"date-parts":[[2023,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2000. Helgrind: a thread error detector. https:\/\/valgrind.org\/docs\/manual\/hg-manual.html. Accessed: 2023-05-01.  2000. Helgrind: a thread error detector. https:\/\/valgrind.org\/docs\/manual\/hg-manual.html. Accessed: 2023-05-01."},{"key":"e_1_3_2_1_2_1","unstructured":"2016. Dirty Cow. https:\/\/dirtycow.ninja\/. Accessed: 2022-05-02.  2016. Dirty Cow. https:\/\/dirtycow.ninja\/. Accessed: 2022-05-02."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/COUFLESS.2015.14"},{"key":"e_1_3_2_1_4_1","first-page":"1","article-title":"Concurrency bugs in open source software: a case study","volume":"8","author":"Asadollah Sara\u00a0Abbaspour","year":"2017","unstructured":"Sara\u00a0Abbaspour Asadollah , Daniel Sundmark , Sigrid Eldh , and Hans Hansson . 2017 . Concurrency bugs in open source software: a case study . Journal of Internet Services and Applications 8 , 1 (2017), 1 \u2013 15 . Sara\u00a0Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, and Hans Hansson. 2017. Concurrency bugs in open source software: a case study. Journal of Internet Services and Applications 8, 1 (2017), 1\u201315.","journal-title":"Journal of Internet Services and Applications"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1454115.1454128"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. ACM Program. Lang. 2, OOPSLA","author":"Blackshear Sam","year":"2018","unstructured":"Sam Blackshear , Nikos Gorogiannis , Peter\u00a0 W. O\u2019Hearn , and Ilya Sergey . 2018 . RacerD: compositional static race detection . Proc. ACM Program. Lang. 2, OOPSLA (2018), 144:1\u2013144:28. Sam Blackshear, Nikos Gorogiannis, Peter\u00a0W. O\u2019Hearn, and Ilya Sergey. 2018. RacerD: compositional static race detection. Proc. ACM Program. Lang. 2, OOPSLA (2018), 144:1\u2013144:28."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"e_1_3_2_1_8_1","volume-title":"MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs. In 29th USENIX Security Symposium, USENIX Security 2020","author":"Chen Hongxu","year":"2020","unstructured":"Hongxu Chen , Shengjian Guo , Yinxing Xue , Yulei Sui , Cen Zhang , Yuekang Li , Haijun Wang , and Yang Liu . 2020 . MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs. In 29th USENIX Security Symposium, USENIX Security 2020 , August 12-14, 2020, Srdjan Capkun and Franziska Roesner (Eds.). USENIX Association, 2325\u20132342. Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang, and Yang Liu. 2020. MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs. In 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020, Srdjan Capkun and Franziska Roesner (Eds.). USENIX Association, 2325\u20132342."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.15"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings international parallel and distributed processing symposium. IEEE.","author":"Farchi Eitan","year":"2003","unstructured":"Eitan Farchi , Yarden Nir , and Shmuel Ur . 2003 . Concurrent Bug Patterns and How to Test Them . In Proceedings international parallel and distributed processing symposium. IEEE. Eitan Farchi, Yarden Nir, and Shmuel Ur. 2003. Concurrent Bug Patterns and How to Test Them. In Proceedings international parallel and distributed processing symposium. IEEE."},{"key":"e_1_3_2_1_11_1","first-page":"2","article-title":"RADBench: A Concurrency Bug Benchmark Suite.","volume":"11","author":"Jalbert Nicholas","year":"2011","unstructured":"Nicholas Jalbert , Cristiano Pereira , Gilles Pokam , and Koushik Sen . 2011 . RADBench: A Concurrency Bug Benchmark Suite. HotPar 11 (2011), 2 \u2013 2 . Nicholas Jalbert, Cristiano Pereira, Gilles Pokam, and Koushik Sen. 2011. RADBench: A Concurrency Bug Benchmark Suite.HotPar 11 (2011), 2\u20132.","journal-title":"HotPar"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_13_1","volume-title":"2013 28th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2013","author":"Kusano Markus","year":"2013","unstructured":"Markus Kusano and Chao Wang . 2013 . CCmutator: A mutation generator for concurrency constructs in multithreaded C\/C++ applications . In 2013 28th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2013 , Silicon Valley, CA, USA , November 11-15, 2013, Ewen Denney, Tevfik Bultan, and Andreas Zeller (Eds.). IEEE, 722\u2013725. Markus Kusano and Chao Wang. 2013. CCmutator: A mutation generator for concurrency constructs in multithreaded C\/C++ applications. In 2013 28th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013, Ewen Denney, Tevfik Bultan, and Andreas Zeller (Eds.). IEEE, 722\u2013725."},{"key":"e_1_3_2_1_14_1","volume-title":"The BSD conference, Vol.\u00a05.","author":"Lattner Chris","year":"2008","unstructured":"Chris Lattner . 2008 . LLVM and Clang: Next generation compiler technology . In The BSD conference, Vol.\u00a05. Chris Lattner. 2008. LLVM and Clang: Next generation compiler technology. In The BSD conference, Vol.\u00a05."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 13th European Workshop on Systems Security, EuroSec@EuroSys 2020","author":"Liang Hongliang","year":"2020","unstructured":"Hongliang Liang , Mingyue Li , and Jianli Wang . 2020 . Automated data race bugs addition . In Proceedings of the 13th European Workshop on Systems Security, EuroSec@EuroSys 2020 , Heraklion, Greece , April 27, 2020, Lorenzo Cavallaro and Andrea Lanzi (Eds.). ACM, 37\u201342. Hongliang Liang, Mingyue Li, and Jianli Wang. 2020. Automated data race bugs addition. In Proceedings of the 13th European Workshop on Systems Security, EuroSec@EuroSys 2020, Heraklion, Greece, April 27, 2020, Lorenzo Cavallaro and Andrea Lanzi (Eds.). ACM, 37\u201342."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126958"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 30th IEEE\/ACM International Conference on Automated Software Engineering","author":"Lin Ziyi","year":"2015","unstructured":"Ziyi Lin , Darko Marinov , Hao Zhong , Yuting Chen , and Jianjun Zhao . 2015 . JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs . In Proceedings of the 30th IEEE\/ACM International Conference on Automated Software Engineering ( Lincoln, Nebraska) (ASE \u201915). IEEE Press, 178\u2013189. Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, and Jianjun Zhao. 2015. JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs. In Proceedings of the 30th IEEE\/ACM International Conference on Automated Software Engineering (Lincoln, Nebraska) (ASE \u201915). IEEE Press, 178\u2013189."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274718"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles","author":"Liu Tongping","year":"2011","unstructured":"Tongping Liu , Charlie Curtsinger , and Emery\u00a0 D. Berger . 2011 . Dthreads: Efficient Deterministic Multithreading . In Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles ( Cascais, Portugal) (SOSP \u201911). Association for Computing Machinery, New York, NY, USA, 327\u2013336. Tongping Liu, Charlie Curtsinger, and Emery\u00a0D. Berger. 2011. Dthreads: Efficient Deterministic Multithreading. In Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles (Cascais, Portugal) (SOSP \u201911). Association for Computing Machinery, New York, NY, USA, 327\u2013336."},{"key":"e_1_3_2_1_20_1","volume-title":"Workshop on the evaluation of software defect detection tools, Vol.\u00a05","author":"Lu Shan","year":"2005","unstructured":"Shan Lu , Zhenmin Li , Feng Qin , Lin Tan , Pin Zhou , and Yuanyuan Zhou . 2005 . Bugbench: Benchmarks for evaluating bug detection tools . In Workshop on the evaluation of software defect detection tools, Vol.\u00a05 . Chicago, Illinois. Shan Lu, Zhenmin Li, Feng Qin, Lin Tan, Pin Zhou, and Yuanyuan Zhou. 2005. Bugbench: Benchmarks for evaluating bug detection tools. In Workshop on the evaluation of software defect detection tools, Vol.\u00a05. Chicago, Illinois."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_22_1","volume-title":"14th USENIX Workshop on Offensive Technologies, WOOT 2020","author":"Maier Dominik","year":"2020","unstructured":"Dominik Maier , Heiko Ei\u00dffeldt , Andrea Fioraldi , and Marc Heuse . 2020 . AFL++ : Combining Incremental Steps of Fuzzing Research . In 14th USENIX Workshop on Offensive Technologies, WOOT 2020 , August 11, 2020, Yuval Yarom and Sarah Zennou (Eds.). USENIX Association. Dominik Maier, Heiko Ei\u00dffeldt, Andrea Fioraldi, and Marc Heuse. 2020. AFL++ : Combining Incremental Steps of Fuzzing Research. In 14th USENIX Workshop on Offensive Technologies, WOOT 2020, August 11, 2020, Yuval Yarom and Sarah Zennou (Eds.). USENIX Association."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_3_2_1_24_1","volume-title":"Death and denial: The failure of the therac-25, a medical linear accelerator. Computer Science 440","author":"Porrello Anne\u00a0Marie","year":"2012","unstructured":"Anne\u00a0Marie Porrello . 2012. Death and denial: The failure of the therac-25, a medical linear accelerator. Computer Science 440 ( 2012 ). http:\/\/users.csc.calpoly.edu\/\u00a0jdalbey\/SWE\/Papers\/THERAC25.html Anne\u00a0Marie Porrello. 2012. Death and denial: The failure of the therac-25, a medical linear accelerator. Computer Science 440 (2012). http:\/\/users.csc.calpoly.edu\/\u00a0jdalbey\/SWE\/Papers\/THERAC25.html"},{"key":"e_1_3_2_1_25_1","volume-title":"Eastern Joint IRE-AIEE-ACM Computer Conference","author":"Prosser T.","year":"1959","unstructured":"Reese\u00a0 T. Prosser . 1959 . Applications of Boolean Matrices to the Analysis of Flow Diagrams. In Papers Presented at the December 1-3, 1959 , Eastern Joint IRE-AIEE-ACM Computer Conference ( Boston, Massachusetts) (IRE-AIEE-ACM \u201959 (Eastern)). Association for Computing Machinery, New York, NY, USA, 133\u2013138. Reese\u00a0T. Prosser. 1959. Applications of Boolean Matrices to the Analysis of Flow Diagrams. In Papers Presented at the December 1-3, 1959, Eastern Joint IRE-AIEE-ACM Computer Conference (Boston, Massachusetts) (IRE-AIEE-ACM \u201959 (Eastern)). Association for Computing Machinery, New York, NY, USA, 133\u2013138."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_28_1","volume-title":"OpenRace: An Open Source Framework for Statically Detecting Data Races. In 2021 IEEE\/ACM 5th International Workshop on Software Correctness for HPC Applications (Correctness). 25\u201332","author":"Swain Bradley","year":"2021","unstructured":"Bradley Swain , Bozhen Liu , Peiming Liu , Yanze Li , Addison Crump , Rohan Khera , and Jeff Huang . 2021 . OpenRace: An Open Source Framework for Statically Detecting Data Races. In 2021 IEEE\/ACM 5th International Workshop on Software Correctness for HPC Applications (Correctness). 25\u201332 . Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, and Jeff Huang. 2021. OpenRace: An Open Source Framework for Statically Detecting Data Races. In 2021 IEEE\/ACM 5th International Workshop on Software Correctness for HPC Applications (Correctness). 25\u201332."},{"key":"e_1_3_2_1_29_1","volume-title":"Goblint: Path-sensitive data race analysis. In Annales Univ. Sci.","author":"Vojdani Vesal","year":"2009","unstructured":"Vesal Vojdani and Varmo Vene . 2009 . Goblint: Path-sensitive data race analysis. In Annales Univ. Sci. Budapest ., Sect. Comp, Vol.\u00a030. Citeseer , 141\u2013155. Vesal Vojdani and Varmo Vene. 2009. Goblint: Path-sensitive data race analysis. In Annales Univ. Sci. Budapest., Sect. Comp, Vol.\u00a030. Citeseer, 141\u2013155."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/223982.223990"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555815.1555796"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the ACM international conference on Object oriented programming systems languages and applications. 485\u2013502","author":"Yu Jie","year":"2012","unstructured":"Jie Yu , Satish Narayanasamy , Cristiano Pereira , and Gilles Pokam . 2012 . Maple: a coverage-driven testing tool for multithreaded programs . In Proceedings of the ACM international conference on Object oriented programming systems languages and applications. 485\u2013502 . Jie Yu, Satish Narayanasamy, Cristiano Pereira, and Gilles Pokam. 2012. Maple: a coverage-driven testing tool for multithreaded programs. In Proceedings of the ACM international conference on Object oriented programming systems languages and applications. 485\u2013502."},{"key":"e_1_3_2_1_33_1","volume-title":"GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs. In 2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO). IEEE, 187\u2013199","author":"Yuan Ting","year":"2021","unstructured":"Ting Yuan , Guangwei Li , Jie Lu , Chen Liu , Lian Li , and Jingling Xue . 2021 . GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs. In 2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO). IEEE, 187\u2013199 . Ting Yuan, Guangwei Li, Jie Lu, Chen Liu, Lian Li, and Jingling Xue. 2021. GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs. In 2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO). IEEE, 187\u2013199."},{"key":"e_1_3_2_1_34_1","volume-title":"FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing. In 31st USENIX Security Symposium (USENIX Security 22)","author":"Zhang Zenong","year":"2022","unstructured":"Zenong Zhang , Zach Patterson , Michael Hicks , and Shiyi Wei . 2022 . FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing. In 31st USENIX Security Symposium (USENIX Security 22) . USENIX Association, Boston, MA, 3699\u20133715. Zenong Zhang, Zach Patterson, Michael Hicks, and Shiyi Wei. 2022. FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 3699\u20133715."}],"event":{"name":"ASIA CCS '23: ACM ASIA Conference on Computer and Communications Security","location":"Melbourne VIC Australia","acronym":"ASIA CCS '23","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the ACM Asia Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579856.3595787","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:17Z","timestamp":1750183697000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579856.3595787"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,10]]},"references-count":34,"alternative-id":["10.1145\/3579856.3595787","10.1145\/3579856"],"URL":"https:\/\/doi.org\/10.1145\/3579856.3595787","relation":{},"subject":[],"published":{"date-parts":[[2023,7,10]]},"assertion":[{"value":"2023-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}