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 Oct
08:30 - 10:00: DLS - Invited paper and technical paper session 1 at Salon I Chair(s): Laurence TrattKing's College London | ||||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:30 Talk | Stefan HanenbergUniversity of Duisburg-Essen | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 09:50 Talk | Lourival Vieira NetoThe NetBSD Foundation, Roberto IerusalimschyPUC-Rio, Ana Lúcia de Moura, Marc Balmer | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: DLS - Technical paper session 2 at Salon I Chair(s): James NobleVictoria University of Wellington | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:50 - 11:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 11:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:50 Talk | Bert FreudenbergCDG Labs, Dan Ingalls, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Tobias PapeHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI | |||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:10 Talk | Martin AignerUniversity of Salzburg, Thomas Hütter, Christoph Kirsch, Alexander Miller, Hannes Payer, Mario Preishuber | |||||||||||||||||||||||||||||||||||||||||
| 14:10 - 14:30 Talk | Helena KotthausDepartment of Computer Science 12, TU Dortmund University, Ingo Korb, Michael Engel, Peter Marwedel | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 14:50 Talk | Faiz Khan, Vincent Foley-Bourgon, Sujay Kathrotia, Erick LavoieMcGill University, Laurie HendrenMcGill University | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:50 - 16:10 Talk | Bastian SteinertHasso Plattner Institute, Lauritz Thamsen, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI | |||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 16:50 Talk | Oscar CallaúUniversity of Chile, Romain Robbes, Éric TanterUniversity of Chile, David Röthlisberger, Alexandre Bergel | |||||||||||||||||||||||||||||||||||||||||
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