DLS 2015- Proceedings of the 11th Symposium on Dynamic Languages

Full Citation in the ACM Digital Library

SESSION: Language Design

From APIs to languages: generalising method names

• Michael Homer
• Timothy Jones
• James Noble

SESSION: Formalization, Semantics, and Static Analysis

A formalization of typed lua

• André Murbach Maidl
• Fabio Mascarenhas
• Roberto Ierusalimschy

Gradual certified programming in coq

• Éric Tanter
• Nicolas Tabareau

Message safety in Dart

• Erik Ernst
• Anders Møller
• Mathias Schwarz
• Fabio Strocco

Control-flow analysis of dynamic languages via pointer analysis

• Steven Lyde
• William E. Byrd
• Matthew Might

SESSION: Compilation

Compiling for multi-language task migration

• Marc Feeley

High-performance cross-language interoperability in a multi-language runtime

• Matthias Grimmer
• Chris Seaton
• Roland Schatz
• Thomas Würthinger
• Hanspeter Mössenböck

Java-to-JavaScript translation via structured control flow reconstruction of compiler IR

• David Leopoldseder
• Lukas Stadler
• Christian Wimmer
• Hanspeter Mössenböck

Language-independent storage strategies for tracing-JIT-based virtual machines

• Tobias Pape
• Tim Felgentreff
• Robert Hirschfeld
• Anton Gulenko
• Carl Friedrich Bolz

SESSION: Empirical Studies

Measuring polymorphism in python programs

• Beatrice Åkerblom
• Tobias Wrigstad

Tracking down performance variation against source code evolution

• Juan Pablo Sandoval Alcocer
• Alexandre Bergel

Server-side type profiling for optimizing client-side JavaScript engines

• Madhukar N. Kedlaya
• Behnam Robatmili
• Ben Hardekopf

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

Access control to reflection with object ownership

• Camille Teruel
• Stéphane Ducasse
• Damien Cassou
• Marcus Denker