DLS 2015

14 papers

1. A formalization of typed lua · André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy
2. Access control to reflection with object ownership · Camille Teruel, Stéphane Ducasse, Damien Cassou, Marcus Denker
3. An empirical investigation of the effects of type systems and code completion on API usability using TypeScript and JavaScript in MS visual studio · Lars Fischer, Stefan Hanenberg
4. Compiling for multi-language task migration · Marc Feeley
5. Control-flow analysis of dynamic languages via pointer analysis · Steven Lyde, William E. Byrd, Matthew Might
6. From APIs to languages: generalising method names · Michael Homer, Timothy Jones, James Noble
7. Gradual certified programming in Coq · Éric Tanter, Nicolas Tabareau
8. High-performance cross-language interoperability in a multi-language runtime · Matthias Grimmer, Chris Seaton, Roland Schatz, Thomas Würthinger, Hanspeter Mössenböck
9. Java-to-JavaScript translation via structured control flow reconstruction of compiler IR · David Leopoldseder, Lukas Stadler, Christian Wimmer, Hanspeter Mössenböck
10. Language-independent storage strategies for tracing-JIT-based virtual machines · Tobias Pape, Tim Felgentreff, Robert Hirschfeld, Anton Gulenko, Carl Friedrich Bolz
11. Measuring polymorphism in python programs · Beatrice Åkerblom, Tobias Wrigstad
12. Message safety in Dart · Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco
13. Server-side type profiling for optimizing client-side JavaScript engines · Madhukar N. Kedlaya, Behnam Robatmili, Ben Hardekopf
14. Tracking down performance variation against source code evolution · Juan Pablo Sandoval Alcocer, Alexandre Bergel