The 11th Dynamic Languages Symposium (DLS) at SPLASH 2015 is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages – from Lisp to Smalltalk to Python to Javascript – on real-world practice and research continues to grow.
Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 10mDay opening | Welcome and Introduction DLS | ||
08:40 60mTalk | DLS Keynote: Declare Your Language DLS Link to publication DOI Media Attached | ||
09:40 20mTalk | From APIs to Languages: Generalising Method Names DLS James Noble Victoria University of Wellington, Michael Homer Victoria University of Wellington, Timothy Jones Victoria University of Wellington Pre-print |
10:30 - 12:00 | |||
10:30 22mTalk | A Formalization of Typed Lua DLS Media Attached | ||
10:52 22mTalk | Gradual Certified Programming in Coq DLS | ||
11:15 22mTalk | Message Safety in Dart DLS Erik Ernst , Mathias Schwarz Uber Aarhus, Fabio Strocco Aarhus University, Denmark, Anders Møller Aarhus University | ||
11:37 22mTalk | Control-Flow Analysis of Dynamic Languages via Pointer Analysis DLS |
13:30 - 15:00 | |||
13:30 22mTalk | Compiling for Multi-Language Task Migration DLS | ||
13:52 22mTalk | High-Performance Cross-Language Interoperability in a Multi-Language Runtime DLS Matthias Grimmer Johannes Kepler University Linz, Chris Seaton Oracle Labs / University of Manchester, Roland Schatz Johannes Kepler University Linz, Thomas Wuerthinger Oracle Labs, Hanspeter Mössenböck Johannes Kepler University Linz | ||
14:15 22mTalk | Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR DLS David Leopoldseder Johannes Kepler University Linz, Lukas Stadler Oracle Labs, Christian Wimmer Oracle Labs, Hanspeter Mössenböck Johannes Kepler University Linz | ||
14:37 22mTalk | Language Independent Storage Strategies for Tracing JIT based VMs DLS Tim Felgentreff HPI, Germany, Tobias Pape Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI, CF Bolz-Tereick King's College London , Anton Gulenko TU Berlin |
15:30 - 17:30 | |||
15:30 24mTalk | Measuring Polymorphism in Python Programs DLS | ||
15:54 24mTalk | Tracking Down Performance Variation Against Source Code Evolution DLS | ||
16:18 24mTalk | Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines DLS Madhukar Kedlaya University of California, Santa Barbara, Behnam Robatmili Qualcomm Research, Ben Hardekopf UC Santa Barbara | ||
16:42 24mTalk | An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio DLS Lars Fischer University of Duisburg-Essen, Essen, Germany, Stefan Hanenberg University of Duisburg-Essen | ||
17:06 24mTalk | Access Control to Reflection with Object Ownership DLS Camille Teruel INRIA, Stéphane Ducasse INRIA, France, Damien Cassou Lille 1 University, Marcus Denker INRIA Lille |
Accepted Papers
Call for Submissions
DLS 2015 invites high quality papers reporting original research, innovative contributions, or experience related to dynamic languages, their implementation, and applications. Accepted papers will be published in the ACM Digital Library, and freely available for 2 weeks before and after the event itself.
Areas of interest include but are not limited to:
- Innovative language features and implementation techniques
- Development and platform support, tools
- Interesting applications
- Domain-oriented programming
- Very late binding, dynamic composition, and run-time adaptation
- Reflection and meta-programming
- Software evolution
- Language symbiosis and multi-paradigm languages
- Dynamic optimization
- Hardware support
- Experience reports and case studies
- Educational approaches and perspectives
- Semantics of dynamic languages
Invited Speaker
DLS is pleased to announce a talk by the following invited speaker:
- Eelco Visser (TU Delft): Declare your Language.
Submissions and Proceedings
Submissions should not have been published previously nor under review at other events. Research papers should describe work that advances the current state of the art. Experience papers should be of broad interest and should describe insights gained from substantive practical applications. The program committee will evaluate each contributed paper based on its relevance, significance, clarity, length, and originality.
Papers are to be submitted electronically at http://www.easychair.org/conferences?conf=dls15 in PDF format. Submissions must be in the ACM SIGPLAN Conference Format and not exceed 12 pages. Authors are reminded that brevity is a virtue.
DLS 2015 will run a two-phase reviewing process to help authors make their final papers the best that they can be. After the first round of reviews, papers will be rejected, conditionally accepted, or unconditionally accepted. Conditionally accepted papers will be given a list of issues raised by reviewers. Authors will then submit a revised version of the paper with a cover letter explaining how they have or why they have not addressed these issues. The reviewers will then consider the cover letter and revised paper and recommend final acceptance or rejection.
Accepted papers will be published in the ACM Digital Library.