Superoptimization of WebAssembly bytecode-Reference-Cited by-同舟云学术

Superoptimization of WebAssembly bytecode

Published:2020-03-23 Issue: Volume: Page:
ISSN:
Container-title:Conference Companion of the 4th International Conference on Art, Science, and Engineering of Programming
language:
Short-container-title:

Author:

Cabrera Arteaga Javier¹,Donde Shrinish¹,Gu Jian¹,Floros Orestis¹,Satabin Lucas²,Baudry Benoit¹,Monperrus Martin¹

Affiliation:

1. KTH, Sweden

2. Mobimeo, Germany

Funder

Stiftelsen för Strategisk Forskning

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3397537.3397567

Reference16 articles.

1. Automatic generation of peephole superoptimizers

2. 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

3. Sound Loop Superoptimization for Google Native Client

4. 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

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques;Proceedings of the ACM on Programming Languages;2024-06-20

2. Issues and Their Causes in WebAssembly Applications: An Empirical Study;Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering;2024-06-18

3. Dynamic Slicing of WebAssembly Binaries;2023 IEEE International Conference on Software Maintenance and Evolution (ICSME);2023-10-01

4. metaSafer: A Technique to Detect Heap Metadata Corruption in WebAssembly;IEEE Access;2023

5. BREWasm: A General Static Binary Rewriting Framework for WebAssembly;Static Analysis;2023