{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T11:18:38Z","timestamp":1762341518762,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,23]],"date-time":"2020-03-23T00:00:00Z","timestamp":1584921600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Stiftelsen f\u00f6r Strategisk Forskning"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,3,23]]},"DOI":"10.1145\/3397537.3397567","type":"proceedings-article","created":{"date-parts":[[2020,8,4]],"date-time":"2020-08-04T22:14:14Z","timestamp":1596579254000},"page":"36-40","source":"Crossref","is-referenced-by-count":9,"title":["Superoptimization of WebAssembly bytecode"],"prefix":"10.1145","author":[{"given":"Javier","family":"Cabrera Arteaga","sequence":"first","affiliation":[{"name":"KTH, Sweden"}]},{"given":"Shrinish","family":"Donde","sequence":"additional","affiliation":[{"name":"KTH, Sweden"}]},{"given":"Jian","family":"Gu","sequence":"additional","affiliation":[{"name":"KTH, Sweden"}]},{"given":"Orestis","family":"Floros","sequence":"additional","affiliation":[{"name":"KTH, Sweden"}]},{"given":"Lucas","family":"Satabin","sequence":"additional","affiliation":[{"name":"Mobimeo, Germany"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[{"name":"KTH, Sweden"}]},{"given":"Martin","family":"Monperrus","sequence":"additional","affiliation":[{"name":"KTH, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2020,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168906"},{"key":"e_1_3_2_1_2_1","unstructured":"Rudy Bunel Alban Desmaison M. Pawan Kumar Philip H. S. Torr and Pushmeet Kohli. 2016. Learning to superoptimize programs. arXiv e-prints 1 1 Article arXiv:1611.01787 (Nov. 2016) 10 pages. arXiv: cs.LG\/1611.01787  Rudy Bunel Alban Desmaison M. Pawan Kumar Philip H. S. Torr and Pushmeet Kohli. 2016. Learning to superoptimize programs. arXiv e-prints 1 1 Article arXiv:1611.01787 (Nov. 2016) 10 pages. arXiv: cs.LG\/1611.01787"},{"volume-title":"Retrieved","year":"2013","author":"Chrome Google","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093336.3037754"},{"key":"e_1_3_2_1_5_1","unstructured":"Emscripten Community. 2015. emscripten-core\/emscripten. Retrieved 2019-12- 11 from https:\/\/github.com\/emscripten-core\/emscripten  Emscripten Community. 2015. emscripten-core\/emscripten. Retrieved 2019-12- 11 from https:\/\/github.com\/emscripten-core\/emscripten"},{"key":"e_1_3_2_1_6_1","unstructured":"LLVM community. 2019. LLVM 10 documentation. Retrieved 2019-12-12 from http:\/\/llvm.org\/docs\/  LLVM community. 2019. LLVM 10 documentation. Retrieved 2019-12-12 from http:\/\/llvm.org\/docs\/"},{"key":"e_1_3_2_1_7_1","unstructured":"World Wide Web Consortium. 2016. WebAssembly becomes a W3C Recommendation. Retrieved Dec 5 2019 from https:\/\/www.w3.org\/2019\/12\/pressreleasewasm-rec.html  World Wide Web Consortium. 2016. WebAssembly becomes a W3C Recommendation. Retrieved Dec 5 2019 from https:\/\/www.w3.org\/2019\/12\/pressreleasewasm-rec.html"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993506"},{"volume-title":"Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","year":"2019","author":"Singh Robbert Gurdeep","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3140587.3062363"},{"key":"e_1_3_2_1_12_1","first-page":"5","article-title":"Superoptimizer: a look at the smallest program","volume":"15","author":"Henry Massalin","year":"1987","journal-title":"ACM SIGARCH Computer Architecture News"},{"key":"e_1_3_2_1_13_1","unstructured":"org\/10.1145\/36177.36194 10.1145\/36177.36194  org\/10.1145\/36177.36194 10.1145\/36177.36194"},{"key":"e_1_3_2_1_14_1","unstructured":"LLVM. 2019. WebAssembly lld port \u2014 lld 10 documentation. https:\/\/lld.llvm. org\/WebAssembly.html  LLVM. 2019. WebAssembly lld port \u2014 lld 10 documentation. https:\/\/lld.llvm. org\/WebAssembly.html"},{"key":"e_1_3_2_1_15_1","unstructured":"WebAssembly. Development of WebAssembly and associated infrastructure. 2017. emscripten-core\/emscripten. Retrieved 2019-12-11 from https:\/\/github.com\/ WebAssembly\/binaryen  WebAssembly. Development of WebAssembly and associated infrastructure. 2017. emscripten-core\/emscripten. Retrieved 2019-12-11 from https:\/\/github.com\/ WebAssembly\/binaryen"},{"volume-title":"Souper: A Synthesizing Superoptimizer. arXiv e-prints 2, 1, Article arXiv:1711.04422 (Nov.","year":"2017","author":"Sasnauskas Raimondas","key":"e_1_3_2_1_16_1"}],"event":{"name":"<Programming> '20: 4th International Conference on the Art, Science, and Engineering of Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Porto Portugal","acronym":"<Programming> '20"},"container-title":["Conference Companion of the 4th International Conference on Art, Science, and Engineering of Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3397537.3397567","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3397537.3397567","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:45Z","timestamp":1750197765000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3397537.3397567"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,23]]},"references-count":16,"alternative-id":["10.1145\/3397537.3397567","10.1145\/3397537"],"URL":"https:\/\/doi.org\/10.1145\/3397537.3397567","relation":{},"subject":[],"published":{"date-parts":[[2020,3,23]]}}}