{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T13:23:57Z","timestamp":1773840237974,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T00:00:00Z","timestamp":1339372800000},"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":[[2012,6,11]]},"DOI":"10.1145\/2254064.2254095","type":"proceedings-article","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T09:03:31Z","timestamp":1339405411000},"page":"251-262","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":75,"title":["Race detection for web applications"],"prefix":"10.1145","author":[{"given":"Boris","family":"Petrov","sequence":"first","affiliation":[{"name":"Sofia University, Sofia, Bulgaria"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"given":"Manu","family":"Sridharan","sequence":"additional","affiliation":[{"name":"IBM T.J. Watson Research Center, Hawthorne, USA"}]},{"given":"Julian","family":"Dolby","sequence":"additional","affiliation":[{"name":"IBM T.J. Watson Research Center, Hawthorne, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"HTML5 DOM tree. http:\/\/dev.w3.org\/html5\/spec\/Overview.html#dom-trees.  HTML5 DOM tree. http:\/\/dev.w3.org\/html5\/spec\/Overview.html#dom-trees."},{"key":"e_1_3_2_1_2_1","unstructured":"Timeout specification. http:\/\/www.whatwg.org\/specs\/web-apps\/current-work\/multipage\/timers.html#dom-windowtimers-settimeout.  Timeout specification. http:\/\/www.whatwg.org\/specs\/web-apps\/current-work\/multipage\/timers.html#dom-windowtimers-settimeout."},{"key":"e_1_3_2_1_3_1","unstructured":"WebKit. http:\/\/www.webkit.org\/.  WebKit. http:\/\/www.webkit.org\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985871"},{"key":"e_1_3_2_1_5_1","unstructured":"Document Object Model (DOM) Level 3 Events Specification. http:\/\/www.w3.org\/TR\/DOM-Level-3-Events\/.  Document Object Model (DOM) Level 3 Events Specification. http:\/\/www.w3.org\/TR\/DOM-Level-3-Events\/."},{"key":"e_1_3_2_1_6_1","volume-title":"ECMAScript Language Specification","author":"ECMA.","year":"2009","unstructured":"ECMA. ECMAScript Language Specification , 5 th edition, 2009 . ECMA- 262. ECMA. ECMAScript Language Specification, 5th edition, 2009. ECMA-262.","edition":"5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_8_1","first-page":"151","volume-title":"USENIX Security Symposium","author":"Guarnieri Salvatore","year":"2009","unstructured":"Salvatore Guarnieri and V. Benjamin Livshits . Gatekeeper: Mostly static enforcement of security and reliability policies for JavaScript code . In USENIX Security Symposium , pages 151 -- 168 , 2009 . Salvatore Guarnieri and V. Benjamin Livshits. Gatekeeper: Mostly static enforcement of security and reliability policies for JavaScript code. In USENIX Security Symposium, pages 151--168, 2009."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048121"},{"key":"e_1_3_2_1_10_1","unstructured":"HTML5 specification. http:\/\/www.w3.org\/TR\/html5\/.  HTML5 specification. http:\/\/www.w3.org\/TR\/html5\/."},{"key":"e_1_3_2_1_11_1","volume-title":"Workshop on Exploiting Concurrency Efficiently and Correctly (EC2)","author":"Ide James","year":"2009","unstructured":"James Ide , Ratislav Bodik , and Doug Kimelman . Concurrency concerns in rich Internet applications . In Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) , 2009 . James Ide, Ratislav Bodik, and Doug Kimelman. Concurrency concerns in rich Internet applications. In Workshop on Exploiting Concurrency Efficiently and Correctly (EC2), 2009."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866339"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025125"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1882094.1882114"},{"key":"e_1_3_2_1_15_1","unstructured":"Olav Junker Kjaer. Timing and synchronization in JavaScript. http:\/\/dev.opera.com\/articles\/view\/timing-and-synchronization-in-javascript\/. Accessed 03-November-2011.  Olav Junker Kjaer. Timing and synchronization in JavaScript. http:\/\/dev.opera.com\/articles\/view\/timing-and-synchronization-in-javascript\/. Accessed 03-November-2011."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_17_1","unstructured":"Mozilla Developer Network. https:\/\/developer.mozilla.org\/.  Mozilla Developer Network. https:\/\/developer.mozilla.org\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640091"},{"key":"e_1_3_2_1_19_1","unstructured":"Mozilla Developer Network. Avoiding intermittent oranges. https:\/\/developer.mozilla.org\/en\/QA\/Avoiding_intermittent_oranges. Accessed 18-October-2011.  Mozilla Developer Network. Avoiding intermittent oranges. https:\/\/developer.mozilla.org\/en\/QA\/Avoiding_intermittent_oranges. Accessed 18-October-2011."},{"key":"e_1_3_2_1_20_1","unstructured":"Robert O'Callahan December 2010. Personal communication.  Robert O'Callahan December 2010. Personal communication."},{"key":"e_1_3_2_1_21_1","volume-title":"USENIX Security Symposium","author":"Politz Joe Gibbs","year":"2011","unstructured":"Joe Gibbs Politz , Spiridon Aristides Eliopoulos , Arjun Guha , and Shriram Krishnamurthi . ADsafety : Type-based verification of JavaScript sandboxing . In USENIX Security Symposium , 2011 . Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, and Shriram Krishnamurthi. ADsafety: Type-based verification of JavaScript sandboxing. In USENIX Security Symposium, 2011."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809028.1806598"},{"key":"e_1_3_2_1_23_1","unstructured":"Henri Sivonen. HTML5 script execution changes in Firefox 4. http:\/\/hsivonen.iki.fi\/script-execution\/. Accessed 05-November-2011.  Henri Sivonen. HTML5 script execution changes in Firefox 4. http:\/\/hsivonen.iki.fi\/script-execution\/. Accessed 05-November-2011."},{"key":"e_1_3_2_1_24_1","volume-title":"Even Faster Web Sites: Performance Best Practices for Web Developers","author":"Souders Steve","year":"2009","unstructured":"Steve Souders . Even Faster Web Sites: Performance Best Practices for Web Developers . O'Reilly Media , 2009 . Steve Souders. Even Faster Web Sites: Performance Best Practices for Web Developers. O'Reilly Media, 2009."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1963405.1963517"}],"event":{"name":"PLDI '12: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Beijing China","acronym":"PLDI '12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2254064.2254095","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2254064.2254095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:20:59Z","timestamp":1750224059000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2254064.2254095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,11]]},"references-count":25,"alternative-id":["10.1145\/2254064.2254095","10.1145\/2254064"],"URL":"https:\/\/doi.org\/10.1145\/2254064.2254095","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2345156.2254095","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,6,11]]},"assertion":[{"value":"2012-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}