{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T20:15:44Z","timestamp":1781727344199,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"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":[[2022,11,7]]},"DOI":"10.1145\/3540250.3549110","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:46:22Z","timestamp":1668026782000},"page":"784-796","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Peahen: fast and precise static deadlock detection via context reduction"],"prefix":"10.1145","author":[{"given":"Yuandao","family":"Cai","sequence":"first","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chengfeng","family":"Ye","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qingkai","family":"Shi","sequence":"additional","affiliation":[{"name":"Ant Group, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Charles","family":"Zhang","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594299"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678572"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884819"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227156"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380367"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568312"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454099"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468549"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523720"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236077"},{"key":"e_1_3_2_1_11_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. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/chen-hongxu 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. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/chen-hongxu"},{"key":"e_1_3_2_1_12_1","unstructured":"Oracle Corporation. [n. d.]. LockLint Overview. https:\/\/docs.oracle.com\/cd\/E19059-01\/wrkshp50\/805-4947\/6j4m8jrng\/index.html \t\t\t\t  Oracle Corporation. [n. d.]. LockLint Overview. https:\/\/docs.oracle.com\/cd\/E19059-01\/wrkshp50\/805-4947\/6j4m8jrng\/index.html"},{"key":"e_1_3_2_1_13_1","unstructured":"CVE. [n. d.]. CVE List. https:\/\/cve.mitre.org\/cve\/search_cve_list.html \t\t\t\t  CVE. [n. d.]. CVE List. https:\/\/cve.mitre.org\/cve\/search_cve_list.html"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2015.98"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2160910.2160913"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635918"},{"key":"e_1_3_2_1_18_1","unstructured":"Firefox. [n. d.]. Bugzilla. https:\/\/bugzilla.mozilla.org\/home \t\t\t\t  Firefox. [n. d.]. Bugzilla. https:\/\/bugzilla.mozilla.org\/home"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491412"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368120"},{"key":"e_1_3_2_1_22_1","unstructured":"Dominik Harmim Vladimir Marcin and Ondrej Pavela. 2019. Scalable Static Analysis Using Facebook Infer. \t\t\t\t  Dominik Harmim Vladimir Marcin and Ondrej Pavela. 2019. Scalable Static Analysis Using Facebook Infer."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_15"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180225"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594315"},{"key":"e_1_3_2_1_26_1","unstructured":"Infer. [n. d.]. Scalable Static Analysis Using Facebook Infer. https:\/\/github.com\/vmarcin\/L2D2 \t\t\t\t  Infer. [n. d.]. Scalable Static Analysis Using Facebook Infer. https:\/\/github.com\/vmarcin\/L2D2"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00017"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00017"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"e_1_3_2_1_30_1","volume-title":"Automated Concurrency-Bug Fixing. In 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012","author":"Jin Guoliang","year":"2012","unstructured":"Guoliang Jin , Wei Zhang , and Dongdong Deng . 2012 . Automated Concurrency-Bug Fixing. In 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012 , Hollywood, CA, USA , October 8-10, 2012, Chandu Thekkath and Amin Vahdat (Eds.). USENIX Association, 221\u2013236. https:\/\/www.usenix.org\/conference\/osdi12\/technical-sessions\/presentation\/jin Guoliang Jin, Wei Zhang, and Dongdong Deng. 2012. Automated Concurrency-Bug Fixing. In 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012, Hollywood, CA, USA, October 8-10, 2012, Chandu Thekkath and Amin Vahdat (Eds.). USENIX Association, 221\u2013236. https:\/\/www.usenix.org\/conference\/osdi12\/technical-sessions\/presentation\/jin"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1137\/0204007"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_54"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882339"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542489"},{"key":"e_1_3_2_1_35_1","volume-title":"Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI","author":"Jula Horatiu","year":"2008","unstructured":"Horatiu Jula , Daniel M. Tralamazza , Cristian Zamfir , and George Candea . 2008 . Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA , Proceedings, Richard Draves and Robbert van Renesse (Eds.). USENIX Association , 295\u2013308. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/jula\/jula.pdf Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, and George Candea. 2008. Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings, Richard Draves and Robbert van Renesse (Eds.). USENIX Association, 295\u2013308. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/jula\/jula.pdf"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595701"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_39"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_26"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276516"},{"key":"e_1_3_2_1_40_1","unstructured":"Linux Kernel. [n. d.]. Bugzilla. https:\/\/bugzilla.kernel.org\/ \t\t\t\t  Linux Kernel. [n. d.]. Bugzilla. https:\/\/bugzilla.kernel.org\/"},{"key":"e_1_3_2_1_41_1","unstructured":"D. Kroening D. Poetzl P. Schrammel and B. Wachter. [n. d.]. Sound Static Deadlock Analysis for C\/Pthreads. http:\/\/www.cprover.org\/deadlock-detection\/ \t\t\t\t  D. Kroening D. Poetzl P. Schrammel and B. Wachter. [n. d.]. Sound Static Deadlock Analysis for C\/Pthreads. http:\/\/www.cprover.org\/deadlock-detection\/"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970309"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192390"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454073"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606578"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"e_1_3_2_1_50_1","unstructured":"Pinpoint Platform. [n. d.]. Confirmed Bug List. https:\/\/whichbug.github.io\/ \t\t\t\t  Pinpoint Platform. [n. d.]. Confirmed Bug List. https:\/\/whichbug.github.io\/"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386036"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385993"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_23"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192418"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854038.2854043"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336784"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-011-0179-2"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985824"},{"key":"e_1_3_2_1_60_1","volume-title":"Mahlke","author":"Wang Yin","year":"2008","unstructured":"Yin Wang , Terence Kelly , Manjunath Kudlur , St\u00e9phane Lafortune , and Scott A . Mahlke . 2008 . Gadara : Dynamic Deadlock Avoidance for Multithreaded Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings, Richard Draves and Robbert van Renesse (Eds.). USENIX Association , 281\u2013294. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/wang\/wang.pdf Yin Wang, Terence Kelly, Manjunath Kudlur, St\u00e9phane Lafortune, and Scott A. Mahlke. 2008. Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings, Richard Draves and Robbert van Renesse (Eds.). USENIX Association, 281\u2013294. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/wang\/wang.pdf"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510178"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_26"},{"key":"e_1_3_2_1_63_1","volume-title":"Krace: Data Race Fuzzing for Kernel File Systems. 2020 IEEE Symposium on Security and Privacy (SP), 1643\u20131660","author":"Xu Meng","year":"2020","unstructured":"Meng Xu , Sanidhya Kashyap , Hanqing Zhao , and Taesoo Kim . 2020 . Krace: Data Race Fuzzing for Kernel File Systems. 2020 IEEE Symposium on Security and Privacy (SP), 1643\u20131660 . Meng Xu, Sanidhya Kashyap, Hanqing Zhao, and Taesoo Kim. 2020. Krace: Data Race Fuzzing for Kernel File Systems. 2020 IEEE Symposium on Security and Privacy (SP), 1643\u20131660."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180178"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397378"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115684"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534377"}],"event":{"name":"ESEC\/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Singapore Singapore","acronym":"ESEC\/FSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"]},"container-title":["Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549110","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3549110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:02Z","timestamp":1750182662000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":67,"alternative-id":["10.1145\/3540250.3549110","10.1145\/3540250"],"URL":"https:\/\/doi.org\/10.1145\/3540250.3549110","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}