Write a Blog >>
DLS 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018

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

Proceedings are available online.

Accepted Papers

Title
A Trustworthy Mechanized Formalization of R
DLS 2018
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
DLS 2018
JavaScript AOT Compilation
DLS 2018
Log++ Logging for a Cloud-Native World
DLS 2018
Numerical Computing on the Web: Benchmarking for the Future
DLS 2018
Query-Based Object-Oriented Programming: A Declarative Web of Objects
DLS 2018
Self-Contained Development Environments
DLS 2018
The Behavior of Gradual Types: A User Study
DLS 2018

Call for Papers

The 14th Dynamic Languages Symposium (DLS) at SPLASH 2018 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
  • 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 2018 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.

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

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
SemanticsDLS 2018 at The Loft
Chair(s): Tim Felgentreff Oracle Labs, Potsdam
10:30
30m
Talk
The Behavior of Gradual Types: A User Study
DLS 2018
Preston Tunnell Wilson Brown University, USA, Ben Greenman Northeastern University, USA, Justin Pombrio Brown University, USA, Shriram Krishnamurthi Brown University, USA
11:00
30m
Talk
A Trustworthy Mechanized Formalization of R
DLS 2018
Martin Bodin Imperial College London, Tomás Diaz University of Chile, Chile, Éric Tanter University of Chile & Inria Paris
13:30 - 15:00
OptimizationDLS 2018 at The Loft
Chair(s): Stefan Marr University of Kent
13:30
30m
Talk
Log++ Logging for a Cloud-Native World
DLS 2018
Mark Marron Microsoft Research
14:00
30m
Talk
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
DLS 2018
Hanfeng Chen McGill University, Canada, Joseph Vinish D'Silva McGill University, Canada, Hongji Chen McGill University, Canada, Bettina Kemme McGill University, Canada, Laurie Hendren McGill University, Canada
14:30
30m
Talk
JavaScript AOT Compilation
DLS 2018
Manuel Serrano Inria, France
15:30 - 17:00
SystemsDLS 2018 at The Loft
15:30
30m
Talk
Query-Based Object-Oriented Programming: A Declarative Web of Objects
DLS 2018
Yoav Seginer cdl-lang.org, Netherlands, Theo Vosse cdl-lang.org, Netherlands, Gil Harari cdl-lang.org, Israel, Uri Kolodny cdl-lang.org, Israel
16:00
30m
Talk
Self-Contained Development Environments
DLS 2018
Guido Chari Czech Technical University, Czechia, Javier Pimás Palantir Solutions, Argentina, Jan Vitek Northeastern University, Olivier Flückiger Northeastern University, USA
16:30
30m
Talk
Numerical Computing on the Web: Benchmarking for the Future
DLS 2018
David Herrera McGill University, Canada, Hanfeng Chen McGill University, Canada, Erick Lavoie McGill University, Canada, Laurie Hendren McGill University, Canada

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 2018 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.