Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

The 10th Dynamic Languages Symposium (DLS) at SPLASH 2014 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.


You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 21 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Invited paper and technical paper session 1DLS at Salon I
Chair(s): Laurence Tratt King's College London
Invited talk: Why do we know so little about programming languages, and what would have happened if we had known more?
Stefan Hanenberg University of Duisburg-Essen
Scriptable Operating Systems with Lua

Accepted Papers

Abstracting Abstract Control
ACDC-JS: Explorative Benchmarking of JavaScript Memory Management
Contracts for Domain-Specific Languages in Ruby
Design and Evaluation of Gradual Typing for Python
Dynamic Detection of Object Capability Violations Through Model Checking
Dynamic Page Sharing Optimization for the R Language
Invited talk: Why do we know so little about programming languages, and what would have happened if we had known more?
Object Versioning to Support Recovery Needs: Using Proxies to Preserve Previous Development States in Lively
On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk
Scriptable Operating Systems with Lua
SqueakJS - A Modern and Practical Smalltalk That Runs in Any Browser
Sweeten Your JavaScript: Hygienic Macros for ES5
Typed Objects in JavaScript
Using JavaScript and WebCL for Numerical Computations: A Comparative Study of Native and Web Technologies

Call for Submissions

DLS 2014 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

Submissions should not have been published previously nor be 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=dls14 in PDF format. Submissions must be in the ACM SIGPLAN format (see http://www.sigplan.org/authorInformation.htm) and not exceed 12 pages. Authors are reminded that brevity is a virtue.

DLS 2014 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.

For More Information

For additional information, clarification, or answers to questions please contact the DLS Chair (Laurence Tratt) at dls14@easychair.org or see http://www.dynamic-languages-symposium.org/dls-14/.

Full Citation in the ACM Digital Library

Session: 1 and Keynote address

Chair: Laurence Tratt

Why do we know so little about programming languages, and what would have happened if we had known more?
  • Stefan Hanenberg

Scriptable operating systems with Lua

  • Lourival Vieira Neto, Roberto Ierusalimschy, Ana Lúcia de Moura, Marc Balmer

Session: 2

Chair: James Noble

Abstracting abstract control
  • James Ian Johnson, David Van Horn

Contracts for domain-specific languages in Ruby

  • T. Stephen Strickland, Brianna M. Ren, Jeffrey S. Foster

Sweeten your JavaScript: hygienic macros for ES5

  • Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan

Design and evaluation of gradual typing for python

  • Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, Jim Baker

Session: 3

Chair: Christian Wimmer

SqueakJS: a modern and practical smalltalk that runs in any browser
  • Bert Freudenberg, Dan H.H. Ingalls, Tim Felgentreff, Tobias Pape, Robert Hirschfeld

ACDC-JS: explorative benchmarking of javascript memory management

  • Martin Aigner, Thomas Hütter, Christoph M. Kirsch, Alexander Miller, Hannes Payer, Mario Preishuber

Dynamic page sharing optimization for the R language

  • Helena Kotthaus, Ingo Korb, Michael Engel, Peter Marwedel

Using JavaScript and WebCL for numerical computations: a comparative study of native and web technologies

  • Faiz Khan, Vincent Foley-Bourgon, Sujay Kathrotia, Erick Lavoie, Laurie Hendren

Session: 4

Chair: Jonathan Edwards

Dynamic detection of object capability violations through model checking
  • Dustin Rhodes, Tim Disney, Cormac Flanagan

Object versioning to support recovery needs: using proxies to preserve previous development states in lively

  • Bastian Steinert, Lauritz Thamsen, Tim Felgentreff, Robert Hirschfeld

Typed objects in JavaScript

  • Nicholas D. Matsakis, David Herman, Dmitry Lomov

On the use of type predicates in object-oriented software: the case of smalltalk

  • Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger, Alexandre Bergel