Sökning: onr:"swepub:oai:DiVA.org:kth-280046" >
Superoptimization o...
Superoptimization of WebAssembly bytecode
-
- Cabrera Arteaga, Javier, 1992- (författare)
- KTH,Programvaruteknik och datorsystem, SCS,Trustfull project
-
Donde, Shrinish (författare)
-
Gu, Jian (författare)
-
visa fler...
-
Floros, Orestis (författare)
-
Satabin, Lucas (författare)
-
- Baudry, Benoit (författare)
- KTH,Programvaruteknik och datorsystem, SCS
-
- Monperrus, Martin (författare)
- KTH,Teoretisk datalogi, TCS
-
visa färre...
-
(creator_code:org_t)
- 2020-08-04
- 2020
- Engelska.
-
Ingår i: Conference Companion of the 4th International Conference on Art, Science, and Engineering of Programming. - Portugal : Aakar Books.
- Relaterad länk:
-
https://dl.acm.org/d...
-
visa fler...
-
https://kth.diva-por...
-
http://arxiv.org/pdf...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Nyckelord
- WebAssembly
- Web
- Superoptimization
- Optimization
- LLVM
- Datalogi
- Computer Science
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)