{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,26]],"date-time":"2026-01-26T03:18:14Z","timestamp":1769397494832,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,15]]},"DOI":"10.1145\/1065944.1065958","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"107-118","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Scaling model checking of dataraces using dynamic information"],"prefix":"10.1145","author":[{"given":"Ohad","family":"Shacham","sequence":"first","affiliation":[{"name":"Tel Aviv University and IBM Haifa Research Lab"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[{"name":"Tel Aviv University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assaf","family":"Schuster","sequence":"additional","affiliation":[{"name":"Technion"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268974"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_16"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39724-3_6"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1966.264565"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646483.691738"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337306"},{"key":"e_1_3_2_1_7_1","volume-title":"IEEE International Conference on Automated Software Engineering","author":"Brat G.","year":"2000","unstructured":"G. Brat , K. Havelund , S. Park , and W. Visser . Model checking programs . In IEEE International Conference on Automated Software Engineering , September 2000 .]] G. Brat, K. Havelund, S. Park, and W. Visser. Model checking programs. In IEEE International Conference on Automated Software Engineering, September 2000.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_3_2_1_11_1","volume-title":"Model Checking","author":"Clarke E.M.","year":"1999","unstructured":"E.M. Clarke , O. Grumberg , and D.A. Peled . Model Checking . MIT press , December 1999 .]] E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. MIT press, December 1999.]]"},{"key":"e_1_3_2_1_12_1","unstructured":"CMU. CBMC. http:\/\/www-2.cs.cmu.edu\/~modelcheck\/cbmc\/.]]  CMU. CBMC. http:\/\/www-2.cs.cmu.edu\/~modelcheck\/cbmc\/.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.654"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379687"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672085"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_27"},{"key":"e_1_3_2_1_18_1","volume-title":"The SPIN Model Checker","author":"Holzmann G.","year":"2003","unstructured":"G. Holzmann . The SPIN Model Checker . Addison-Wesley , 2003 .]] G. Holzmann. The SPIN Model Checker. Addison-Wesley, 2003.]]"},{"key":"e_1_3_2_1_19_1","volume-title":"http:\/\/www.haifa.il.ibm.com\/projects\/verification\/RB Homepage\/index.html","author":"BM.","year":"2004","unstructured":"I BM. Rulebase parallel edition. http:\/\/www.haifa.il.ibm.com\/projects\/verification\/RB Homepage\/index.html , 2004 .]] IBM. Rulebase parallel edition. http:\/\/www.haifa.il.ibm.com\/projects\/verification\/RB Homepage\/index.html, 2004.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1999.1574"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222138"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581399"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_27_1","unstructured":"K. Shagin. Benchmark programs. http:\/\/www.cs.technion.ac.il\/~konst\/benchmarks\/.]]  K. Shagin. Benchmark programs. http:\/\/www.cs.technion.ac.il\/~konst\/benchmarks\/.]]"},{"key":"e_1_3_2_1_28_1","volume-title":"Spec jvm98 benchmarks","year":"1996","unstructured":"The standard performance evaluation corporation. Spec jvm98 benchmarks ., 1996 . http:\/\/www.spec.org\/osg\/jvm98.]] The standard performance evaluation corporation. Spec jvm98 benchmarks., 1996. http:\/\/www.spec.org\/osg\/jvm98.]]"},{"key":"e_1_3_2_1_29_1","first-page":"97","volume-title":"USENIX Winter Technical Conference","author":"Sterling N.","year":"1993","unstructured":"N. Sterling . Warlock : a static data race analysis tool . In USENIX Winter Technical Conference , pages 97 -- 106 , 1993 .]] N. Sterling. Warlock: a static data race analysis tool. In USENIX Winter Technical Conference, pages 97--106, 1993.]]"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672084"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00263928"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504288"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360206"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/647766.736015"}],"event":{"name":"PPoPP05: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 2005","location":"Chicago IL USA","acronym":"PPoPP05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1065944.1065958","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T12:33:24Z","timestamp":1673008404000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1065944.1065958"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,15]]},"references-count":34,"alternative-id":["10.1145\/1065944.1065958","10.1145\/1065944"],"URL":"https:\/\/doi.org\/10.1145\/1065944.1065958","relation":{},"subject":[],"published":{"date-parts":[[2005,6,15]]},"assertion":[{"value":"2005-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}