{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T03:01:41Z","timestamp":1783393301502,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,24]],"date-time":"2009-08-24T00:00:00Z","timestamp":1251072000000},"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":[[2009,8,24]]},"DOI":"10.1145\/1595696.1595701","type":"proceedings-article","created":{"date-parts":[[2009,8,24]],"date-time":"2009-08-24T14:08:35Z","timestamp":1251122915000},"page":"13-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":66,"title":["Static data race detection for concurrent programs with asynchronous calls"],"prefix":"10.1145","author":[{"given":"Vineet","family":"Kahlon","sequence":"first","affiliation":[{"name":"NEC Labs, Princeton, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nishant","family":"Sinha","sequence":"additional","affiliation":[{"name":"NEC Labs, Princeton, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Erik","family":"Kruus","sequence":"additional","affiliation":[{"name":"NEC Labs, Princeton, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yun","family":"Zhang","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,8,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69330-7_11"},{"key":"e_1_3_2_1_2_1","volume-title":"Finding stale-value errors in concurrent programs","author":"Burrows M.","year":"2002","unstructured":"M. Burrows and K. Leino . Finding stale-value errors in concurrent programs . In Compaq Systems Research Center SRC-TR- 2002 -004, 2002. M. Burrows and K. Leino. Finding stale-value errors in concurrent programs. In Compaq Systems Research Center SRC-TR-2002-004, 2002."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287636"},{"key":"e_1_3_2_1_4_1","volume-title":"TR SRC-159 Compaq SRC","author":"Detlefs D.","year":"1998","unstructured":"D. Detlefs , K. Leino , G. Nelson , and J. Saxe . Extended static checking . In TR SRC-159 Compaq SRC , 1998 . D. Detlefs, K. Leino, G. Nelson, and J. Saxe. Extended static checking. In TR SRC-159 Compaq SRC, 1998."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/99163.99165"},{"key":"e_1_3_2_1_6_1","first-page":"242","volume-title":"Context-sensitive interprocedural points-to analysis in the presence of function pointers","author":"Emami M.","year":"1994","unstructured":"M. Emami , R. Ghiya , and L. J. Hendren . Context-sensitive interprocedural points-to analysis in the presence of function pointers . pages 242 -- 256 , 1994 . M. Emami, R. Ghiya, and L. J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. pages 242--256, 1994."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480895"},{"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\/1190216.1190266"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375613"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_12"},{"key":"e_1_3_2_1_13_1","volume-title":"CAV","author":"Kahlon V.","year":"2007","unstructured":"V. Kahlon , Y. Yang , S. Sankaranarayanan , and A. Gupta . Fast and accurate static data-race detection for concurrent programs . In CAV , 2007 . V. Kahlon, Y. Yang, S. Sankaranarayanan, and A. Gupta. Fast and accurate static data-race detection for concurrent programs. In CAV, 2007."},{"key":"e_1_3_2_1_14_1","volume-title":"Technical Note 2000-002","author":"Leino R.","year":"2001","unstructured":"R. Leino , G. Neslon , and J. Saxe . Esc\/java users' manual . In Technical Note 2000-002 , Compaq Systems Research Center , 2001 . R. Leino, G. Neslon, and J. Saxe. Esc\/java users' manual. In Technical Note 2000-002, Compaq Systems Research Center, 2001."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250756"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125861"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190265"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"issue":"4","key":"e_1_3_2_1_19_1","first-page":"298","article-title":"Intel Rthreading building blocks","volume":"23","author":"Pheatt C.","year":"2008","unstructured":"C. Pheatt . Intel Rthreading building blocks . J. Comput. Small Coll. , 23 ( 4 ): 298 -- 298 , 2008 . C. Pheatt. Intel Rthreading building blocks. J. Comput. Small Coll., 23(4):298--298, 2008.","journal-title":"J. Comput. Small Coll."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134019"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/647170.718289"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_23_1","volume-title":"The Boost Graph Library User Guide and Reference Manual (With CD-ROM)","author":"Siek J. G.","year":"2001","unstructured":"J. G. Siek , L.-Q. Lee , and A. Lumsdaine . The Boost Graph Library User Guide and Reference Manual (With CD-ROM) . Addison-Wesley Professional , December 2001 . J. G. Siek, L.-Q. Lee, and A. Lumsdaine. The Boost Graph Library User Guide and Reference Manual (With CD-ROM). Addison-Wesley Professional, December 2001."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_1_25_1","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 , 1993 . N. Sterling. Warlock: A static data race analysis tool. In USENIX Winter Technical Conference, 1993."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/780822.781145"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/502059.502057"}],"event":{"name":"ESEC\/FSE09: Joint 12th European Software Engineering Conference","location":"Amsterdam The Netherlands","acronym":"ESEC\/FSE09","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1595696.1595701","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1595696.1595701","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:18:04Z","timestamp":1750249084000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1595696.1595701"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,24]]},"references-count":27,"alternative-id":["10.1145\/1595696.1595701","10.1145\/1595696"],"URL":"https:\/\/doi.org\/10.1145\/1595696.1595701","relation":{},"subject":[],"published":{"date-parts":[[2009,8,24]]},"assertion":[{"value":"2009-08-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}