{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:27:24Z","timestamp":1759073244583,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,4,10]],"date-time":"2011-04-10T00:00:00Z","timestamp":1302393600000},"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":[[2011,4,10]]},"DOI":"10.1145\/1966445.1966465","type":"proceedings-article","created":{"date-parts":[[2011,4,12]],"date-time":"2011-04-12T12:01:35Z","timestamp":1302609695000},"page":"215-228","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":45,"title":["Finding complex concurrency bugs in large multi-threaded applications"],"prefix":"10.1145","author":[{"given":"Pedro","family":"Fonseca","sequence":"first","affiliation":[{"name":"Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern and Saarbr\u00fccken, Germany"}]},{"given":"Cheng","family":"Li","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern and Saarbr\u00fccken, Germany"}]},{"given":"Rodrigo","family":"Rodrigues","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern and Saarbr\u00fccken, Germany"}]}],"member":"320","published-online":{"date-parts":[[2011,4,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.281"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147403.1147410"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841036_61"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582440"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809028.1806634"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1735971.1736040"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595700"},{"key":"e_1_3_2_1_8_1","first-page":"209","volume-title":"Proc. of Operating System Design and Implementation (OSDI)","author":"Cadar","year":"2008","unstructured":"Cadar 2008 a Cristian Cadar, Daniel Dunbar, and Dawson Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs . In Proc. of Operating System Design and Implementation (OSDI) , pages 209 -- 224 , 2008. Cadar 2008a Cristian Cadar, Daniel Dunbar, and Dawson Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proc. of Operating System Design and Implementation (OSDI), pages 209--224, 2008."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455518.1455522"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945468"},{"key":"e_1_3_2_1_11_1","first-page":"1","volume-title":"Proc. of Operating System Design and Implementation (OSDI)","author":"Erickson","year":"2010","unstructured":"Erickson 2010 John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk. Effective data-race detection for the kernel . In Proc. of Operating System Design and Implementation (OSDI) , pages 1 -- 16 , 2010. Erickson 2010 John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk. Effective data-race detection for the kernel. In Proc. of Operating System Design and Implementation (OSDI), pages 1--16, 2010."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v19:3"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542490"},{"key":"e_1_3_2_1_14_1","first-page":"221","volume-title":"Proc. of International Conference on Dependable Systems and Networks (DSN)","author":"Fonseca","year":"2010","unstructured":"Fonseca 2010 Pedro Fonseca, Cheng Li, Vishal Singhal, and Rodrigo Rodrigues. A study of the internal and external effects of concurrency bugs . In Proc. of International Conference on Dependable Systems and Networks (DSN) , pages 221 -- 230 , 2010. Fonseca 2010 Pedro Fonseca, Cheng Li, Vishal Singhal, and Rodrigo Rodrigues. A study of the internal and external effects of concurrency bugs. In Proc. of International Conference on Dependable Systems and Networks (DSN), pages 221--230, 2010."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/173682.165164"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353536.1346323"},{"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.1145\/1542476.1542491"},{"key":"e_1_3_2_1_21_1","unstructured":"Microsoft Microsoft. Generating test data for databases by using data generators. http:\/\/msdn.microsoft.com\/en-us\/library\/dd193262.aspx.  Microsoft Microsoft. Generating test data for databases by using data generators. http:\/\/msdn.microsoft.com\/en-us\/library\/dd193262.aspx."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376668"},{"key":"e_1_3_2_1_23_1","first-page":"155","volume-title":"Proc. of Networked Systems Design and Implementation (NSDI)","author":"Musuvathi","year":"2004","unstructured":"Musuvathi 2004 Madanlal Musuvathi and Dawson R. Engler. Model checking large network protocol implementations . In Proc. of Networked Systems Design and Implementation (NSDI) , pages 155 -- 168 , 2004. Musuvathi 2004 Madanlal Musuvathi and Dawson R. Engler. Model checking large network protocol implementations. In Proc. of Networked Systems Design and Implementation (NSDI), pages 155--168, 2004."},{"key":"e_1_3_2_1_24_1","first-page":"267","volume-title":"Proc. of Operating System Design and Implementation (OSDI)","author":"Musuvathi","year":"2008","unstructured":"Musuvathi 2008 Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam A. Nainar, and Iulian Neamtiu. Finding and reproducing heisenbugs in concurrent programs . In Proc. of Operating System Design and Implementation (OSDI) , pages 267 -- 280 , 2008. Musuvathi 2008 Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam A. Nainar, and Iulian Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In Proc. of Operating System Design and Implementation (OSDI), pages 267--280, 2008."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250738"},{"key":"e_1_3_2_1_28_1","unstructured":"Oracle a Oracle. MySQL :: Market share. http:\/\/www.mysql.com\/why-mysql\/marketshare\/.  Oracle a Oracle. MySQL :: Market share. http:\/\/www.mysql.com\/why-mysql\/marketshare\/."},{"key":"e_1_3_2_1_29_1","unstructured":"Oracle b Oracle. Storage engine poll. http:\/\/dev.mysql.com\/doc\/refman\/5.0\/en\/storage-engines.html.  Oracle b Oracle. Storage engine poll. http:\/\/dev.mysql.com\/doc\/refman\/5.0\/en\/storage-engines.html."},{"key":"e_1_3_2_1_30_1","unstructured":"Oracle c Oracle. The MyISAM storage engine. http:\/\/dev.mysql.com\/doc\/refman\/5.0\/en\/myisam-storage-engine.html.  Oracle c Oracle. The MyISAM storage engine. http:\/\/dev.mysql.com\/doc\/refman\/5.0\/en\/myisam-storage-engine.html."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/269005.266641"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_40"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111067"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_21"},{"key":"e_1_3_2_1_37_1","first-page":"1","volume-title":"Proc. of Operating System Design and Implementation (OSDI)","author":"Xiong","year":"2010","unstructured":"Xiong 2010 Weiwei Xiong, Soyeon Park, Jiaqi Zhang, Yuanyuan Zhou, and Zhiqiang Ma. Ad hoc synchronization considered harmful . In Proc. of Operating System Design and Implementation (OSDI) , pages 1 -- 8 , 2010. Xiong 2010 Weiwei Xiong, Soyeon Park, Jiaqi Zhang, Yuanyuan Zhou, and Zhiqiang Ma. Ad hoc synchronization considered harmful. In Proc. of Operating System Design and Implementation (OSDI), pages 1--8, 2010."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065013"}],"event":{"name":"EuroSys '11: Sixth EuroSys Conference 2011","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Salzburg Austria","acronym":"EuroSys '11"},"container-title":["Proceedings of the sixth conference on Computer systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1966445.1966465","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1966445.1966465","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:26Z","timestamp":1750245746000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1966445.1966465"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,10]]},"references-count":37,"alternative-id":["10.1145\/1966445.1966465","10.1145\/1966445"],"URL":"https:\/\/doi.org\/10.1145\/1966445.1966465","relation":{},"subject":[],"published":{"date-parts":[[2011,4,10]]},"assertion":[{"value":"2011-04-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}