DLS 2015 – Proceedings

11th Symposium on Dynamic Languages (DLS 2015), October 27, 2015, Pittsburgh, PA, USA

Frontmatter

Title Page
Article: dls15foreword-fm000-p (type: Frontmatter) doi:

Message from the Chairs
Article: dls15foreword-fm001-p (type: Frontmatter) doi:

Language Design

From APIs to Languages: Generalising Method Names
Michael Homer, Timothy Jones, and James Noble
(Victoria University of Wellington, New Zealand)
Article: dls15main-mainid37-p (type: Full Paper (15 pages)) doi:

Formalization, Semantics, and Static Analysis

A Formalization of Typed Lua
André Murbach Maidl, Fabio Mascarenhas, and Roberto Ierusalimschy
(PUC-Rio, Brazil; Federal University of Rio de Janeiro, Brazil)
Article: dls15main-mainid12-p (type: Full Paper (15 pages)) doi:

Gradual Certified Programming in Coq
Éric Tanter and Nicolas Tabareau
(University of Chile, Chile; INRIA, France)
Article: dls15main-mainid2-p (type: Full Paper (15 pages)) doi:

Message Safety in Dart
Erik Ernst, Anders Møller, Mathias Schwarz, and Fabio Strocco
(Google, Denmark; Aarhus University, Denmark)
Article: dls15main-mainid22-p (type: Full Paper (15 pages)) doi:

Control-Flow Analysis of Dynamic Languages via Pointer Analysis
Steven Lyde, William E. Byrd, and Matthew Might
(University of Utah, USA)
Article: dls15main-mainid27-p (type: Full Paper (15 pages)) doi:

Compilation

Compiling for Multi-language Task Migration
Marc Feeley
(Université de Montréal, Canada)
Article: dls15main-mainid31-p (type: Full Paper (15 pages)) doi:

High-Performance Cross-Language Interoperability in a Multi-language Runtime
Matthias Grimmer, Chris Seaton, Roland Schatz, Thomas Würthinger, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, UK; Oracle Labs, Austria; Oracle Labs, Switzerland)
Article: dls15main-mainid3-p (type: Full Paper (15 pages)) doi:

Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
David Leopoldseder, Lukas Stadler, Christian Wimmer, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Austria; Oracle Labs, USA)
Article: dls15main-mainid23-p (type: Full Paper (15 pages)) doi:

Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines
Tobias Pape, Tim Felgentreff, Robert Hirschfeld, Anton Gulenko, and Carl Friedrich Bolz
(HPI, Germany; TU Berlin, Germany; King's College London, UK)
Article: dls15main-mainid14-p (type: Full Paper (15 pages)) doi:

Empirical Studies

Measuring Polymorphism in Python Programs
Beatrice Åkerblom and Tobias Wrigstad
(Stockholm University, Sweden; Uppsala University, Sweden)
Article: dls15main-mainid34-p (type: Full Paper (15 pages)) doi:

Tracking Down Performance Variation against Source Code Evolution
Juan Pablo Sandoval Alcocer and Alexandre Bergel
(University of Chile, Chile)
Article: dls15main-mainid18-p (type: Full Paper (15 pages)) doi:

Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
Madhukar N. Kedlaya, Behnam Robatmili, and Ben Hardekopf
(University of California at Santa Barbara, USA; Qualcomm Research, USA)
Article: dls15main-mainid7-p (type: Full Paper (15 pages)) doi:

Access Control to Reflection with Object Ownership
Camille Teruel, Stéphane Ducasse, Damien Cassou, and Marcus Denker
(INRIA, France; University of Lille, France)
Article: dls15main-mainid30-p (type: Full Paper (15 pages)) doi: