{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:16:05Z","timestamp":1782875765000,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":89,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"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":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598068","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"436-448","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Exploring Missed Optimizations in WebAssembly Optimizers"],"prefix":"10.1145","author":[{"given":"Zhibo","family":"Liu","sequence":"first","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dongwei","family":"Xiao","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zongjie","family":"Li","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shuai","family":"Wang","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wei","family":"Meng","sequence":"additional","affiliation":[{"name":"Chinese University of Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. Binaryen vs LLVM as a compiler backend. https:\/\/github.com\/WebAssembly\/binaryen\/discussions\/3886 \t\t\t\t  2021. Binaryen vs LLVM as a compiler backend. https:\/\/github.com\/WebAssembly\/binaryen\/discussions\/3886"},{"key":"e_1_3_2_1_2_1","unstructured":"2022. AssemblyScript. https:\/\/github.com\/AssemblyScript\/assemblyscript \t\t\t\t  2022. AssemblyScript. https:\/\/github.com\/AssemblyScript\/assemblyscript"},{"key":"e_1_3_2_1_3_1","unstructured":"2022. Awesome WebAssembly Languages. https:\/\/github.com\/appcypher\/awesome-wasm-langs \t\t\t\t  2022. Awesome WebAssembly Languages. https:\/\/github.com\/appcypher\/awesome-wasm-langs"},{"key":"e_1_3_2_1_4_1","unstructured":"2022. Browsers support WebAssembly. https:\/\/caniuse.com\/?search=WebAssembly \t\t\t\t  2022. Browsers support WebAssembly. https:\/\/caniuse.com\/?search=WebAssembly"},{"key":"e_1_3_2_1_5_1","unstructured":"2022. Ditwo Artifact. https:\/\/github.com\/monkbai\/wasm-testing \t\t\t\t  2022. Ditwo Artifact. https:\/\/github.com\/monkbai\/wasm-testing"},{"key":"e_1_3_2_1_6_1","unstructured":"2022. Ethereum WebAssembly. https:\/\/ewasm.readthedocs.io\/en\/mkdocs\/ \t\t\t\t  2022. Ethereum WebAssembly. https:\/\/ewasm.readthedocs.io\/en\/mkdocs\/"},{"key":"e_1_3_2_1_7_1","unstructured":"2022. ink! Documentation. https:\/\/use.ink\/ \t\t\t\t  2022. ink! Documentation. https:\/\/use.ink\/"},{"key":"e_1_3_2_1_8_1","unstructured":"2022. Terra Wasm Module. https:\/\/docs.terra.money\/develop\/module-specifications\/spec-wasm\/ \t\t\t\t  2022. Terra Wasm Module. https:\/\/docs.terra.money\/develop\/module-specifications\/spec-wasm\/"},{"key":"e_1_3_2_1_9_1","unstructured":"2022. TinyGo. https:\/\/github.com\/tinygo-org\/tinygo \t\t\t\t  2022. TinyGo. https:\/\/github.com\/tinygo-org\/tinygo"},{"key":"e_1_3_2_1_10_1","unstructured":"2022. wasm-bindgen. https:\/\/github.com\/rustwasm\/wasm-bindgen \t\t\t\t  2022. wasm-bindgen. https:\/\/github.com\/rustwasm\/wasm-bindgen"},{"key":"e_1_3_2_1_11_1","unstructured":"2022. wasm3. https:\/\/github.com\/wasm3\/wasm3 \t\t\t\t  2022. wasm3. https:\/\/github.com\/wasm3\/wasm3"},{"key":"e_1_3_2_1_12_1","unstructured":"2022. WasmEdgeRuntime. https:\/\/github.com\/WasmEdge\/WasmEdge \t\t\t\t  2022. WasmEdgeRuntime. https:\/\/github.com\/WasmEdge\/WasmEdge"},{"key":"e_1_3_2_1_13_1","unstructured":"2022. wasmer. https:\/\/github.com\/wasmerio\/wasmer \t\t\t\t  2022. wasmer. https:\/\/github.com\/wasmerio\/wasmer"},{"key":"e_1_3_2_1_14_1","unstructured":"2022. wasmi. https:\/\/github.com\/paritytech\/wasmi \t\t\t\t  2022. wasmi. https:\/\/github.com\/paritytech\/wasmi"},{"key":"e_1_3_2_1_15_1","unstructured":"2022. wasmtime. https:\/\/github.com\/bytecodealliance\/wasmtime \t\t\t\t  2022. wasmtime. https:\/\/github.com\/bytecodealliance\/wasmtime"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1749608.1749612"},{"key":"e_1_3_2_1_17_1","volume-title":"Working Conference on Verified Software: Theories, Tools, and Experiments. 202\u2013213","author":"Balakrishnan Gogul","year":"2005","unstructured":"Gogul Balakrishnan , Thomas Reps , David Melski , and Tim Teitelbaum . 2005 . Wysinwyx: What you see is not what you execute . In Working Conference on Verified Software: Theories, Tools, and Experiments. 202\u2013213 . Gogul Balakrishnan, Thomas Reps, David Melski, and Tim Teitelbaum. 2005. Wysinwyx: What you see is not what you execute. In Working Conference on Verified Software: Theories, Tools, and Experiments. 202\u2013213."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179521"},{"key":"e_1_3_2_1_19_1","unstructured":"bytecodealliance. [n. d.]. Wasmtime Fuzzer. https:\/\/github.com\/bytecodealliance\/wasmtime\/tree\/main\/fuzz \t\t\t\t  bytecodealliance. [n. d.]. Wasmtime Fuzzer. https:\/\/github.com\/bytecodealliance\/wasmtime\/tree\/main\/fuzz"},{"key":"e_1_3_2_1_20_1","volume-title":"International Symposium on Code Generation and Optimization (CGO\u201906)","author":"Chakrabarti Dhruva R","year":"2006","unstructured":"Dhruva R Chakrabarti and Shin-Ming Liu . 2006 . Inline analysis: Beyond selection heuristics . In International Symposium on Code Generation and Optimization (CGO\u201906) . 12\u2013pp. Dhruva R Chakrabarti and Shin-Ming Liu. 2006. Inline analysis: Beyond selection heuristics. In International Symposium on Code Generation and Optimization (CGO\u201906). 12\u2013pp."},{"key":"e_1_3_2_1_21_1","volume-title":"2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE). 1257\u20131268","author":"Chen Yuting","year":"2019","unstructured":"Yuting Chen , Ting Su , and Zhendong Su . 2019 . Deep differential testing of JVM implementations . In 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE). 1257\u20131268 . Yuting Chen, Ting Su, and Zhendong Su. 2019. Deep differential testing of JVM implementations. In 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE). 1257\u20131268."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Yuting Chen Ting Su Chengnian Sun Zhendong Su and Jianjun Zhao. 2016. Coverage-directed Differential Testing of JVM Implementations. In PLDI. \t\t\t\t  Yuting Chen Ting Su Chengnian Sun Zhendong Su and Jianjun Zhao. 2016. Coverage-directed Differential Testing of JVM Implementations. In PLDI.","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_1_23_1","unstructured":"Emscripten Contributors. 2022. Emscripten. https:\/\/github.com\/emscripten-core\/emscripten \t\t\t\t  Emscripten Contributors. 2022. Emscripten. https:\/\/github.com\/emscripten-core\/emscripten"},{"key":"e_1_3_2_1_24_1","unstructured":"Grain core team. 2022. Grain Compiler. https:\/\/github.com\/grain-lang\/grain \t\t\t\t  Grain core team. 2022. Grain Compiler. https:\/\/github.com\/grain-lang\/grain"},{"key":"e_1_3_2_1_25_1","unstructured":"Clang Developers. 2022. Clang-Tidy - Extra Clang Tools 16.0.0git documentation. https:\/\/clang.llvm.org\/extra\/clang-tidy\/ \t\t\t\t  Clang Developers. 2022. Clang-Tidy - Extra Clang Tools 16.0.0git documentation. https:\/\/clang.llvm.org\/extra\/clang-tidy\/"},{"key":"e_1_3_2_1_26_1","unstructured":"LLVM Project Developers. 2022. llvm-dwarfdump - dump and verify DWARF debug information. https:\/\/llvm.org\/docs\/CommandGuide\/llvm-dwarfdump.html \t\t\t\t  LLVM Project Developers. 2022. llvm-dwarfdump - dump and verify DWARF debug information. https:\/\/llvm.org\/docs\/CommandGuide\/llvm-dwarfdump.html"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00009"},{"key":"e_1_3_2_1_28_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Flores-Montoya Antonio","year":"2020","unstructured":"Antonio Flores-Montoya and Eric Schulte . 2020 . Datalog disassembly . In 29th USENIX Security Symposium (USENIX Security 20) . 1075\u20131092. Antonio Flores-Montoya and Eric Schulte. 2020. Datalog disassembly. In 29th USENIX Security Symposium (USENIX Security 20). 1075\u20131092."},{"key":"e_1_3_2_1_29_1","volume-title":"Taintassembly: Taint-based information flow control tracking for webassembly. arXiv preprint arXiv:1802.01050.","author":"Fu William","year":"2018","unstructured":"William Fu , Raymond Lin , and Daniel Inge . 2018 . Taintassembly: Taint-based information flow control tracking for webassembly. arXiv preprint arXiv:1802.01050. William Fu, Raymond Lin, and Daniel Inge. 2018. Taintassembly: Taint-based information flow control tracking for webassembly. arXiv preprint arXiv:1802.01050."},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 20th International Middleware Conference. 123\u2013135","author":"Goltzsche David","year":"2019","unstructured":"David Goltzsche , Manuel Nieke , Thomas Knauth , and R\u00fcdiger Kapitza . 2019 . Acctee: A webassembly-based two-way sandbox for trusted resource accounting . In Proceedings of the 20th International Middleware Conference. 123\u2013135 . David Goltzsche, Manuel Nieke, Thomas Knauth, and R\u00fcdiger Kapitza. 2019. Acctee: A webassembly-based two-way sandbox for trusted resource accounting. In Proceedings of the 20th International Middleware Conference. 123\u2013135."},{"key":"e_1_3_2_1_31_1","unstructured":"WebAssembly Group. 2022. Binaryen. https:\/\/github.com\/WebAssembly\/binaryen \t\t\t\t  WebAssembly Group. 2022. Binaryen. https:\/\/github.com\/WebAssembly\/binaryen"},{"key":"e_1_3_2_1_32_1","unstructured":"WebAssembly Group. 2022. Binaryen Optimizations. https:\/\/github.com\/WebAssembly\/binaryen#binaryen-optimizations \t\t\t\t  WebAssembly Group. 2022. Binaryen Optimizations. https:\/\/github.com\/WebAssembly\/binaryen#binaryen-optimizations"},{"key":"e_1_3_2_1_33_1","unstructured":"WebAssembly Group. 2022. Roadmap - WebAssembly. https:\/\/webassembly.org\/roadmap\/ \t\t\t\t  WebAssembly Group. 2022. Roadmap - WebAssembly. https:\/\/webassembly.org\/roadmap\/"},{"key":"e_1_3_2_1_34_1","volume-title":"WABT: The WebAssembly Binary Toolkit. https:\/\/github.com\/WebAssembly\/wabt","author":"WebAssembly Group","year":"2022","unstructured":"WebAssembly Group . 2022 . WABT: The WebAssembly Binary Toolkit. https:\/\/github.com\/WebAssembly\/wabt WebAssembly Group. 2022. WABT: The WebAssembly Binary Toolkit. https:\/\/github.com\/WebAssembly\/wabt"},{"key":"e_1_3_2_1_35_1","unstructured":"WebAssembly Group. 2022. wasm-opt peephole optimizations. https:\/\/github.com\/WebAssembly\/binaryen\/blob\/main\/src\/passes\/OptimizeInstructions.cpp \t\t\t\t  WebAssembly Group. 2022. wasm-opt peephole optimizations. https:\/\/github.com\/WebAssembly\/binaryen\/blob\/main\/src\/passes\/OptimizeInstructions.cpp"},{"key":"e_1_3_2_1_36_1","unstructured":"WebAssembly Community Group. 2022. Use Cases - WebAssembly. https:\/\/webassembly.org\/docs\/use-cases\/ \t\t\t\t  WebAssembly Community Group. 2022. Use Cases - WebAssembly. https:\/\/webassembly.org\/docs\/use-cases\/"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3264835"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062363"},{"key":"e_1_3_2_1_39_1","volume-title":"2008 IEEE International Symposium on Circuits and Systems (ISCAS). 1192\u20131195","author":"Hara Yuko","year":"2008","unstructured":"Yuko Hara , Hiroyuki Tomiyama , Shinya Honda , Hiroaki Takada , and Katsuya Ishii . 2008 . Chstone: A benchmark program suite for practical c-based high-level synthesis . In 2008 IEEE International Symposium on Circuits and Systems (ISCAS). 1192\u20131195 . Yuko Hara, Hiroyuki Tomiyama, Shinya Honda, Hiroaki Takada, and Katsuya Ishii. 2008. Chstone: A benchmark program suite for practical c-based high-level synthesis. In 2008 IEEE International Symposium on Circuits and Systems (ISCAS). 1192\u20131195."},{"key":"e_1_3_2_1_40_1","volume-title":"WAFL: Binary-Only WebAssembly Fuzzing with Fast Snapshots. In Reversing and Offensive-oriented Trends Symposium. 23\u201330","author":"Keno","unstructured":"Keno Ha\u00df ler and Dominik Maier. 2021 . WAFL: Binary-Only WebAssembly Fuzzing with Fast Snapshots. In Reversing and Offensive-oriented Trends Symposium. 23\u201330 . Keno Ha\u00df ler and Dominik Maier. 2021. WAFL: Binary-Only WebAssembly Fuzzing with Fast Snapshots. In Reversing and Offensive-oriented Trends Symposium. 23\u201330."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243866"},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the Web Conference","author":"Hilbig Aaron","year":"2021","unstructured":"Aaron Hilbig , Daniel Lehmann , and Michael Pradel . 2021 . An empirical study of real-world webassembly binaries: Security, languages, use cases . In Proceedings of the Web Conference 2021. 2696\u20132708. Aaron Hilbig, Daniel Lehmann, and Michael Pradel. 2021. An empirical study of real-world webassembly binaries: Security, languages, use cases. In Proceedings of the Web Conference 2021. 2696\u20132708."},{"key":"e_1_3_2_1_43_1","volume-title":"Asterius: A Haskell to WebAssembly compiler. https:\/\/github.com\/tweag\/asterius","author":"Tweag","year":"2022","unstructured":"Tweag I\/O. 2022 . Asterius: A Haskell to WebAssembly compiler. https:\/\/github.com\/tweag\/asterius Tweag I\/O. 2022. Asterius: A Haskell to WebAssembly compiler. https:\/\/github.com\/tweag\/asterius"},{"key":"e_1_3_2_1_44_1","volume-title":"Native Code. In 2019 USENIX Annual Technical Conference (USENIX ATC 19)","author":"Jangda Abhinav","year":"2019","unstructured":"Abhinav Jangda , Bobby Powers , Emery D Berger , and Arjun Guha . 2019 . Not So Fast: Analyzing the Performance of WebAssembly vs . Native Code. In 2019 USENIX Annual Technical Conference (USENIX ATC 19) . 107\u2013120. Abhinav Jangda, Bobby Powers, Emery D Berger, and Arjun Guha. 2019. Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code. In 2019 USENIX Annual Technical Conference (USENIX ATC 19). 107\u2013120."},{"key":"e_1_3_2_1_45_1","volume-title":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 590\u2013600","author":"Kapus Timotej","year":"2017","unstructured":"Timotej Kapus and Cristian Cadar . 2017 . Automatic testing of symbolic execution engines via program generation and differential testing . In 2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 590\u2013600 . Timotej Kapus and Cristian Cadar. 2017. Automatic testing of symbolic execution engines via program generation and differential testing. In 2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 590\u2013600."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Matthew Kolosick Shravan Narayan Conrad Watt Michael LeMay Deepak Garg Ranjit Jhala and Deian Stefan. 2021. Isolation Without Taxation: Near Zero Cost Transitions for SFI. arXiv preprint arXiv:2105.00033. \t\t\t\t  Matthew Kolosick Shravan Narayan Conrad Watt Michael LeMay Deepak Garg Ranjit Jhala and Deian Stefan. 2021. Isolation Without Taxation: Near Zero Cost Transitions for SFI. arXiv preprint arXiv:2105.00033.","DOI":"10.1145\/3498688"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Vu Le Mehrdad Afshari and Zhendong Su. 2014. Compiler Validation via Equivalence Modulo Inputs. In PLDI. \t\t\t\t  Vu Le Mehrdad Afshari and Zhendong Su. 2014. Compiler Validation via Equivalence Modulo Inputs. In PLDI.","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Vu Le Chengnian Sun and Zhendong Su. 2015. Finding Deep Compiler Bugs via Guided Stochastic Program Mutation. In OOPSLA. \t\t\t\t  Vu Le Chengnian Sun and Zhendong Su. 2015. Finding Deep Compiler Bugs via Guided Stochastic Program Mutation. In OOPSLA.","DOI":"10.1145\/2814270.2814319"},{"key":"e_1_3_2_1_49_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Lehmann Daniel","year":"2020","unstructured":"Daniel Lehmann , Johannes Kinder , and Michael Pradel . 2020 . Everything Old is New Again: Binary Security of WebAssembly . In 29th USENIX Security Symposium (USENIX Security 20) . 217\u2013234. Daniel Lehmann, Johannes Kinder, and Michael Pradel. 2020. Everything Old is New Again: Binary Security of WebAssembly. In 29th USENIX Security Symposium (USENIX Security 20). 217\u2013234."},{"key":"e_1_3_2_1_50_1","volume-title":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. 1045\u20131058","author":"Lehmann Daniel","year":"2019","unstructured":"Daniel Lehmann and Michael Pradel . 2019 . Wasabi: A framework for dynamically analyzing webassembly . In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. 1045\u20131058 . Daniel Lehmann and Michael Pradel. 2019. Wasabi: A framework for dynamically analyzing webassembly. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. 1045\u20131058."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523449"},{"key":"e_1_3_2_1_52_1","volume-title":"Martin Toldam Torp, and Michael Pradel","author":"Lehmann Daniel","year":"2021","unstructured":"Daniel Lehmann , Martin Toldam Torp, and Michael Pradel . 2021 . Fuzzm : Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly . arXiv preprint arXiv:2110.15433. Daniel Lehmann, Martin Toldam Torp, and Michael Pradel. 2021. Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly. arXiv preprint arXiv:2110.15433."},{"key":"e_1_3_2_1_53_1","volume-title":"Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","volume":"3","author":"Li Shaohua","year":"2023","unstructured":"Shaohua Li and Zhendong Su . 2023 . Finding Unstable Code via Compiler-Driven Differential Testing . In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems , Volume 3 . 238\u2013251. Shaohua Li and Zhendong Su. 2023. Finding Unstable Code via Compiler-Driven Differential Testing. In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3. 238\u2013251."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397370"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737965"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_57_1","volume-title":"2021 IEEE 37th International Conference on Data Engineering (ICDE). 205\u2013216","author":"M\u00e9n\u00e9trey J\u00e4mes","year":"2021","unstructured":"J\u00e4mes M\u00e9n\u00e9trey , Marcelo Pasin , Pascal Felber , and Valerio Schiavoni . 2021 . Twine: An embedded trusted runtime for webassembly . In 2021 IEEE 37th International Conference on Data Engineering (ICDE). 205\u2013216 . J\u00e4mes M\u00e9n\u00e9trey, Marcelo Pasin, Pascal Felber, and Valerio Schiavoni. 2021. Twine: An embedded trusted runtime for webassembly. In 2021 IEEE 37th International Conference on Data Engineering (ICDE). 205\u2013216."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908109"},{"key":"e_1_3_2_1_59_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Narayan Shravan","year":"2020","unstructured":"Shravan Narayan , Craig Disselkoen , Tal Garfinkel , Nathan Froyd , Eric Rahm , Sorin Lerner , Hovav Shacham , and Deian Stefan . 2020 . Retrofitting fine grain isolation in the Firefox renderer . In 29th USENIX Security Symposium (USENIX Security 20) . 699\u2013716. Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, and Deian Stefan. 2020. Retrofitting fine grain isolation in the Firefox renderer. In 29th USENIX Security Symposium (USENIX Security 20). 699\u2013716."},{"key":"e_1_3_2_1_60_1","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Narayan Shravan","year":"2021","unstructured":"Shravan Narayan , Craig Disselkoen , Daniel Moghimi , Sunjay Cauligi , Evan Johnson , Zhao Gang , Anjo Vahldiek-Oberwagner , Ravi Sahita , Hovav Shacham , and Dean Tullsen . 2021 . Swivel: Hardening WebAssembly against Spectre . In 30th USENIX Security Symposium (USENIX Security 21) . 1433\u20131450. Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, and Dean Tullsen. 2021. Swivel: Hardening WebAssembly against Spectre. In 30th USENIX Security Symposium (USENIX Security 21). 1433\u20131450."},{"key":"e_1_3_2_1_61_1","volume-title":"Gobi: WebAssembly as a practical path to library sandboxing. arXiv preprint arXiv:1912.02285.","author":"Narayan Shravan","year":"2019","unstructured":"Shravan Narayan , Tal Garfinkel , Sorin Lerner , Hovav Shacham , and Deian Stefan . 2019 . Gobi: WebAssembly as a practical path to library sandboxing. arXiv preprint arXiv:1912.02285. Shravan Narayan, Tal Garfinkel, Sorin Lerner, Hovav Shacham, and Deian Stefan. 2019. Gobi: WebAssembly as a practical path to library sandboxing. arXiv preprint arXiv:1912.02285."},{"key":"e_1_3_2_1_62_1","unstructured":"Senthil Padmanabhan and Pranav Jha. 2022. WebAssembly at eBay: A Real-World Use Case. https:\/\/tech.ebayinc.com\/engineering\/webassembly-at-ebay-a-real-world-use-case\/ \t\t\t\t  Senthil Padmanabhan and Pranav Jha. 2022. WebAssembly at eBay: A Real-World Use Case. https:\/\/tech.ebayinc.com\/engineering\/webassembly-at-ebay-a-real-world-use-case\/"},{"key":"e_1_3_2_1_63_1","volume-title":"Proceedings of the 19th international symposium on Software testing and analysis. 265\u2013274","author":"Paleari Roberto","year":"2010","unstructured":"Roberto Paleari , Lorenzo Martignoni , Giampaolo Fresi Roglia , and Danilo Bruschi . 2010 . N-version disassembly: differential testing of x86 disassemblers . In Proceedings of the 19th international symposium on Software testing and analysis. 265\u2013274 . Roberto Paleari, Lorenzo Martignoni, Giampaolo Fresi Roglia, and Danilo Bruschi. 2010. N-version disassembly: differential testing of x86 disassemblers. In Proceedings of the 19th international symposium on Software testing and analysis. 265\u2013274."},{"key":"e_1_3_2_1_64_1","volume-title":"Netscape and Sun announce JavaScript, the open cross-platform object scripting language for enterprise networks and the internet","author":"Paolini G","unstructured":"G Paolini . 1994. Netscape and Sun announce JavaScript, the open cross-platform object scripting language for enterprise networks and the internet . Press Release]. Sun Microsystems, Inc . G Paolini. 1994. Netscape and Sun announce JavaScript, the open cross-platform object scripting language for enterprise networks and the internet. Press Release]. Sun Microsystems, Inc."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409710"},{"key":"e_1_3_2_1_67_1","volume-title":"An Empirical Study of Bugs in WebAssembly Compilers. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 42\u201354","author":"Romano Alan","year":"2021","unstructured":"Alan Romano , Xinyue Liu , Yonghwi Kwon , and Weihang Wang . 2021 . An Empirical Study of Bugs in WebAssembly Compilers. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 42\u201354 . Alan Romano, Xinyue Liu, Yonghwi Kwon, and Weihang Wang. 2021. An Empirical Study of Bugs in WebAssembly Compilers. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 42\u201354."},{"key":"e_1_3_2_1_68_1","volume-title":"2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1321\u20131325","author":"Romano Alan","year":"2020","unstructured":"Alan Romano and Weihang Wang . 2020 . Wasim: Understanding webassembly applications through classification . In 2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1321\u20131325 . Alan Romano and Weihang Wang. 2020. Wasim: Understanding webassembly applications through classification. In 2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1321\u20131325."},{"key":"e_1_3_2_1_69_1","unstructured":"The Rust and WebAssembly Working Group. 2022. Shrinking .wasm Code Size - Rust and WebAssembly. https:\/\/rustwasm.github.io\/docs\/book\/reference\/code-size.html \t\t\t\t  The Rust and WebAssembly Working Group. 2022. Shrinking .wasm Code Size - Rust and WebAssembly. https:\/\/rustwasm.github.io\/docs\/book\/reference\/code-size.html"},{"key":"e_1_3_2_1_70_1","volume-title":"Proceedings of the compilation of the co-located workshops on DSM\u201911","author":"Sewe Andreas","year":"2011","unstructured":"Andreas Sewe , Jannik Jochem , and Mira Mezini . 2011 . Next in line, please! exploiting the indirect benefits of inlining by accurately predicting further inlining . In Proceedings of the compilation of the co-located workshops on DSM\u201911 , TMC\u201911, AGERE! 2011, AOOPES\u201911, NEAT\u201911, & VMIL\u201911. 317\u2013328. Andreas Sewe, Jannik Jochem, and Mira Mezini. 2011. Next in line, please! exploiting the indirect benefits of inlining by accurately predicting further inlining. In Proceedings of the compilation of the co-located workshops on DSM\u201911, TMC\u201911, AGERE! 2011, AOOPES\u201911, NEAT\u201911, & VMIL\u201911. 317\u2013328."},{"key":"e_1_3_2_1_71_1","volume-title":"2020 USENIX Annual Technical Conference (USENIX ATC 20)","author":"Shillaker Simon","year":"2020","unstructured":"Simon Shillaker and Peter Pietzuch . 2020 . Faasm: Lightweight isolation for efficient stateful serverless computing . In 2020 USENIX Annual Technical Conference (USENIX ATC 20) . 419\u2013433. Simon Shillaker and Peter Pietzuch. 2020. Faasm: Lightweight isolation for efficient stateful serverless computing. In 2020 USENIX Annual Technical Conference (USENIX ATC 20). 419\u2013433."},{"key":"e_1_3_2_1_72_1","first-page":"618","article-title":"Massive stochastic testing of SQL","volume":"98","author":"Slutz Donald R","year":"1998","unstructured":"Donald R Slutz . 1998 . Massive stochastic testing of SQL . In VLDB. 98 , 618 \u2013 622 . Donald R Slutz. 1998. Massive stochastic testing of SQL. In VLDB. 98, 618\u2013622.","journal-title":"VLDB."},{"key":"e_1_3_2_1_73_1","unstructured":"Daniel Smilkov Nikhil Thorat and Ann Yuan. 2022. Introducing the WebAssembly backend for TensorFlow.js. https:\/\/blog.tensorflow.org\/2020\/03\/introducing-webassembly-backend-for-tensorflow-js.html \t\t\t\t  Daniel Smilkov Nikhil Thorat and Ann Yuan. 2022. Introducing the WebAssembly backend for TensorFlow.js. https:\/\/blog.tensorflow.org\/2020\/03\/introducing-webassembly-backend-for-tensorflow-js.html"},{"key":"e_1_3_2_1_74_1","volume-title":"Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries. In 2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE). 2031\u20132042","author":"Sti\u00e9venart Quentin","year":"2022","unstructured":"Quentin Sti\u00e9venart , David W Binkley , and Coen De Roover . 2022 . Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries. In 2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE). 2031\u20132042 . Quentin Sti\u00e9venart, David W Binkley, and Coen De Roover. 2022. Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries. In 2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE). 2031\u20132042."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_76_1","unstructured":"Chengnian Sun Vu Le and Zhendong Su. 2016. Finding Compiler Bugs via Live Code Mutation. In OOPSLA. \t\t\t\t  Chengnian Sun Vu Le and Zhendong Su. 2016. Finding Compiler Bugs via Live Code Mutation. In OOPSLA."},{"key":"e_1_3_2_1_77_1","unstructured":"Aron Szanto Timothy Tamm and Artidoro Pagnoni. 2018. Taint tracking for webassembly. arXiv preprint arXiv:1807.08349. \t\t\t\t  Aron Szanto Timothy Tamm and Artidoro Pagnoni. 2018. Taint tracking for webassembly. arXiv preprint arXiv:1807.08349."},{"key":"e_1_3_2_1_78_1","unstructured":"Leaning Technologies. 2022. An Enterprise-Grade C++ Compiler For The Web. https:\/\/leaningtech.com\/cheerp\/ \t\t\t\t  Leaning Technologies. 2022. An Enterprise-Grade C++ Compiler For The Web. https:\/\/leaningtech.com\/cheerp\/"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507744"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507764"},{"key":"e_1_3_2_1_81_1","volume-title":"Ramblr: Making Reassembly Great Again. In NDSS.","author":"Wang Ruoyu","year":"2017","unstructured":"Ruoyu Wang , Yan Shoshitaishvili , Antonio Bianchi , Aravind Machiry , John Grosen , Paul Grosen , Christopher Kruegel , and Giovanni Vigna . 2017 . Ramblr: Making Reassembly Great Again. In NDSS. Ruoyu Wang, Yan Shoshitaishvili, Antonio Bianchi, Aravind Machiry, John Grosen, Paul Grosen, Christopher Kruegel, and Giovanni Vigna. 2017. Ramblr: Making Reassembly Great Again. In NDSS."},{"key":"e_1_3_2_1_82_1","unstructured":"Shuai Wang Pei Wang and Dinghao Wu. 2015. Reassembleable Disassembling. In USENIX Sec.. \t\t\t\t  Shuai Wang Pei Wang and Dinghao Wu. 2015. Reassembleable Disassembling. In USENIX Sec.."},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"crossref","unstructured":"Wenwen Wang. 2022. How Far We\u2019ve Come\u2013A Characterization Study of Standalone WebAssembly Runtimes. \t\t\t\t  Wenwen Wang. 2022. How Far We\u2019ve Come\u2013A Characterization Study of Standalone WebAssembly Runtimes.","DOI":"10.1109\/IISWC55918.2022.00028"},{"key":"e_1_3_2_1_84_1","unstructured":"wasmCloud Project Authors. 2022. WasmCloud. https:\/\/wasmcloud.com\/ \t\t\t\t  wasmCloud Project Authors. 2022. WasmCloud. https:\/\/wasmcloud.com\/"},{"key":"e_1_3_2_1_85_1","unstructured":"wasmerio. [n. d.]. Wasmer Fuzz Testing. https:\/\/github.com\/wasmerio\/wasmer\/tree\/master\/fuzz \t\t\t\t  wasmerio. [n. d.]. Wasmer Fuzz Testing. https:\/\/github.com\/wasmerio\/wasmer\/tree\/master\/fuzz"},{"key":"e_1_3_2_1_86_1","volume-title":"2020 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). 1\u20134.","author":"Wen Elliott","year":"2020","unstructured":"Elliott Wen and Gerald Weber . 2020 . Wasmachine: Bring iot up to speed with a webassembly os . In 2020 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). 1\u20134. Elliott Wen and Gerald Weber. 2020. Wasmachine: Bring iot up to speed with a webassembly os. In 2020 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). 1\u20134."},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/3487552.3487827"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"crossref","unstructured":"Xuejun Yang Yang Chen Eric Eide and John Regehr. 2011. Finding and Understanding Bugs in C Compilers. In PLDI. \t\t\t\t  Xuejun Yang Yang Chen Eric Eide and John Regehr. 2011. Finding and Understanding Bugs in C Compilers. In PLDI.","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_89_1","volume-title":"International Workshop on Languages and Compilers for Parallel Computing. 405\u2013419","author":"Zhao Peng","year":"2003","unstructured":"Peng Zhao and Jos\u00e9 Nelson Amaral . 2003 . To inline or not to inline? Enhanced inlining decisions . In International Workshop on Languages and Compilers for Parallel Computing. 405\u2013419 . Peng Zhao and Jos\u00e9 Nelson Amaral. 2003. To inline or not to inline? Enhanced inlining decisions. In International Workshop on Languages and Compilers for Parallel Computing. 405\u2013419."}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598068","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598068","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:42Z","timestamp":1750182522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598068"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":89,"alternative-id":["10.1145\/3597926.3598068","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598068","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}