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.
Tue 21 OctDisplayed 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 | ||
08:30 60mTalk | Invited talk: Why do we know so little about programming languages, and what would have happened if we had known more? DLS Stefan Hanenberg University of Duisburg-Essen | ||
09:30 20mTalk | Scriptable Operating Systems with Lua DLS Lourival Vieira Neto The NetBSD Foundation, Roberto Ierusalimschy PUC-Rio, Ana Lúcia de Moura , Marc Balmer |
10:30 - 12:00 | |||
10:30 20mTalk | Abstracting Abstract Control DLS | ||
10:50 20mTalk | Contracts for Domain-Specific Languages in Ruby DLS | ||
11:10 20mTalk | Sweeten Your JavaScript: Hygienic Macros for ES5 DLS | ||
11:30 20mTalk | Design and Evaluation of Gradual Typing for Python DLS |
13:30 - 15:00 | |||
13:30 20mTalk | SqueakJS - A Modern and Practical Smalltalk That Runs in Any Browser DLS Bert Freudenberg CDG Labs, Dan Ingalls , Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Tobias Pape Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI | ||
13:50 20mTalk | ACDC-JS: Explorative Benchmarking of JavaScript Memory Management DLS Martin Aigner University of Salzburg, Thomas Hütter , Christoph Kirsch , Alexander Miller , Hannes Payer , Mario Preishuber | ||
14:10 20mTalk | Dynamic Page Sharing Optimization for the R Language DLS Helena Kotthaus Department of Computer Science 12, TU Dortmund University, Ingo Korb , Michael Engel , Peter Marwedel | ||
14:30 20mTalk | Using JavaScript and WebCL for Numerical Computations: A Comparative Study of Native and Web Technologies DLS Faiz Khan , Vincent Foley-Bourgon , Sujay Kathrotia , Erick Lavoie McGill University, Laurie Hendren McGill University |
15:30 - 17:00 | |||
15:30 20mTalk | Typed Objects in JavaScript DLS | ||
15:50 20mTalk | Object Versioning to Support Recovery Needs: Using Proxies to Preserve Previous Development States in Lively DLS Bastian Steinert Hasso Plattner Institute, Lauritz Thamsen , Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI | ||
16:10 20mTalk | Dynamic Detection of Object Capability Violations Through Model Checking DLS | ||
16:30 20mTalk | On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk DLS Oscar Callaú University of Chile, Romain Robbes , Éric Tanter University of Chile, David Röthlisberger , Alexandre Bergel |
Accepted Papers
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.
Submission
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/.
Proceedings
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
- 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
- Bastian Steinert, Lauritz Thamsen, Tim Felgentreff, Robert Hirschfeld
- 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