From Lisp, Snobol, and Smalltalk to Python, Racket, and Javascript, Dynamic Languages have been playing a fundamental role both in programming research and practice. The 13th Dynamic Languages Symposium (DLS) at SPLASH 2017 is the premier forum for researchers and practitioners to share research and experience on all aspects on Dynamic Languages.
Tue 24 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 60mTalk | Invited talk: The JavaScriptCore Virtual Machine (joint with VMIL 2017) DLS 2017 Filip Pizlo Apple | ||
09:30 30mTalk | A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools DLS 2017 Stefan Marr University of Kent, Carmen Torres Lopez , Dominik Aumayr , Elisa Gonzalez Boix Vrije Universiteit Brussel, Hanspeter Mössenböck JKU Linz, Austria DOI Pre-print |
10:30 - 12:00 | |||
10:30 30mTalk | Dynamic Atomicity: Optimizing Swift memory management DLS 2017 | ||
11:00 30mTalk | Object equivalence: Revisiting Object Equality Profiling (An Experience Report) DLS 2017 | ||
11:30 30mTalk | Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report DLS 2017 Javier Pimás Palantir Solutions, Javier Burroni , Jean Baptiste Arnaud , Stefan Marr University of Kent DOI |
13:30 - 15:00 | |||
13:30 60mTalk | Invited talk: Challenges and Progress Toward Efficient Gradual Typing DLS 2017 Jeremy G. Siek Indiana University, USA File Attached | ||
14:30 30mTalk | Semantics of Asynchronous JavaScript DLS 2017 |
15:30 - 17:00 | |||
15:30 30mTalk | Decoding Lua: Formal Semantics for the Developer and the Semanticist DLS 2017 Mallku Soldevila FAMAF, UNC / CONICET, Beta Ziliani FAMAF, UNC and CONICET, Bruno Silvestre , Daniel Fridlender , Fabio Mascarenhas UFRJ | ||
16:00 30mTalk | The Semantics of Name Resolution in Grace DLS 2017 DOI |
Accepted Papers
Call for Papers
13th Dynamic Languages Symposium (DLS 2017)
Co-located with SPLASH 2017
In association with ACM SIGPLAN
Vancouver, British Columbia, Canada, October 24, 2017
http://www.dynamic-languages-symposium.org/dls-17/index.html
The 13th Dynamic Languages Symposium (DLS) at SPLASH 2017 invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Areas of interest include but are not limited to:
- Innovative language features
- Innovative implementation techniques
- Innovative applications
- Development environments and tools
- Experience reports and case studies
- 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
- JIT compilation
- Soft/optional/gradual typing
- Hardware support
- Educational approaches and perspectives
- Semantics of dynamic languages
- Frameworks and languages for the Cloud and the IoT
Submissions must not have been published previously nor being 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, and originality.
Papers are to be submitted electronically in PDF format. Submissions must be in the ACM SIGPLAN Conference acmart
Format, 10 point font, and should not exceed 12 pages. Please see full details in the instructions for authors.
DLS 2017 will run a two-phase reviewing process to help authors make their final papers the best that they can be. Accepted papers will be published in the ACM Digital Library and will be freely available for one month, starting two weeks before the event.
Program chair
Davide Ancona, DIBRIS, University of Genova, Italy
Program committee
- Alexandre Bergel, University of Chile, Chile
- Guillaume Baudart, École normale supérieure, France
- Lorenzo Bettini, Dipartimento di Statistica, Informatica, Applicazioni ‘Giuseppe Parenti’ (DISIA), Italy
- Carl Friedrich Bolz, Germany
- Erik Ernst, Google Inc., Denmark
- Marc Feeley, Université de Montréal, Canada
- Matthew Flatt, University of Utah, United States
- Paola Giannini, Università del Piemonte Orientale, Italy
- Robert Hirschfeld, HPI, Germany
- Roberto Ierusalimschy, PUC-Rio, Brazil
- Crista Lopes, University of California, USA
- Scott Moore, Harvard University, USA
- Nick Papoulias, IRD, UPMC, France
- Sukyoung Ryu, KAIST, Korea, South
- Chris Seaton, Oracle Labs, United Kingdom
- Manuel Serrano, Inria, France
- Zehra Sura, IBM Research, United States
- Jan Vitek, Northeastern University, Switzerland
Instructions for Authors
For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the Program Chair.
DLS 2017 adopts a single-blind review process, therefore authors need to include their names and affiliations in their papers.
Submission Site
Please take a moment to read the instructions below before using the submission site. Note that camera ready versions will be collected by Conference Publishing Consulting.
Concurrent Submissions
Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy. Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.
Format
Submissions should use the ACM SIGPLAN Conference acmart
Format, sigplan
sub-format, 10 point font. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM SIGPLAN acmart
Templates provided here. Otherwise, follow the author instructions.
Note that by default the SIGPLAN Conference Format templates produce papers in 9 point font. If you are formatting your paper using LaTeX, you will need to set the 10pt
option in the \documentclass
command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission with the LaTeX \settopmatter{printfolios=true}
command. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.
Page Limit
To ensure that papers stay focused on their core contributions, papers should be limited to 12 pages including bibliographic references and appendices.
Publication (Digital Library Early Access Warning)
AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.
Most Notable Paper Award
The DLS steering committee is happy to announce the winners of the most notable paper award for DLS 2007.
Mirages: Behavioral Intercession in a Mirror-based Architecture. Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, and Éric Tanter
The paper combined the ideas of explicit mirrors for reflective introspection and modification with implicit mirrors for behavioral intercession. The work in this paper influenced and inspired the design of proxies in the JavaScript language, where it now has applications in areas such as security, testing, and virtualization of the dom.