DLS 2016
Tue 1 Nov 2016 Amsterdam, Netherlands
co-located with SPLASH 2016

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 12th Dynamic Languages Symposium (DLS) at SPLASH 2016 is the premier forum for researchers and practitioners to share research and experience on all aspects on Dynamic Languages.

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

Tue 1 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna

10:30 - 12:10: Session 2DLS at Matterhorn 1
Chair(s): Gilad BrachaGoogle
10:30 - 10:55
Type Unsoundness in Practice: An Empirical Study of Dart
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Denmark, Fabio StroccoAarhus University, Denmark
10:55 - 11:20
Type Safety Analysis for Dart
Thomas S. HeinzeAarhus University, Denmark, Anders MøllerAarhus University, Denmark, Fabio StroccoAarhus University, Denmark
11:20 - 11:45
Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
Changhee ParkKAIST, South Korea, Hyeonseung ImKangwon National University, South Korea, Sukyoung RyuKAIST, South Korea
11:45 - 12:10
Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
Mattias De WaelVrije Universiteit Brussel, Belgium, Janwillem SwalensVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium
DOI Pre-print File Attached
13:30 - 15:10: Session 3DLS at Matterhorn 1
Chair(s): Laurence TrattKing's College London
13:30 - 13:55
Parallel Virtual Machines with RPython
Remigius MeierETH Zurich, Switzerland, Armin RigoPyPy.org, Switzerland, Thomas GrossETH Zurich
13:55 - 14:20
Building Efficient and Highly Run-Time Adaptable Virtual Machines
Guido ChariUniversity of Buenos Aires, Argentina, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Stefan MarrJohannes Kepler University Linz
DOI Pre-print
14:20 - 14:45
Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript
Vincent Foley-BourgonMcGill University, Canada, Laurie HendrenMcGill University, Canada
14:45 - 15:10
Optimizing R Language Execution via Aggressive Speculation
Lukas StadlerOracle Labs, Austria, Adam WelcOracle Labs, USA, Christian HumerOracle Labs, Switzerland, Mick JordanOracle Labs, USA
15:40 - 17:20: Session 4DLS at Matterhorn 1
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
15:40 - 16:05
A Small Embedding of Logic Programming with a Simple Complete Search
Jason HemannIndiana University, USA, Daniel P. FriedmanIndiana University, USA, William E. ByrdUniversity of Utah, USA, Matthew MightUniversity of Utah, USA
16:05 - 16:30
Modular Semantic Actions
Alessandro WarthY Combinator Research, USA, Patrick DubroyY Combinator Research, USA, Tony Garnock-JonesNortheastern University, USA
DOI Pre-print
16:30 - 16:55
Cross-Language Compiler Benchmarking: Are We Fast Yet?
Stefan MarrJohannes Kepler University Linz, Benoit DalozeJKU Linz, Austria, Hanspeter MössenböckJKU Linz, Austria
DOI Pre-print

Call for Papers

12th Dynamic Languages Symposium (DLS 2016)

Co-located with SPLASH 2016

In association with ACM SIGPLAN

November 1, 2016, Amsterdam


The 12th Dynamic Languages Symposium (DLS) at SPLASH 2016 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

Submissions and proceedings

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 at https://dls16.hotcrp.com/ in PDF format. Submissions must be in the ACM format with 10-point fonts and should not exceed 12 pages. Please see full details in the following link:


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

Important dates

  • Submissions: Jun 10, 2016 (UTC, firm deadline)
  • First phase notification: Jul 22, 2016
  • Revisions due: July 29, 2016
  • Final notification: Aug 14, 2016
  • Camera ready: Aug 26, 2016
  • DLS: Nov 1, 2016

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 your conference. The official publication date affects the deadline for any patent filings related to published work.

Program chair

Roberto Ierusalimschy, PUC-Rio, Brazil


Program committee

  • Carl Friedrich Bolz, King’s College London, UK
  • Gilad Bracha, Google, USA
  • Marcus Denker, INRIA, France
  • Zachary DeVito, Stanford, USA
  • Jonathan Edwards, CDG Labs, USA
  • Matthew Flatt, University of Utah, USA
  • Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium
  • Robert Hirschfeld, Hasso Plattner Institute Potsdam, Germany
  • Roberto Ierusalimschy, PUC-Rio, Brazil (chair)
  • Shriram Krishnamurthi, Brown University, USA
  • Benjamin Livshits, Microsoft Research, USA
  • Priya Nagpurkar, IBM Research, USA
  • Joe Gibbs Politz, Swarthmore College, USA
  • Chris Seaton, Oracle Labs, UK
  • Manuel Serrano, INRIA, France
  • Sam Tobin-Hochstadt, Indiana University, USA
  • Laurence Tratt, King’s College London, UK
  • Jan Vitek, Northeastern University, USA
  • Haichuan Wang, Huawei America Research Center, USA

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.

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.


Submissions should use the ACM SIGPLAN Conference Format, 10 point font, using the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM SIGPLAN 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. Setting the preprint option in the LaTeX \documentclass command generates page numbers. 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.