{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:54:10Z","timestamp":1773194050830,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T00:00:00Z","timestamp":1405900800000},"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":[[2014,7,21]]},"DOI":"10.1145\/2610384.2610405","type":"proceedings-article","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T12:10:42Z","timestamp":1405080642000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Runtime prevention of concurrency related type-state violations in multithreaded applications"],"prefix":"10.1145","author":[{"given":"Lu","family":"Zhang","sequence":"first","affiliation":[{"name":"Virginia Tech, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Wang","sequence":"additional","affiliation":[{"name":"Virginia Tech, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063239.2063241"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297070"},{"key":"e_1_3_2_1_3_1","volume-title":"Springer, 2000","author":"Clarke E.","year":"1855","unstructured":"E. Clarke , O. Grumberg , S. Jha , Y. Lu , and H. Veith . Counterexample-guided abstraction refinement. In Computer Aided Verification (CAV\u201900), pages 154\u2013169 . Springer, 2000 . LNCS 1855 . E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample-guided abstraction refinement. In Computer Aided Verification (CAV\u201900), pages 154\u2013169. Springer, 2000. LNCS 1855."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_21"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581394"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11957-6_13"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90017-5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186632.1186635"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950394"},{"key":"e_1_3_2_1_11_1","volume-title":"Morgan Kaufmann","author":"Herlihy Maurice","year":"2008","unstructured":"Maurice Herlihy and Nir Shavit . The art of multiprocessor programming . Morgan Kaufmann , 2008 . Maurice Herlihy and Nir Shavit. The art of multiprocessor programming. Morgan Kaufmann, 2008."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.39"},{"key":"e_1_3_2_1_15_1","first-page":"308","volume-title":"USENIX Symposium on Operating Systems Design and Implementation","author":"Jula Horatiu","year":"2008","unstructured":"Horatiu Jula , Daniel M. Tralamazza , Cristian Zamfir , and George Candea . Deadlock immunity : Enabling systems to defend against deadlocks . In USENIX Symposium on Operating Systems Design and Implementation , pages 295\u2013 308 , 2008 . Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, and George Candea. Deadlock immunity: Enabling systems to defend against deadlocks. In USENIX Symposium on Operating Systems Design and Implementation, pages 295\u2013308, 2008."},{"key":"e_1_3_2_1_16_1","first-page":"119","volume-title":"International Conference on Formal Methods in Computer-Aided Design","author":"Kuperstein Michael","year":"2010","unstructured":"Michael Kuperstein , Martin T. Vechev , and Eran Yahav . Automatic inference of memory fences . In International Conference on Formal Methods in Computer-Aided Design , pages 111\u2013 119 , 2010 . Michael Kuperstein, Martin T. Vechev, and Eran Yahav. Automatic inference of memory fences. In International Conference on Formal Methods in Computer-Aided Design, pages 111\u2013119, 2010."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390841.1390848"},{"key":"e_1_3_2_1_18_1","first-page":"309","volume-title":"International Conference on Software Engineering","author":"Liu Peng","year":"2012","unstructured":"Peng Liu and Charles Zhang . Axis : Automatically fixing atomicity violations through solving control constraints . In International Conference on Software Engineering , pages 299\u2013 309 , 2012 . Peng Liu and Charles Zhang. Axis: Automatically fixing atomicity violations through solving control constraints. In International Conference on Software Engineering, pages 299\u2013309, 2012."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2009.1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483766"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/357233.357237"},{"key":"e_1_3_2_1_23_1","first-page":"16","volume-title":"Logic-Based Program Synthesis and Transformation","author":"Musuvathi M.","unstructured":"M. Musuvathi and S. Qadeer . CHESS: Systematic stress testing of concurrent software . In Logic-Based Program Synthesis and Transformation , pages 15\u2013 16 . Springer, 2006. M. Musuvathi and S. Qadeer. CHESS: Systematic stress testing of concurrent software. In Logic-Based Program Synthesis and Transformation, pages 15\u201316. Springer, 2006."},{"key":"e_1_3_2_1_24_1","first-page":"280","volume-title":"USENIX Symposium on Operating Systems Design and Implementation","author":"Musuvathi Madanlal","year":"2008","unstructured":"Madanlal Musuvathi , Shaz Qadeer , Thomas Ball , G\u00e9rard Basler , Piramanayagam Arumuga Nainar , and Iulian Neamtiu . Finding and reproducing heisenbugs in concurrent programs . In USENIX Symposium on Operating Systems Design and Implementation , pages 267\u2013 280 , 2008 . Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, G\u00e9rard Basler, Piramanayagam Arumuga Nainar, and Iulian Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In USENIX Symposium on Operating Systems Design and Implementation, pages 267\u2013280, 2008."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508266"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1504176.1504202"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1986308.1986334"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_13"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_2"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54013-4_21"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985824"},{"key":"e_1_3_2_1_36_1","first-page":"294","volume-title":"USENIX Symposium on Operating Systems Design and Implementation","author":"Wang Yin","year":"2008","unstructured":"Yin Wang , Terence Kelly , Manjunath Kudlur , St\u00e9phane Lafortune , and Scott A. Mahlke . Gadara: Dynamic deadlock avoidance for multithreaded programs . In USENIX Symposium on Operating Systems Design and Implementation , pages 281\u2013 294 , 2008 . Yin Wang, Terence Kelly, Manjunath Kudlur, St\u00e9phane Lafortune, and Scott A. Mahlke. Gadara: Dynamic deadlock avoidance for multithreaded programs. In USENIX Symposium on Operating Systems Design and Implementation, pages 281\u2013294, 2008."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480913"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426112"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.30"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048071"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254090"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566199"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555796"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693061"}],"event":{"name":"ISSTA '14: International Symposium on Software Testing and Analysis","location":"San Jose CA USA","acronym":"ISSTA '14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2014 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2610384.2610405","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2610384.2610405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:53Z","timestamp":1750229753000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2610384.2610405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,21]]},"references-count":44,"alternative-id":["10.1145\/2610384.2610405","10.1145\/2610384"],"URL":"https:\/\/doi.org\/10.1145\/2610384.2610405","relation":{},"subject":[],"published":{"date-parts":[[2014,7,21]]},"assertion":[{"value":"2014-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}