Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00
|Welcome and Introduction|
|DLS Keynote: Declare Your Language|
I: Eelco Visser Delft University of TechnologyLink to publication DOI Media Attached
|From APIs to Languages: Generalising Method Names|
James Noble Victoria University of Wellington, Michael Homer Victoria University of Wellington, Timothy Jones Victoria University of WellingtonPre-print
10:30 - 12:00
|A Formalization of Typed Lua|
|Gradual Certified Programming in Coq|
|Message Safety in Dart|
|Control-Flow Analysis of Dynamic Languages via Pointer Analysis|
13:30 - 15:00
|Compiling for Multi-Language Task Migration|
|High-Performance Cross-Language Interoperability in a Multi-Language Runtime|
|Language Independent Storage Strategies for Tracing JIT based VMs|
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.
- 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
DLS is pleased to announce a talk by the following invited speaker:
- Eelco Visser (TU Delft): Declare your Language.
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.