- asm.js. http://asmjs.org. Accessed: 2016-11-08.Google Scholar
- Criswell, J., Lenharth, A., Dhurjati, D., Adve, V. Secure virtual architecture: a safe execution environment for commodity operating systems. Operating Systems Review 41, 6 (Oct. 2007), 351--366. Google ScholarDigital Library
- Dhurjati, D., Kowshik, S., Adve, V. SAFECode: enforcing alias analysis for weakly typed languages. In Programming Language Design and Implementation (PLDI) (2006). Google ScholarDigital Library
- Haas, A., Rossberg, A., Schuff, D., Titzer, B., Gohman, D., Wagner, L., Zakai, A., Bastien, J. Bringing the web up to speed with WebAssembly. In Programming Language Design and Implementation (PLDI) (2017). Google ScholarDigital Library
- Jim, T., Morrisett, J.G., Grossman, D., Hicks, M.W., Cheney, J., Wang, Y. Cyclone: a safe dialect of C. In USENIX Annual Technical Conference (ATEC) (2002). Google ScholarDigital Library
- Lattner, C., Adve, V. LLVM: a compilation framework for lifelong program analysis & transformation. In Code Generation and Optimization (CGO) (2004). Google ScholarDigital Library
- Leroy, X. Java bytecode verification: algorithms and formalizations. J. Automated Reason. 30, 3--4 (Aug. 2003), 235--269. Google ScholarDigital Library
- Lindholm, T., Yellin, F., Bracha, G., Buckley, A. The Java Virtual Machine Specification (Java SE 8 Edition). Technical report, Oracle, 2015. Google ScholarDigital Library
- Morrisett, G., Walker, D., Crary, K., Glew, N. From system F to typed assembly language. ACM Trans. Program. Lang. Sys. (TOPLAS) 21, 3 (May 1999), 527--568. Google ScholarDigital Library
- Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W. CIL: intermediate language and tools for analysis and transformation of C programs. In Compiler Construction (CC) (2002). Google ScholarDigital Library
- Necula, G.C., McPeak, S., Weimer, W. CCured: Type-safe retrofitting of legacy code. In Principles of Programming Languages (POPL) (2002). Google ScholarDigital Library
- Pierce, B. Types and Programming Languages. The MIT Press, Cambridge, Massachusetts, USA, 2002. Google ScholarDigital Library
- Plotkin, G. A structural approach to operational semantics. J. Logic and Algebraic Program. (2004), 60--61:17--139.Google Scholar
- Watt, C. Mechanising and verifying the WebAssembly specification. In Certified Programs and Proofs (CPP) (2018). Google ScholarDigital Library
- WebAssembly Community Group. WebAssembly Specification, 2018. https://webassembly.github.io/spec/.Google Scholar
- Wright, A., Felleisen, M. A syntactic approach to type soundness. Inf. Comput. 115, 1 (Nov. 1994), 38--94. Google ScholarDigital Library
- Yee, B., Sehr, D., Dardyk, G., Chen, B., Muth, R., Ormandy, T., Okasaka, S., Narula, N., Fullagar, N. Native client: a sandbox for portable, untrusted x86 native code. In IEEE Symposium on Security and Privacy (2009). Google ScholarDigital Library
- Zakai, A. Emscripten: an LLVM-to-JavaScript compiler. In Object-Oriented Programming, Systems, Languages, & Applications (OOPSLA) (2011). Google ScholarDigital Library
Index Terms
- Bringing the web up to speed with WebAssembly
Recommendations
Bringing the web up to speed with WebAssembly
PLDI 2017: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and ImplementationThe maturation of the Web platform has given rise to sophisticated and demanding Web applications such as interactive 3D visualization, audio and video software, and games. With that, efficiency and security of code on the Web has become more important ...
Bringing the web up to speed with WebAssembly
PLDI '17The maturation of the Web platform has given rise to sophisticated and demanding Web applications such as interactive 3D visualization, audio and video software, and games. With that, efficiency and security of code on the Web has become more important ...
Comments