DLS 2018 - DLS 2018

DLS 2018 - DLS 2018
Write a Blog >>
DLS 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
co-located with
SPLASH 2018
Attending
Venue: Boston Park Plaza Hotel
SPLASH 2018
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Program
DLS Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Track/Call
Organization
DLS 2018 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Series
Series
DLS 2023
DLS 2022
DLS 2021
DLS 2020
DLS 2019
DLS 2018
DLS 2017
DLS 2016
DLS 2015
DLS
DLS 2013
DLS 2012
DLS 2011
SPLASH 2018
series
) /
DLS 2018 (
series
) /
DLS 2018
About
Program
Instructions for Authors
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 14
th
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
Martin Bodin
Tomás Diaz
Éric Tanter
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
DLS 2018
Hanfeng Chen
Joseph Vinish D'Silva
Hongji Chen
Bettina Kemme
Laurie Hendren
JavaScript AOT Compilation
DLS 2018
Manuel Serrano
Log++ Logging for a Cloud-Native World
DLS 2018
Mark Marron
Numerical Computing on the Web: Benchmarking for the Future
DLS 2018
David Herrera
Hanfeng Chen
Erick Lavoie
Laurie Hendren
Query-Based Object-Oriented Programming: A Declarative Web of Objects
DLS 2018
Yoav Seginer
Theo Vosse
Gil Harari
Uri Kolodny
Self-Contained Development Environments
DLS 2018
Guido Chari
Javier Pimás
Jan Vitek
Olivier Flückiger
The Behavior of Gradual Types: A User Study
DLS 2018
Preston Tunnell Wilson
Ben Greenman
Justin Pombrio
Shriram Krishnamurthi
Call for Papers
The 14
th
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.
Program Display Configuration
Close
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:
Cancun
change
10:30 - 12:00
Semantics
DLS 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
Optimization
DLS 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
Systems
DLS 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
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 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.
Important Dates
AoE (UTC-12h)
Tue 6 Nov 2018
Symposium
Tue 11 Sep 2018
Camera ready
Fri 31 Aug 2018
Final notifications
Fri 24 Aug 2018
Revised papers due
Mon 30 Jul 2018
First phase notifications
Sun 1 Jul 2018
Paper submission
Sun 24 Jun 2018
Abstract submission
Submission Link
Program Committee
Tim Felgentreff
Program Chair
Oracle Labs, Potsdam
Germany
Nada Amin
University of Cambridge
United Kingdom
Alan Borning
CDG Labs
Clément Béra
Sofware Languages Lab, Vrije Universiteit Brussel
Belgium
Maxime Chevalier-Boisvert
Université de Montréal
Shigeru Chiba
The University of Tokyo
Japan
Michael Franz
University of California, Irvine
United States
Robert Hirschfeld
HPI, University of Potsdam
Germany
Stefan Marr
University of Kent
United Kingdom
Hidehiko Masuhara
Tokyo Institute of Technology
Japan
Hanspeter Mössenböck
JKU Linz, Austria
Austria
Guido Salvaneschi
TU Darmstadt
Germany
Lukas Stadler
Oracle Labs, Austria
Austria
Laurence Tratt
King's College London
United Kingdom
Steering Committee
CF Bolz-Tereick
Steering Committee Chair
Germany
Davide Ancona
University of Genova
Italy
Tim Felgentreff
Oracle Labs, Potsdam
Germany
Robert Hirschfeld
HPI, University of Potsdam
Germany
Roberto Ierusalimschy
PUC-Rio
Brazil
Laurence Tratt
King's College London
United Kingdom
Fri 24 Apr 22:50