{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T02:09:43Z","timestamp":1777342183784,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T00:00:00Z","timestamp":1497398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,14]]},"DOI":"10.1145\/3062341.3062363","type":"proceedings-article","created":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T10:01:04Z","timestamp":1497434464000},"page":"185-200","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":387,"title":["Bringing the web up to speed with WebAssembly"],"prefix":"10.1145","author":[{"given":"Andreas","family":"Haas","sequence":"first","affiliation":[{"name":"Google, Germany"}]},{"given":"Andreas","family":"Rossberg","sequence":"additional","affiliation":[{"name":"Google, Germany"}]},{"given":"Derek L.","family":"Schuff","sequence":"additional","affiliation":[{"name":"Google, USA"}]},{"given":"Ben L.","family":"Titzer","sequence":"additional","affiliation":[{"name":"Google, Germany"}]},{"given":"Michael","family":"Holman","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}]},{"given":"Dan","family":"Gohman","sequence":"additional","affiliation":[{"name":"Mozilla, USA"}]},{"given":"Luke","family":"Wagner","sequence":"additional","affiliation":[{"name":"Mozilla, USA"}]},{"given":"Alon","family":"Zakai","sequence":"additional","affiliation":[{"name":"Mozilla, USA"}]},{"given":"JF","family":"Bastien","sequence":"additional","affiliation":[{"name":"Apple, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Activex controls. https:\/\/msdn.microsoft.com\/en-us\/ library\/aa751968(v=vs.85).aspx. Accessed: 2016-11- 14.  Activex controls. https:\/\/msdn.microsoft.com\/en-us\/ library\/aa751968(v=vs.85).aspx. Accessed: 2016-11- 14."},{"key":"e_1_3_2_1_2_1","unstructured":"Adobe Shockwave Player. https:\/\/get.adobe.com\/ shockwave\/. Accessed: 2016-11-14.  Adobe Shockwave Player. https:\/\/get.adobe.com\/ shockwave\/. Accessed: 2016-11-14."},{"key":"e_1_3_2_1_3_1","unstructured":"ART and Dalvik. https:\/\/source.android.com\/devices\/ tech\/dalvik\/. Accessed: 2016-11-14.  ART and Dalvik. https:\/\/source.android.com\/devices\/ tech\/dalvik\/. Accessed: 2016-11-14."},{"key":"e_1_3_2_1_4_1","unstructured":"asm.js. http:\/\/asmjs.org. Accessed: 2016-11-08.  asm.js. http:\/\/asmjs.org. Accessed: 2016-11-08."},{"key":"e_1_3_2_1_5_1","unstructured":"Indexed Database API. https:\/\/www.w3.org\/TR\/IndexedDB\/. Accessed: 2016-11-08.  Indexed Database API. https:\/\/www.w3.org\/TR\/IndexedDB\/. Accessed: 2016-11-08."},{"key":"e_1_3_2_1_6_1","unstructured":"LEB128. https:\/\/en.wikipedia.org\/wiki\/LEB128. Accessed: 2016-11-08.  LEB128. https:\/\/en.wikipedia.org\/wiki\/LEB128. Accessed: 2016-11-08."},{"key":"e_1_3_2_1_7_1","volume-title":"the polyhedral benchmark suite","unstructured":"PolyBenchC : the polyhedral benchmark suite . http:\/\/web. cs.ucla.edu\/~pouchet\/software\/polybench\/. Accessed: 2017-03-14. PolyBenchC: the polyhedral benchmark suite. http:\/\/web. cs.ucla.edu\/~pouchet\/software\/polybench\/. Accessed: 2017-03-14."},{"key":"e_1_3_2_1_8_1","unstructured":"Scimark 2.0. http:\/\/math.nist.gov\/scimark2\/. Accessed: 2017-03-15.  Scimark 2.0. http:\/\/math.nist.gov\/scimark2\/. Accessed: 2017-03-15."},{"key":"e_1_3_2_1_9_1","unstructured":"Unity benchmarks. http:\/\/beta.unity3d.com\/jonas\/ benchmark2015\/. Accessed: 2017-03-15.  Unity benchmarks. http:\/\/beta.unity3d.com\/jonas\/ benchmark2015\/. Accessed: 2017-03-15."},{"key":"e_1_3_2_1_10_1","first-page":"66","volume-title":"Proceedings of the 18th Conference on USENIX Security Symposium, SSYM\u201909","author":"Akritidis P.","year":"2009","unstructured":"P. Akritidis , M. Costa , M. Castro , and S. Hand . Baggy bounds checking: An efficient and backwards-compatible defense against out-of-bounds errors . In Proceedings of the 18th Conference on USENIX Security Symposium, SSYM\u201909 , pages 51\u2013 66 , Berkeley, CA, USA , 2009 . USENIX Association. P. Akritidis, M. Costa, M. Castro, and S. Hand. Baggy bounds checking: An efficient and backwards-compatible defense against out-of-bounds errors. In Proceedings of the 18th Conference on USENIX Security Symposium, SSYM\u201909, pages 51\u201366, Berkeley, CA, USA, 2009. USENIX Association."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993540"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/202530.202534"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294295"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(72)90034-0"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1947337.1947364"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353534.1346295"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133255.1133999"},{"key":"e_1_3_2_1_18_1","volume-title":"PNaCl: Portable native client executables. Technical report","author":"Donovan A.","year":"2010","unstructured":"A. Donovan , R. Muth , B. Chen , and D. Sehr . PNaCl: Portable native client executables. Technical report , 2010 . A. Donovan, R. Muth, B. Chen, and D. Sehr. PNaCl: Portable native client executables. Technical report, 2010."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786558.2786565"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/143103.143114"},{"key":"e_1_3_2_1_23_1","first-page":"288","volume-title":"Proceedings the USENIX Annual Technical Conference, ATEC \u201902","author":"Jim T.","year":"2002","unstructured":"T. Jim , J. G. Morrisett , D. Grossman , M. W. Hicks , J. Cheney , and Y. Wang . Cyclone: A safe dialect of C . In Proceedings the USENIX Annual Technical Conference, ATEC \u201902 , pages 275\u2013 288 , Berkeley, CA, USA , 2002 . USENIX Association. T. Jim, J. G. Morrisett, D. Grossman, M. W. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C. In Proceedings the USENIX Annual Technical Conference, ATEC \u201902, pages 275\u2013288, Berkeley, CA, USA, 2002. USENIX Association."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025055424017"},{"key":"e_1_3_2_1_26_1","volume-title":"INRIA","author":"Leroy X.","year":"2016","unstructured":"X. Leroy , D. Doligez , A. Frisch , J. Garrigue , D. R\u00e9my , and J. Vouillon . The OCaml system . INRIA , 2016 . X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. R\u00e9my, and J. Vouillon. The OCaml system. INRIA, 2016."},{"key":"e_1_3_2_1_27_1","volume-title":"Oracle","author":"Lindholm T.","year":"2015","unstructured":"T. Lindholm , F. Yellin , G. Bracha , and A. Buckley . The Java Virtual Machine Specification (Java SE 8 Edition). Technical report , Oracle , 2015 . T. Lindholm, F. Yellin, G. Bracha, and A. Buckley. The Java Virtual Machine Specification (Java SE 8 Edition). Technical report, Oracle, 2015."},{"key":"e_1_3_2_1_28_1","volume-title":"In Workshop on Compiler Support for Systems Software","author":"Morrisett G.","year":"1996","unstructured":"G. Morrisett , D. Tarditi , P. Cheng , C. Stone , P. Cheng , P. Lee , C. Stone , R. Harper , and P. Lee . The TIL\/ML compiler: Performance and safety through types . In In Workshop on Compiler Support for Systems Software , 1996 . G. Morrisett, D. Tarditi, P. Cheng, C. Stone, P. Cheng, P. Lee, C. Stone, R. Harper, and P. Lee. The TIL\/ML compiler: Performance and safety through types. In In Workshop on Compiler Support for Systems Software, 1996."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319345"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544147"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542504"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/565816.503286"},{"key":"e_1_3_2_1_35_1","volume-title":"The MIT Press","author":"Pierce B.","year":"2002","unstructured":"B. Pierce . Types and Programming Languages . The MIT Press , Cambridge, Massachusetts, USA , 2002 . B. Pierce. Types and Programming Languages. The MIT Press, Cambridge, Massachusetts, USA, 2002."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.009"},{"key":"e_1_3_2_1_37_1","volume-title":"Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation (TIC\u201997)","author":"Shao Z.","year":"1997","unstructured":"Z. Shao . An overview of the FLINT\/ML compiler . In Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation (TIC\u201997) , Amsterdam, The Netherlands , June 1997 . Z. Shao. An overview of the FLINT\/ML compiler. In Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation (TIC\u201997), Amsterdam, The Netherlands, June 1997."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328195.1328197"},{"key":"e_1_3_2_1_39_1","first-page":"234","volume-title":"Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001","author":"Strk R. F.","year":"2001","unstructured":"R. F. Strk and J. Schmid . Java bytecode verification is not possible (extended abstract) . In Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001 , pages 232\u2013 234 , 2001 . R. F. Strk and J. Schmid. Java bytecode verification is not possible (extended abstract). In Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001, pages 232\u2013234, 2001."},{"key":"e_1_3_2_1_40_1","series-title":"SNAPL \u201915","first-page":"336","volume-title":"1st Summit on Advances in Programming Languages","author":"Wang K.","year":"2015","unstructured":"K. Wang , Y. Lin , S. M. Blackburn , M. Norrish , and A. L. Hosking . Draining the Swamp: Micro virtual machines as a solid foundation for language development . In 1st Summit on Advances in Programming Languages , volume 32 of SNAPL \u201915 , pages 321\u2013 336 , Dagstuhl , Germany , 2015 . K. Wang, Y. Lin, S. M. Blackburn, M. Norrish, and A. L. Hosking. Draining the Swamp: Micro virtual machines as a solid foundation for language development. In 1st Summit on Advances in Programming Languages, volume 32 of SNAPL \u201915, pages 321\u2013336, Dagstuhl, Germany, 2015."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.25"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048147.2048224"}],"event":{"name":"PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Barcelona Spain","acronym":"PLDI '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062363","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3062341.3062363","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:36:32Z","timestamp":1750203392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062363"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,14]]},"references-count":41,"alternative-id":["10.1145\/3062341.3062363","10.1145\/3062341"],"URL":"https:\/\/doi.org\/10.1145\/3062341.3062363","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3140587.3062363","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,6,14]]},"assertion":[{"value":"2017-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}