Abstract is missing.
- From APIs to languages: generalising method namesMichael Homer, Timothy Jones, James Noble. 1-12 [doi]
- A formalization of typed luaAndré Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy. 13-25 [doi]
- Gradual certified programming in coqÉric Tanter, Nicolas Tabareau. 26-40 [doi]
- Message safety in DartErik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco. 41-53 [doi]
- Control-flow analysis of dynamic languages via pointer analysisSteven Lyde, William E. Byrd, Matthew Might. 54-62 [doi]
- Compiling for multi-language task migrationMarc Feeley. 63-77 [doi]
- High-performance cross-language interoperability in a multi-language runtimeMatthias Grimmer, Chris Seaton, Roland Schatz, Thomas Würthinger, Hanspeter Mössenböck. 78-90 [doi]
- Java-to-JavaScript translation via structured control flow reconstruction of compiler IRDavid Leopoldseder, Lukas Stadler, Christian Wimmer, Hanspeter Mössenböck. 91-103 [doi]
- Language-independent storage strategies for tracing-JIT-based virtual machinesTobias Pape, Tim Felgentreff, Robert Hirschfeld, Anton Gulenko, Carl Friedrich Bolz. 104-113 [doi]
- Measuring polymorphism in python programsBeatrice Åkerblom, Tobias Wrigstad. 114-128 [doi]
- Tracking down performance variation against source code evolutionJuan Pablo Sandoval Alcocer, Alexandre Bergel. 129-139 [doi]
- Server-side type profiling for optimizing client-side JavaScript enginesMadhukar N. Kedlaya, Behnam Robatmili, Ben Hardekopf. 140-153 [doi]
- An empirical investigation of the effects of type systems and code completion on API usability using TypeScript and JavaScript in MS visual studioLars Fischer, Stefan Hanenberg. 154-167 [doi]
- Access control to reflection with object ownershipCamille Teruel, Stéphane Ducasse, Damien Cassou, Marcus Denker. 168-176 [doi]