{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:28Z","timestamp":1772164048159,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,2,23]],"date-time":"2013-02-23T00:00:00Z","timestamp":1361577600000},"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":[[2013,2,23]]},"DOI":"10.1145\/2442516.2442560","type":"proceedings-article","created":{"date-parts":[[2013,2,26]],"date-time":"2013-02-26T10:23:04Z","timestamp":1361874184000},"page":"311-312","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["TeamWork"],"prefix":"10.1145","author":[{"given":"Yan","family":"Cai","sequence":"first","affiliation":[{"name":"City University of Hong Kong, Hong Kong, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ke","family":"Zhai","sequence":"additional","affiliation":[{"name":"The University of Kong Kong, Hong Kong, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shangru","family":"Wu","sequence":"additional","affiliation":[{"name":"City University of Hong Kong, Hong Kong, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.K.","family":"Chan","sequence":"additional","affiliation":[{"name":"City University of Hong Kong, Hong Kong, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,2,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11678779_14"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of ICSE'12","author":"Cai Y.","unstructured":"Y. Cai and W.K. Chan , 2012. MagicFuzzer: Scalable deadlock detection for large-scale applications . In Proceedings of ICSE'12 , 606--616. Y. Cai and W.K. Chan, 2012. MagicFuzzer: Scalable deadlock detection for large-scale applications. In Proceedings of ICSE'12, 606--616."},{"key":"e_1_3_2_1_4_1","author":"Cai Y.","unstructured":"Y. Cai and W.K. Chan , to appear. Lock trace reduction for multithreaded programs. IEEE Transactions on Parallel and Distributed Systems. Y. Cai and W.K. Chan, to appear. Lock trace reduction for multithreaded programs. IEEE Transactions on Parallel and Distributed Systems.","journal-title":"to appear. Lock trace reduction for multithreaded programs. IEEE Transactions on Parallel and Distributed Systems."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2011.12"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542489"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882324"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of OSDI'08","author":"Jula H.","unstructured":"H. Jula , D. Tralamazza , C. Zamfir , and G. Candea , 2008. Deadlock Immunity: enabling systems to defend against deadlocks . In Proceedings of OSDI'08 , 295--308. H. Jula, D. Tralamazza, C. Zamfir, and G. Candea, 2008. Deadlock Immunity: enabling systems to defend against deadlocks. In Proceedings of OSDI'08, 295--308."}],"event":{"name":"PPoPP '13: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","location":"Shenzhen China","acronym":"PPoPP '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442516.2442560","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2442516.2442560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:07Z","timestamp":1750220347000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442516.2442560"}},"subtitle":["synchronizing threads globally to detect real deadlocks for multithreaded programs"],"short-title":[],"issued":{"date-parts":[[2013,2,23]]},"references-count":8,"alternative-id":["10.1145\/2442516.2442560","10.1145\/2442516"],"URL":"https:\/\/doi.org\/10.1145\/2442516.2442560","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2517327.2442560","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,2,23]]},"assertion":[{"value":"2013-02-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}