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/
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 |
© 2006-2024 HPI Software Architecture Group