Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00
Session 1, Language DesignDLS at Grand Station 3
|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
Session 2, Formalization, Semantics, and Static AnalysisDLS at Grand Station 3
|A Formalization of Typed Lua|
Andre Murbach Maidl PUCPR, Fabio Mascarenhas UFRJ, Roberto Ierusalimschy PUC-RioMedia Attached
|Gradual Certified Programming in Coq|
Éric Tanter University of Chile, Chile, Nicolas Tabareau Inria
|Message Safety in Dart|
Erik Ernst , Mathias Schwarz Uber Aarhus, Fabio Strocco Aarhus University, Denmark, Anders Møller Aarhus University
|Control-Flow Analysis of Dynamic Languages via Pointer Analysis|
Steven Lyde , Matthew Might University of Utah, USA, William E. Byrd
13:30 - 15:00
Session 3, CompilationDLS at Grand Station 3
|Compiling for Multi-Language Task Migration|
|High-Performance Cross-Language Interoperability in a Multi-Language Runtime|
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
David Leopoldseder Johannes Kepler University Linz, Lukas Stadler Oracle Labs, Christian Wimmer Oracle Labs, Hanspeter Mössenböck Johannes Kepler University Linz
|Language Independent Storage Strategies for Tracing JIT based VMs|
Tim Felgentreff HPI, Germany, Tobias Pape Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI, Carl Friedrich Bolz-Tereick King's College London , Anton Gulenko TU Berlin
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
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.