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 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
08:30 - 08:40 Day opening | Welcome and Introduction DLS | ||
08:40 - 09:40 Talk | DLS Keynote: Declare Your Language DLS Link to publication DOI Media Attached | ||
09:40 - 10:00 Talk | From APIs to Languages: Generalising Method Names DLS James NobleVictoria University of Wellington, Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington Pre-print |
10:30 - 10:52 Talk | A Formalization of Typed Lua DLS Media Attached | ||
10:52 - 11:15 Talk | Gradual Certified Programming in Coq DLS | ||
11:15 - 11:37 Talk | Message Safety in Dart DLS Erik Ernst, Mathias SchwarzUber Aarhus, Fabio StroccoAarhus University, Denmark, Anders MøllerAarhus University | ||
11:37 - 12:00 Talk | Control-Flow Analysis of Dynamic Languages via Pointer Analysis DLS |
13:30 - 13:52 Talk | Compiling for Multi-Language Task Migration DLS | ||
13:52 - 14:15 Talk | High-Performance Cross-Language Interoperability in a Multi-Language Runtime DLS Matthias GrimmerJohannes Kepler University Linz, Chris SeatonOracle Labs / University of Manchester, Roland SchatzJohannes Kepler University Linz, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz | ||
14:15 - 14:37 Talk | Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR DLS David LeopoldsederJohannes Kepler University Linz, Lukas StadlerOracle Labs, Christian WimmerOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz | ||
14:37 - 15:00 Talk | Language Independent Storage Strategies for Tracing JIT based VMs DLS Tim FelgentreffHPI, Germany, Tobias PapeHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI, Carl Friedrich Bolz-TereickKing's College London , Anton GulenkoTU Berlin |
15:30 - 15:54 Talk | Measuring Polymorphism in Python Programs DLS | ||
15:54 - 16:18 Talk | Tracking Down Performance Variation Against Source Code Evolution DLS | ||
16:18 - 16:42 Talk | Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines DLS Madhukar KedlayaUniversity of California, Santa Barbara, Behnam RobatmiliQualcomm Research, Ben HardekopfUC Santa Barbara | ||
16:42 - 17:06 Talk | 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 FischerUniversity of Duisburg-Essen, Essen, Germany, Stefan HanenbergUniversity of Duisburg-Essen | ||
17:06 - 17:30 Talk | Access Control to Reflection with Object Ownership DLS Camille TeruelINRIA, Stéphane DucasseINRIA, France, Damien CassouLille 1 University, Marcus Denker INRIA Lille |
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.