Superoptimization of WebAssembly Bytecode
Motivated by the fast adoption of WebAssembly, we propose the first functional pipeline to support the superoptimization of WebAssembly bytecode. Our pipeline works over LLVM and Souper. We evaluate our superoptimization pipeline with 12 programs from the Rosetta code project. Our pipeline improves the code section size of 8 out of 12 programs. We discuss the challenges faced in superoptimization of WebAssembly with two case studies.
Tue 24 Mar Times are displayed in time zone: Greenwich Mean Time : Belfast change
|14:00 - 15:00|
|15:00 - 15:30|
|Superoptimization of WebAssembly Bytecode|
Javier Cabrera ArteagaKTH Royal Institute of Technology, Shrinish DondeKTH Royal Institute of Technology, Jian GuKTH Royal Institute of Technology, Orestis FlorosKTH Royal Institute of Technology, Lucas SatabinMobimeo GmbH, Benoit BaudryKTH Royal Institute of Technology, Martin MonperrusKTH Royal Institute of TechnologyPre-print