DLS C

15 papers

YearTitle / Authors
2015A formalization of typed lua.
André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy
2015Access control to reflection with object ownership.
Camille Teruel, Stéphane Ducasse, Damien Cassou, Marcus Denker
2015An 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
2015Compiling for multi-language task migration.
Marc Feeley
2015Control-flow analysis of dynamic languages via pointer analysis.
Steven Lyde, William E. Byrd, Matthew Might
2015From APIs to languages: generalising method names.
Michael Homer, Timothy Jones, James Noble
2015Gradual certified programming in Coq.
Éric Tanter, Nicolas Tabareau
2015High-performance cross-language interoperability in a multi-language runtime.
Matthias Grimmer, Chris Seaton, Roland Schatz, Thomas Würthinger, Hanspeter Mössenböck
2015Java-to-JavaScript translation via structured control flow reconstruction of compiler IR.
David Leopoldseder, Lukas Stadler, Christian Wimmer, Hanspeter Mössenböck
2015Language-independent storage strategies for tracing-JIT-based virtual machines.
Tobias Pape, Tim Felgentreff, Robert Hirschfeld, Anton Gulenko, Carl Friedrich Bolz
2015Measuring polymorphism in python programs.
Beatrice Åkerblom, Tobias Wrigstad
2015Message safety in Dart.
Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco
2015Proceedings of the 11th Symposium on Dynamic Languages, DLS 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015
Manuel Serrano
2015Server-side type profiling for optimizing client-side JavaScript engines.
Madhukar N. Kedlaya, Behnam Robatmili, Ben Hardekopf
2015Tracking down performance variation against source code evolution.
Juan Pablo Sandoval Alcocer, Alexandre Bergel