{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:43Z","timestamp":1772164003096,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,1,9]],"date-time":"2010-01-09T00:00:00Z","timestamp":1262995200000},"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":[[2010,1,9]]},"DOI":"10.1145\/1693453.1693458","type":"proceedings-article","created":{"date-parts":[[2010,1,12]],"date-time":"2010-01-12T15:23:12Z","timestamp":1263309792000},"page":"15-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["GAMBIT"],"prefix":"10.1145","author":[{"given":"Katherine E.","family":"Coons","sequence":"first","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Burckhardt","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madanlal","family":"Musuvathi","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,1,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Concurrency and Coordination Runtime - http:\/\/msdn.microsoft.com\/en-us\/library\/bb648752.aspx.  Concurrency and Coordination Runtime - http:\/\/msdn.microsoft.com\/en-us\/library\/bb648752.aspx."},{"key":"e_1_3_2_1_2_1","first-page":"52","volume-title":"Logic of Programs","author":"Clarke E. M.","year":"1981","unstructured":"E. M. Clarke and E. A. Emerson . Design and synthesis of synchronization skeletons using branching-time temporal logic . In Logic of Programs , pages 52 -- 71 , London, UK , 1981 . Springer-Verlag . E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logic of Programs, pages 52--71, London, UK, 1981. Springer-Verlag."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248658"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.62"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691617_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/380921.380930"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.654"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem","author":"Godefroid P.","year":"1996","unstructured":"P. Godefroid . Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem . Springer-Verlag New York, Inc. , Secaucus, NJ, USA , 1996 . Foreword By-Pierre Wolper. P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1996. Foreword By-Pierre Wolper."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646486.694632"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/647760.760713"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/645881.672223"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_54"},{"key":"e_1_3_2_1_16_1","unstructured":"A first look at jsr 166: Concurrency utilities http:\/\/today.java.net\/pub\/a\/today\/2004\/03\/01\/jsr166.html.  A first look at jsr 166: Concurrency utilities http:\/\/today.java.net\/pub\/a\/today\/2004\/03\/01\/jsr166.html."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1089023.1089024"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640106"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"e_1_3_2_1_20_1","volume-title":"8th USENIX Symposium on Operating Systems Design and Implementation","author":"Musuvathi M.","year":"2009","unstructured":"M. Musuvathi , S. Qadeer , T. Ball , G. Basler , A. Nainar , and I. Neamtiu . Finding and reproducing heisenbugs in concurrent programs . In 8th USENIX Symposium on Operating Systems Design and Implementation , 2009 . M. Musuvathi, S. Qadeer, T. Ball, G. Basler, A. Nainar, and I. Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In 8th USENIX Symposium on Operating Systems Design and Implementation, 2009."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_1_23_1","volume-title":"Heuristics: Intelligent Search Strategies for Computer Problem Solving","author":"Pearl J.","year":"1984","unstructured":"J. Pearl . Heuristics: Intelligent Search Strategies for Computer Problem Solving . Addison-Wesley , 1984 . J. Pearl. Heuristics: Intelligent Search Strategies for Computer Problem Solving. Addison-Wesley, 1984."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/647325.721668"},{"key":"e_1_3_2_1_25_1","volume-title":"Outfitting C++ for Multi-core Processor Parallelism. O'Reilly","author":"Reinders J.","year":"2007","unstructured":"J. Reinders . Intel Threading Building Blocks : Outfitting C++ for Multi-core Processor Parallelism. O'Reilly , 2007 . J. Reinders. Intel Threading Building Blocks : Outfitting C++ for Multi-core Processor Parallelism. O'Reilly, 2007."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480950"},{"key":"e_1_3_2_1_27_1","volume-title":"Artificial intelligence: a modern approach","author":"Russell S. J.","year":"2003","unstructured":"S. J. Russell and P. Norvig . Artificial intelligence: a modern approach . Prentice Hall , 2 nd edition, 2003 . S. J. Russell and P. Norvig. Artificial intelligence: a modern approach. Prentice Hall, 2nd edition, 2003.","edition":"2"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321679"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_1_30_1","unstructured":"Optimize managed code for multi-core machines - http:\/\/msdn.microsoft.com\/en-us\/library\/bb648752.aspx.  Optimize managed code for multi-core machines - http:\/\/msdn.microsoft.com\/en-us\/library\/bb648752.aspx."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/647736.735461"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of Post- CAV Workshop on Advances in Verification","author":"Visser W.","year":"2000","unstructured":"W. Visser , K. Havelund , G. Brat , and S. Park . Java PathFinder - second generation of a Java model checker . In Proceedings of Post- CAV Workshop on Advances in Verification , July 2000 . W. Visser, K. Havelund, G. Brat, and S. Park. Java PathFinder - second generation of a Java model checker. In Proceedings of Post- CAV Workshop on Advances in Verification, July 2000."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277201"}],"event":{"name":"PPoPP '10: ACM SIGPLAN Principles and Practice of Parallel Computing","location":"Bangalore India","acronym":"PPoPP '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1693453.1693458","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1693453.1693458","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:45:34Z","timestamp":1750236334000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1693453.1693458"}},"subtitle":["effective unit testing for concurrency libraries"],"short-title":[],"issued":{"date-parts":[[2010,1,9]]},"references-count":32,"alternative-id":["10.1145\/1693453.1693458","10.1145\/1693453"],"URL":"https:\/\/doi.org\/10.1145\/1693453.1693458","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1837853.1693458","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,1,9]]},"assertion":[{"value":"2010-01-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}