Write a Blog >>
Mon 19 Jun 2017 14:00 - 14:25 at Actes, Civil Engineering - Language Implementation Chair(s): David F. Bacon

The rapid improvement in JavaScript virtual machines combined with maturation of Web platform tools has given rise to sophisticated and demanding web applications such as interactive 3D maps, audio and video software, and games. The increasing ambition of these applications has made the efficiency and security of mobile code on the web more important than ever. Yet JavaScript has inconsistent performance and a number of other pitfalls, especially as a compilation target. Engineers from all major browser vendors have risen to the challenge and collaboratively designed a new low-level byte code for the web called WebAssembly. It offers compact representation, fast and simple validation and compilation, low to no-overhead safe execution, and easy interoperation with the web platform, including direct access to JavaScript and Web APIs. Rather than committing to a specific programming model, WebAssembly is an abstraction over modern hardware, making it both language- and platform-independent. We describe the motivation, design and formal semantics of WebAssembly and provide some preliminary experience with implementations.

Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:40
Language ImplementationPLDI Research Papers at Actes, Civil Engineering
Chair(s): David F. Bacon Google
14:00
25m
Talk
Bringing the Web up to Speed with WebAssembly
PLDI Research Papers
Andreas Haas Google, Andreas Rossberg Google, Derek Schuff Google, Ben L. Titzer Google, Dan Gohman Mozilla, Luke Wagner Mozilla, Alon Zakai Mozilla, JF Bastien Apple, Michael Holman Microsoft
Media Attached
14:25
25m
Talk
Miniphases: Compilation using Modular and Efficient Tree Transformations
PLDI Research Papers
Dmytro Petrashko EPFL, Ondřej Lhoták University of Waterloo, Canada, Martin Odersky EPFL, Switzerland
Media Attached
14:50
25m
Talk
Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
PLDI Research Papers
Anthony Canino SUNY Binghamton, Yu David Liu State University of New York (SUNY) Binghamton
Media Attached
15:15
25m
Talk
Simple, fast and safe manual memory management
PLDI Research Papers
Piyus Kedia Indian Institute of Technology Delhi, Manuel Costa Microsoft Research, Matthew J. Parkinson Microsoft Research, UK, Kapil Vaswani Microsoft Research, Dimitrios Vytiniotis Microsoft Research, Cambridge
Media Attached