Dynamic Languages Symposium 2015  OOPSLA/SPLASH 2015

Co-located with SPLASH 2015

In association with ACM SIGPLAN

Pittsburgh, Pennsylvania, USA, October 27, 2015

2015.splashcon.org/track/dls2015
http://www.dynamic-languages-symposium.org/dls-15/

Program

2015.splashcon.org/track/dls2015

08:30-09:40 Invited Talk
08:30–08:40 Welcome and Introduction
Invited Talk
08:40–09:40 Declare Your Language
Eelco Visser
(presentation, 0.7 MB)
09:40-10:00 Research Papers 1 - Language Design
09:40–10:00 From APIs to Languages: Generalising Method Names
James Noble, Michael Homer, and Timothy Jones
10:00-10:30 Coffee break
10:30-12:00 Research Papers 2 - Formalization, Semantics, and Static Analysis
10:30–10:52 A Formalization of Typed Lua
Andre Murbach Maidl, Fabio Mascarenhas, and Roberto Ierusalimschy
10:52-11:15 Gradual Certified Programming in Coq
Éric Tanter and Nicolas Tabareau
11:15–11:37 Message Safety in Dart
Erik Ernst, Mathias Schwarz, Fabio Strocco, and Anders Møller
11:37–12:00 Control-Flow Analysis of Dynamic Languages via Pointer Analysis
Steven Lyde, Matthew Might, and William E. Byrd
12:00-13:30 Lunch break
13:30-15:00 Research Papers 3 - Compilation
13:30–13:52 Compiling for Multi-Language Task Migration
Marc Feeley
13:52–14:15 High-Performance Cross-Language Interoperability in a Multi-Language Runtime
Matthias Grimmer, Chris Seaton, Roland Schatz, Thomas Wuerthinger, Hanspeter Mössenböck
14:15–14:37 Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
David Leopoldseder, Lukas Stadler, Christian Wimmer, Hanspeter Mössenböck
14:37–15:00 Language Independent Storage Strategies for Tracing JIT based VMs
Tim Felgentreff, Tobias Pape, Robert Hirschfeld, Carl Friedrich Bolz, and Anton Gulenko
15:00-15:30 Coffee break
15:30-17:30 Research Papers 4 - Empirical Studies
15:30–15:54 Measuring Polymorphism in Python Programs
Beatrice Åkerblom, Tobias Wrigstad
15:54–16:18 Tracking Down Performance Variation Against Source Code Evolution
Juan Pablo Sandoval Alcocer, and Alexandre Bergel
16:18–16:42 Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
Madhukar Kedlaya, Behnam Robatmili, and Ben Hardekopf
16:42–17:06 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 and Stefan Hanenberg
17:06–17:30 Access Control to Reflection with Object Ownership
Camille Teruel, Stéphane Ducasse, Damien Cassou, and Marcus Denker

ACM SIGPLAN    ACM Digital Library