{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T21:08:22Z","timestamp":1725916102825},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319703886"},{"type":"electronic","value":"9783319703893"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70389-3_3","type":"book-chapter","created":{"date-parts":[[2017,11,11]],"date-time":"2017-11-11T14:42:30Z","timestamp":1510411350000},"page":"35-50","source":"Crossref","is-referenced-by-count":0,"title":["Deferrability Analysis for JavaScript"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Kloos","sequence":"first","affiliation":[]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[]},{"given":"Frank","family":"McCabe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,12]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Adamsen, C.Q., M\u00f8ller, A., Karim, R., Sridharan, M., Tip, F., Sen, K.: Repairing event race errors by controlling nondeterminism. In: ICSE 2017 (2017)","DOI":"10.1109\/ICSE.2017.34"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Aleen, F., Clark, N.: Commutativity analysis for software parallelization: letting program transformations see the big picture. In: ASPLOS 2009 (2009)","DOI":"10.1145\/1508244.1508273"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1109\/PGEC.1966.264565","volume":"5","author":"AJ Bernstein","year":"1966","unstructured":"Bernstein, A.J.: Analysis of programs for parallel processing. IEEE Trans. Elec. Comp. 5, 757\u2013763 (1966)","journal-title":"IEEE Trans. Elec. Comp."},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-54792-8_9","volume-title":"Principles of Security and Trust","author":"A Bichhawat","year":"2014","unstructured":"Bichhawat, A., Rajani, V., Garg, D., Hammer, C.: Information flow control in WebKit\u2019s JavaScript bytecode. In: Abadi, M., Kremer, S. (eds.) POST 2014. LNCS, vol. 8414, pp. 159\u2013178. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54792-8_9"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bodin, M., Chargu\u00e9raud, A., Filaretti, D., Gardner, P., Maffeis, S., Naudziuniene, D., Schmitt, A., Smith, G.: A trusted mechanised JavaScript specification. In: POPL 2014 (2014)","DOI":"10.1145\/2535838.2535876"},{"key":"3_CR6","unstructured":"Bohannon, A., Pierce, B.C.: Featherweight firefox: formalizing the core of a web browser. In: WebApps 2010 (2010)"},{"key":"3_CR7","unstructured":"ECMA International: ECMAScript 2015 Language Specification (2015)"},{"key":"3_CR8","unstructured":"Facebook, Inc.: flow: A static type checker for JavaScript. https:\/\/flowtype.org"},{"key":"3_CR9","unstructured":"Fainberg, L., Ehrlich, O., Shai, G., Gadish, O., DOBO, A., Berger, O.: Systems and methods for acceleration and optimization of web pages access by changing the order of resource loading, February 3, 2011. https:\/\/www.google.com\/patents\/US20110029899 , US Patent App. 12\/848,559"},{"key":"3_CR10","unstructured":"Fortune 500 (2016). http:\/\/beta.fortune.com\/fortune500\/"},{"key":"3_CR11","unstructured":"Gao, Q., Dey, P., Ahammad, P.: Perceived performance of webpages in the wild: insights from large-scale crowdsourcing of above-the-fold QoE (2017). arXiv:1704.01220"},{"key":"3_CR12","unstructured":"Google, Inc.: Remove Render-Blocking JavaScript, April 2015. https:\/\/developers.google.com\/speed\/docs\/insights\/BlockingJS"},{"key":"3_CR13","unstructured":"Google, Inc.: Closure tools (2016). https:\/\/developers.google.com\/closure\/"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-14107-2_7","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"A Guha","year":"2010","unstructured":"Guha, A., Saftoiu, C., Krishnamurthi, S.: The essence of JavaScript. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 126\u2013150. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14107-2_7 . See also http:\/\/arxiv.org\/abs\/1510.00925"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-03237-0_17","volume-title":"Static Analysis","author":"SH Jensen","year":"2009","unstructured":"Jensen, S.H., M\u00f8ller, A., Thiemann, P.: Type analysis for JavaScript. In: Palsberg, J., Su, Z. (eds.) SAS 2009. LNCS, vol. 5673, pp. 238\u2013255. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03237-0_17"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Kashyap, V., Dewey, K., Kuefner, E.A., Wagner, J., Gibbons, K., Sarracino, J., Wiedermann, B., Hardekopf, B.: JSAI: a static analysis platform for JavaScript. In: FSE-22 (2014)","DOI":"10.1145\/2635868.2635904"},{"key":"3_CR17","unstructured":"Kloos, J., Majumdar, R., McCabe, F.: Deferrability analysis for JavaScript. Tech. rep., MPI-SWS (2017). see http:\/\/www.mpi-sws.org\/ jkloos\/jsdefer-tr.pdf"},{"key":"3_CR18","unstructured":"Kuhn, B., Marifet, K., Wogulis, J.: Asynchronous loading of scripts in web pages, April 29, 2014. https:\/\/www.google.com\/patents\/US8713424"},{"key":"3_CR19","unstructured":"Lipton, E., Roy, B., Calvert, S., Gibbs, M., Kothari, N., Harder, M., Reed, D.: Dynamically loading scripts, March 30, 2010. https:\/\/www.google.com\/patents\/US7689665 . US Patent 7,689,665"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Livshits, V.B., Kiciman, E.: Doloto: code splitting for network-bound web 2.0 applications. In: FSE 2008 (2008)","DOI":"10.1145\/1453101.1453151"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-540-89330-1_22","volume-title":"Programming Languages and Systems","author":"S Maffeis","year":"2008","unstructured":"Maffeis, S., Mitchell, J.C., Taly, A.: An operational semantics for JavaScript. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, pp. 307\u2013325. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89330-1_22"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Petrov, B., Vechev, M.T., Sridharan, M., Dolby, J.: Race detection for web applications. In: PLDI 2012 (2012)","DOI":"10.1145\/2254064.2254095"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Raychev, V., Vechev, M.T., Sridharan, M.: Effective race detection for event-driven programs. In: OOPSLA 2013 (2013)","DOI":"10.1145\/2509136.2509538"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Rinard, M.C., Diniz, P.C.: Commutativity analysis: A new analysis framework for parallelizing compilers. In: PLDI 1996 (1996)","DOI":"10.1145\/231379.231390"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Sen, K., Kalasapur, S., Brutch, T.G., Gibbs, S.: Jalangi: a selective record-replay and dynamic analysis framework for Javascript. In: ESEC\/FSE 2013 (2013)","DOI":"10.1145\/2491411.2491447"},{"issue":"12","key":"3_CR26","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/1409360.1409374","volume":"51","author":"S Souders","year":"2008","unstructured":"Souders, S.: High-performance web sites. Commun. ACM 51(12), 36\u201341 (2008)","journal-title":"Commun. ACM"},{"key":"3_CR27","unstructured":"Viscomi, R., Davies, A., Duran, M.: Using WebPageTest: Web Performance Testing for Novices and Power Users, 1st edn. O\u2019Reilly Media Inc. (2015)"},{"key":"3_CR28","unstructured":"WHATWG: HTML - Living Standard , September 2016. https:\/\/html.spec.whatwg.org\/multipage\/"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70389-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T01:29:22Z","timestamp":1570325362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70389-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319703886","9783319703893"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70389-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}